
// Make newform 201.4.j.b in Magma, downloaded from the LMFDB on 25 April 2024.
// To make the character of type GrpDrchElt, type "MakeCharacter_201_j();"
// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_201_4_j_b();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose line below.
// The default sign is -1.  You can change this with the optional parameter "sign".
// To make the character of type GrpDrchElt, type "MakeCharacter_201_j();"
function MakeCharacter_201_j()
    N := 201;
    order := 22;
    char_gens := [68, 136];
    v := [11, 5];
    // chi(gens[i]) = zeta^v[i]
    assert UnitGenerators(DirichletGroup(N)) eq char_gens;
    F := CyclotomicField(order);
    chi := DirichletCharacterFromValuesOnUnitGenerators(DirichletGroup(N,F),[F|F.1^e:e in v]);
    return MinimalBaseRingCharacter(chi);
end function;

function MakeCharacter_201_j_Hecke(Kf)
    return MakeCharacter_201_j();
end function;


// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_201_4_j_b();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose line below.
// The default sign is -1.  You can change this with the optional parameter "sign".
function MakeNewformModSym_201_4_j_b( : sign := -1)
    R<x> := PolynomialRing(Rationals());
    chi := MakeCharacter_201_j();
    // SetVerbose("ModularSymbols", true);
    Snew := NewSubspace(CuspidalSubspace(ModularSymbols(chi,4,sign)));
    Vf := Kernel([<2,R![405198842418999393071262462497364975221130573221878975664555687520204421121679656729419319513252090380096732818201038980693753740723907827307818799498316601067071426121080861098991229656010760702642298039268637559424226717685395376227283320550537035776, 0, 141768987568018790907561621394114824383739386889645897739755107524704419940146355197638458719566907106995872549315467433061681280010412726453842463710036659011151972286394576363402440864818465349421068733432529748346410706240042998645518551962266036600832, 0, 24408765769450078310467838979266869473717867691159373998552733538198646205366289478509450013846538735018134161874968314961281518593019089821435177410312044448186022316758147238010812626294610451001577070915463133407931699145876904950232238237048474582384640, 0, 3100818045295883599083532430726993076230540167316968722964236338689842883812448650928701809851041826504826892458256545552178126694452783931542267488500540942373658690245626744827156154430087375870891977992697917207824132943775444220395640847379334195151110144, 0, 243087912952626021786520179018451706810545099349348220606401933017235253392973989951665044163144269354732258855113851042362711412665510536093698594259798844486889342155574253049242323700199734142065806742126292387078802852182586200895848924824452132595675693056, 0, 5503202008124801822899336371045875197147691266028073233547399798713486645740025404618641096717261829080960241284568255349199533973018566190793683260271452189587076270815947389574973314286948737054153761387968741235665988002331854994655280203795281530886239027200, 0, 199013740662538962102676727280669394874540902330524174943184252181480653016475561469411593508834132095907886056724455890961374188662430994039522876240800007108411541700587458081810531605641756543732273202158299103670418267972611878207009426772453775582229166030848, 0, 5539012261255669707664749283513628506189038468988133373489204646114612534203773277698001953554080539321645090821137689707648971638490471377762569333118009170299309379943244874524324697660688826121616162463469076700550999206568772661162364672820506858478248006778880, 0, 146043887771205064161485839903371516698903070768501596519797777422098453559708683762471859813570988429149101823224313815493867221874851083688970314030362834759807027975399415562202992756357417489698773878448721827649534081219319502782879766614084925465345219750789120, 0, 594979853730438292928184390948085453010818261021954762623680651889843928916245691218679823654991062629281999517724405218606633076304124166863792342638499832519057727954967958216138070885875888240959504653255035731373097403453229220753864373917645038681451577911279616, 0, -4925428668799800294465732022942203988744689675891907328287273451538960166890976189655957923032267825787940646667066166139070233988393679836409029018762814275037259430459944933463787302800720035855737538162235469182957655913672887652605966693031437211909153944070258688, 0, 281366878813818003524517223342432291423684493005408066905912793464673285015614858584861147609018941093016410450307569271248731018293354310357510089362699350423868146648264975426818776865116523108581943874788162358289426990818202207001550173210247525631434959992213471232, 0, 2579043835055268048414783672281255178804729431976615267754414025533111061844927548944247154002645097188251184872911557440922514087256921147485889169998570158303506682055594649703861274463790297919203409786869585720676084197364826259365763363212377690138591942068219674624, 0, -16999171961563292347837764442503015801029804972949762487447182043400418607915887004599017049545017636085804991750512753733670309096342143549942380120335354872941375467698907527216530729298436767415597211750702821057625513661282025664259652915002745941706962641443721576448, 0, 207633099992543413502218319318773177014337408414760251691720030587648743019052640093572868228775562814093994506414443204406494778063035379511641531763696551325524122303907251913501611592228323330546303930568980097647639793566768151420145085419062722118709271275373340917760, 0, 5288180362808786325766171762659083660493698586872274657065377045271786609566005648251178522651546952339131113721984675626430785927514496048738607964402199651394035380133850655425866150186272184532886191257322092593241860345244582752766187847016934584826016063032379568029696, 0, 10566938399726283863496972457640422672680991884695549455384500239870405112876471856597092003941962461405576811496306175627450465420833477785932365621955887705950293915245769251563707918347279245486868747446023823883101836831512681144396871092729169639843340455387339251777536, 0, -59426175865488487712426054364027438020267676761061640471545964933856627952273755105070258133677949022370574984979558230861919780863288690992809617914921963145978842697726709902982894049300349832724432390602394308147408497591657058409135222610169480656014850318977893364924416, 0, 953772786539729471531861121626683399349436873879498559142773462351874211761298402064341936249538158549865717324898402466178215134790394611545690153652068520407906380378193444617171159845746412219243989604552037592141808791384667445550512810576075091053654858290461047697440768, 0, 10091884611126286969845434579867806435377649361971957252099333558886484785010701446945785680605699867740164069540093381181670442420112106515017647534302900557980022107892277410890777614690519293799277628436664987229062112131579556453189116537833781403960914349768083517416144896, 0, 57695476803967066872535200697282457534068761336504297347278135809931235475143051094091073816140491804456964769954673155643275764304862295892407855442227116186498622006985758025669770954947184963051254381098838404880684066475788228075949603218606537749202017585805359774338908160, 0, 425754394749989057750570241640792328164697535212112912704112463856651038563426890889502995207586718704267790808873290013994689801175476424123182802305989060777134561830459278879727773628944007178657061941661267151128648292331771895199831527881408844194726161639168295951742795776, 0, 2528594488907895224553533136707209837390088756812351265097712589076833862682683566414285453889064628014754734595173159456070690141344648583764147798300232344303102422981031190396183038158590611395158544406548996840447970453851132010533916650667176545774693671667853980355455352832, 0, 11597874239094993237703807677507227064647707034698311164340008130821794109075777705738520508149981358171660437365973815071234197489241945806287116754355892276199303342104110117206703744798612654772411729354528373826090608407443996068460411730554426559699409898006879375079222804480, 0, 45890879818720338549186021000832265506932701649948394180325567033185891059036456089005975538548131954188607307286600358924974099886599673259656260802775223058810617993415360201264397878589588221757525794341683503052808486587910476658510991310939537818223426334549252490660761567232, 0, 137408463378558093938155037469344462383725366722339348810233952067590675783159096813882035266699564515224842898441462667477360575563170223539353640430624901489458453823840608641511456802726631386220235449766475244394012542491152325688111883036765252049686686980430496711298038890496, 0, 363187191389765052463251375958242477650509456969288122779460964942901518316043272307791125548773027849465399205965085737413996235099220211860458732989343006809162271834547037771417589142292148313847811236884711915290038348491050687764461260943800837608508754503210601103615475056640, 0, 799614495709919349620208719390137824018939306720467448280120488169753359798195806150293814067907533570576355448367649157042942095532749358680697358987961589025919134453965493426143245868163420213378886197313985341497732808997840354616486338436998922980470609809873329049533593681920, 0, 1695984949770561390670490995241883006949156460730311333467400830883690052518982969329230926696116110242408902792163781722131730405929107292516446886226059438359652639210642024836509943028094998163630881865738158086479837878725907587481741966187732983028946660240763271980771096657920, 0, 3645164577528185421188432625097891199800682267281532427618183635421655028160831529547515560034412004894541358055415671807149428182106693068725053536331815344575728882516785258787931169321539140022972289725787210722292292525009583840797313640859687249563699429667363534549420257312768, 0, 8399682658634204917527316649949993477029895197478602568847212786082422768830577408935962062415737672849352130839812000272212603283860796559693088461319573499772122253206265038975701839698553186264486162834062774060578179794608064538994697398233849506972448241237213621259585024163840, 0, 19245433284021387386102216596448650454031268709805256917304560430645881560206507451261472259117633766887919692016387064285008592630289596725053130559893215778930054459615349701143693036623275705997715451806544899839647611674850063383009816965964050065055390868689073567322419171950592, 0, 40639397179902589958138963047212597404807761399122914571062280963733641720319827524222238685177578074671187782009224288169991535135691236756729501174097610224052727896747645166003477444262691381707265790976665933672751712452892464964097138123306670365437586701106787301535188609138688, 0, 75115947872490205779142195732133994813381704931809025709862477201308982021572782792463388920207932616493344972663404046058948058066577686096069449439560694260836706268336217810671009976793832875483067333186645259624260240430899891558517409084356747041682587923994456675162740643332096, 0, 120392015877177400378607397648271885486464339271279355155274238822586997455568346568339938223065194975068510868491163910865269848118614629199788182249165252991542714588152684001469603066871037126129984856944440687777707052218728270336799162845590068157880476934728033732980972267241472, 0, 169269394616053144832139557876178101393838049546261219448477826981773626402745581503929498936584255614250731886958197261742994218194710891469145166692147425677679621067278295872789836407806176682176360219373753174179264978495740367561279890678192878066368958725166609936596145027416064, 0, 214548081398666093344002951962086982754561760007893887110023261314352196513237563954108557925398536039422901096822809891595167836860003337808277406859179999752672040379079613744021991763483995587846968736624119045920841065368192098032072997552020123577782431215029895801832706936930304, 0, 253542354101493148920647474793708440088896712460636314272606182296274569613067796020780004628362709069060862965306346746318680118772553698559142277042135803309531478652067814165668364534891968735146210390691857390068535968847333709654613937353845741649311487544336688929631483755233280, 0, 288456936595835827152977374020670771717124474183690289665267115922285326249341512385829986752023367330340631050825560368409888916629787562419059158364000816505316912822213336905850829450823812148749241313271401294421262849594578278922929452663137208288640377535539947142267059071614976, 0, 320498118497151075798791698582906652349525522863719859146572139091524913810803583189800083734986936958411598126556589939747129299225843756030882637360118383341369683580701641202053701898662879282075009227781045094864603341894841042889611566244857487396337841252547399407487171961028608, 0, 347307215081379707806070196384075266186856121539543962747984706089490482128569479046641634529777267941479691620289161400642206952942602113745399605134482613898536088862053818653950212078578265076581632968474972190937721949967065665044742814574329502759909258552958258836745296585687040, 0, 363701622966725714712707778527538955526813542618695552374359734727417785052161037962924639095793752819806548683776455709403686580199111858948943430924639105235435209763833023238322548019635134813742924127252718380012191900241705085368202119155009457339589880620530674257472877177602048, 0, 367329649267674177930773382327569708945847229903553542663546917625928669699194719325060287174296893730940706407069361377827697541270155134158138215381805759271571383297951946391705391028930316473771773101492571963502372926625268521401929463581516262002555869391193705155957022796021760, 0, 356748970833325271545343424559803921534773959447018004001047238122897893715947494408591573222085275846300450782939818346289443147124250250476264288913385642066836550763467916538091580462407440776767075010586605889853640198565642635188771024109428938640943551111383070567088748228509696, 0, 332865583136163045683506554704639997582530521232999639794802687936843044734665399491008182456316068742416482265090988021267928108369281308351779771037844552361617364650838936912970248610440282174166198842397496109147115160079653141602322075210381907087539566457147420451783806422089728, 0, 297878288572797125216125091332562101584024097855232484382463090872332739559638084832571289443075966603965993098781987566363178300676401632898833363856020264479222168300396421362311166829636832163031208217162637529070963751792477811460065706717783769249232644796722735898521418900439040, 0, 257412756152612735424760864067877042986002605762653574243819236767917393426148712548176635231902335820952176105674021263780388371107307895117860488600516769025078120443354087521911635955181283440041233595228763875468549753480382153001520803709206839198355457112201621903032352220643328, 0, 216021039657750179680677094821001688768891936685401474741740722662920992701056971974223585275068599448231637780735885638920396873959431460511748326612689469512893979184071435841659791958250525711411395703035127295017450610457343553214031516389623026332492371576683501142136372028506112, 0, 176655385742018952633325599227715947725629568407122144488225744336754275803029845838568445292720538608468137260959994433222269276759106134670451060140314284042352691084507624126292524657025865247362568665072952102599374262090927737784187740419048444286606124834947792224771122875334656, 0, 140430270913314503093218269073792193879562274854378727497545651544890832987804664038058417793095919659914371917857275765127976702004380402412903445872203656304921050885379355538493382557275452226199029746823958686204531419113058578980580691961178906686339769240938344686684846350663680, 0, 108273821769153072662116267819764235830253143959697762811795859108048978517799125317809549062038684446614337812616752919859491814600970913435064446198675174234028544872244562695355822863723765457530640779656722971059564555387177834844220545338126248464468813764265415982863863345315840, 0, 80671786387805184444897895140396259522716201174379635966009851929156396074840832497390678730513787464943327563634623624879545411319500597397700210187293382086409981119219248862364612558632030321254368566846323472638652268672192759637471752252643363101124324082842346960159065962971136, 0, 57841094810454643770811311824664498124496532535797343802103956211275581787012035693894372455009382956733893186619554648506786608393800700663485801030920414588224588748154118647296458542481220296591136216153980273688936702692256129845894272609266219070291053922308455076537541326798848, 0, 39730987710657254163283048340822889160721127262335726540631400506098168433018687235724407891165423043471112521059138879456920800923562991095648100846950475490620048358329142006308703590351577157875785817595399479329455978559581893937131688500001825810661025568865995782193036052660224, 0, 26090895998029244664323573297899360298966021865869094155357640015237711399399132585855694713087811625960877563430479224014497194203348369730793999158022052791754166778755937082720028551732371897179716315447959186245277452752654753807813819234528287213974255053102456819151316229029888, 0, 16393130171647415869911734390512833984575691518272827704107005557434556364890555320166148380466140225448712824116326297467432334903833429850723052077543937686873561185385723741312650780483903721960389870052441045273244736574045696975387758167175850911448917083305119560464381639655424, 0, 9886247775974361308260196237053706551151267730299408081507050310636697468750815558201768620693905133311463094483273673635726012840615391610892902507307067859547467030599576951475621285596223183209335842756614440037436625847885605912654969622711554447304096897061254889640558004797440, 0, 5746605337553911735329646219479108007276251039804811865708599250240657893183457407234769049797263717706029318321786668811301279009277925611435722034208144302972228326746030535313743045348776593693274547840645267873275151077727509469770888900574404181450875120617119227366844244426752, 0, 3232609425674406294662545775652472823763174577836604161795281358784363939176985827756442519383660158386555462494196525521069664620041015678410645123878103213110910586741775716817156110141502275455933692920247813333223308751629123745128807654402527825266002298180063786606018315681792, 0, 1765735090488014036538574291220646319362707106832664196838724454923786820615463786797147188601192910200080040117711165826705628869623129082844148609898807083734027527830095806728847417872515078069706038765607464636291558952176266678183864741578290065866538716722428783461279192842240, 0, 938973908248227389221106244202321688765091079349712094978871462940925360106629615243399753980100483000345978803024444413825569695780422482491392091577985924681667824445670852035701538959314792248173212001888710068714013198401409842790773340605611842836696208370324763947747726327808, 0, 486908387134156529930313788220923609555291591385942844507329649256174860293448282618680613094047534148345719086326616289218681602860670322136439333274928379630603764268068985341892317083633442035075198529652601728053306483859159494956069644418579674874373764847294092655660923617280, 0, 246353822814073748278404600153258153959651509802041321012415346356778074495520960851859845883263359873424940819735311990042265876564597147239828850503586910589244962621674294818713805329008007198669487606033073738966832213012905136239276449713482860030220137036284067975867398094848, 0, 121614605411147082632381074659798708055505722008289890402216343724013526006188573048417123923933141360842604809758639880049145321828252429390812023171556604030682901414327115876733964823828766078357578982736558322559719130949520660436808157737339150889325853400822115173673054765056, 0, 58592364184487026510924754835509761136799681420584710176386053569670254745305486764779350210061034788285248763624944505979895752875687252254917235477655709208197892099377728594823991619263942458407929386870054824536318893096782560091199938442827266322121784003455269431066620854272, 0, 27577938667911463721112255246666869825299507899766003997993006206623572594655742606407099842234526128237958722333231133484863129216519513965110581186099275330414443733136165890267198829131975053856196086577287315076947752285197412922731447201763902408671734139603872763378300616704, 0, 12699859730765029852266216969389802512958216313804534057604819464997784330545150209723421425384727008475655097630342679715296997312954817727626399674813902660782305348275789290313105899997813484922453339412645845278449391305073003128525785814725933284405128657685393307044059021312, 0, 5730005662216758929821386334334277550095145283089869823598306155155712899265710769437677760852096265394612901780093574227260365534674842211394603136926247153474935366696668483210345043746413606972422696367192693935809967183742986121911003608552120574498800208515729249246457626624, 0, 2535241831124498961557899538204036709014009211423540009209435938887618188908900390647398953025465930479630553688988703660137134857626061600747917191586337703710026435475489208701694368072632674908400822819232313088602526626718272193884702894709944582849321379928492096457048850432, 0, 1100504702736846756744265658960853896279414138104674267879661231091827038767915183103241335680915131991706490644400852110467194588880680246960434676078202091072450446707668827067253389108027141710888293811520868955902996120064187116503508895377657715721422428123644045132826673152, 0, 468827713219996176133633897690345973266240302644084298929656452242588609852865507569728506173101096905735443743486054719580390747230915547183978445930201158792925760513122699719073403069261304341085391416921000927519753203898519960076232582159987083303543211905495321462444130304, 0, 196091242064574393671727659379133903990805713037989330237816784008057418670218649963432288984156143481524712861577945913219924986048612537436830405967289474698674430201899404424627376939699696931008343507868268286972697334114425662568683482521309306338749913927788028200021393408, 0, 80562915532835100103433118741449387727992317224237967459816303093959122667992244740121915513127820430988455951292293232978825219079524798172779217199161146488606971242103605358355304004584717051824759414370750647326320604379311381914043826182966387034001801341610565770189733888, 0, 32528212596855465441627250943342434404376324065679968063429143442023581089330497052523140655898734698897635155281951797506232738209474326678802705626279999729152157432473156043604257343049045149240093248901993385583062455704126202266793590908075614925551995765477339818574741504, 0, 12913628129375901269573404601229169425615951457196189820761894433117852237783077389522521647777454987472987681953579973949854028056726515278415473248175926151288678408269126105093671647108739264678386618156562478070457729308654433005736410586924469678810592059530096513770323968, 0, 5043075023637738062524926198576044876619468883792918260057716730522199769789761239851764471184573578649318914235941969611497824744960069035206821491799336398197550833457157905111429787359111031374481558996652801228276497502958335271225833211980343923755147946936673142067691520, 0, 1937996693705686518195369803613546681343757742898734027806253730764912364919492984094300177660016124686843807268422076920936794251917775530583038930045298445927298984485158147962013935166412216477338234680202244724584827243909024739233851236762660095636320052730156279996088320, 0, 733037997385426188936887585482884954544064312196536690223930870521615751656724482957549829751525227289080383299587577845405535136828576018542713905284972481961067707661036023890664827350450161655856926342924695930503861095643492145942632318754089058313968325057642584415928320, 0, 272959126686109388991861793336871296012215615418084493846524479427343963510712206282382595844498782828580974915099874877360580046948146189046056401245997935486333271764660323780682600670798032068730285429157214785176363395740207765445433581685706584557047601827577496145494016, 0, 100079402735921793229573828564346972141699768809702045169675124264988999234123396370875037042999246260546315991459187871036740315607672617338669678155396928714802907414900890511098563763974419670258338774658150917409432565893967547208509456455393451095132627510490159940370432, 0, 36136851765090254383039520707026934233555736072059922287630210323867192128252677950261146083840139212845645277034267448793736564092741703969520790985014856692921376166209249003026377187422080030886633428237985555701942768088036682568370365384872597682331381879400356714119168, 0, 12852868314212099097475597686878719193896720034969752047341512368615072043326269557215703753428423107725865115866145607992825204333588319517619977589850025810988131323068257404789354728990281567317895691187972893056400333222076952550926394154770477930385471414954775883546624, 0, 4503747912510578711921763665029717343327123519164121695335273836557635818263549006917232615624854056436955720481220654960810537824727829070692190684204317704511365672545140656480330278748455195840044133107145346111692630323732073431821013625962626350891198023933888930250752, 0, 1555029413494951170423515573293373846908051082405663869145639065303851932860098396853141209965546390088235006541708924586933888908095605833971440669486107531138624289055747426817578908457635599685539524289080880443983754808672729317884361999804049035661524845464454508314624, 0, 529106077196777988573287018738175954199344421170244976951695528197917756099492304667131652264081875693734485225434838805963065804770185175046716348589809943350617813167150962658818584090845888836795869841819591996702118154118478365387566665091123726438780311619506525962240, 0, 177426458440780310202715608267884636292670318302282282613103197754298123845631773664704385394199889077355117921779026394499997647576366903841998569209040410027779744287464615865962319114988010802044183898733203756950080678241015140712490264404604241039633521991757984694272, 0, 58638662392939940790812582400154049716661950856685754246606793506065020351243059191588786445794898698950866672545141559827740795888105782709518992017898478167550936006597484836144449733613345229101922264600033517890505491364532984178888058106049961346342345997280461455360, 0, 19100802748778535988499305125948055535263136292707516965454984116846254393256378478935748116372508678650331333479579584403506282904445986467834304879775848466331135195019810771131384620518021068250143510635441775366317937771426476784938604634119429495447018402328277417984, 0, 6132403621683062237022630385925427602846027989388272060466115935839876814793003700410665778832872262686945405652597204830214167926966331117863070790958233685995062654998474334484624692777434954496786388829311884905605599426420045719412501890709422829944844558955712610304, 0, 1940571171308734782760217063098907207875467853265019726903190579769640900169803014860850744492212197732105704829057563883849080422536350101095403831716993885186879897539200001407478193871239605431428565678582944724204871656073926477211033195743403896891347996081951604736, 0, 605274806152601059257283024309875200539379584375961907115087570704435510325926782343350796003838616549860361489723594339241489990715217891267957210241606615290760606834397023074618908005312818952857756537505022663131019343369721211264169160358881006330053645370287718400, 0, 186078656145283458181999044968077213459056462178146979574954595566084467117605533158335567812903317292930506885498928932345484246042768684155672193723899420866366525351367645336585267507214251232218468254803449948614047209217876993052508418138293873314718870631733526528, 0, 56382904259040734352211667461169097688897870709175527312937313063757664283863136254017832216856307666635992069011605215538673232936950157722262059414184412763757283151130492486992635014121556281233094508164781168215490433640217968344123875738718934133048676933446205440, 0, 16837578088742889495705078327741411863519135802037450756720439148174246650813748376851996107777579882131841055464463854406558792651272794293577188417265977427434052857409325985296421874153134608976456732678871917257608049854412220099259109465546624258792627246274150400, 0, 4955155435376618212153291342034505119278567395701556136430266298178636312703467992361348194791943680233384133284956713740126471509208812872457527373279491088468420295280183331153519803811486765000595022809272628209622208032933012081359400172970618715358360341547462656, 0, 1436935709466177160022773391148472525069770179007225639801347188829316455397590530267555423978383937593085543073939028012982217449430668151689889061099713627035572572550619607713212775614168723523558746752037895924151554272414416163963339838110299717504825461746579456, 0, 410556225895340876940289107913082860273325474303928180422942925394224874302877809937854981841300956751977305600425921143129917884149980424755288657780037910373334681825924403761763054344519966094558118469078963820390077216757407230180693757384651447946398970416441088, 0, 115561734230475707952083977192076181471118764423652762439844725828630912198930402478410041469824831704868359717963808809898779346852489711496333204859340614546256134383597171643354094383250963535138745555701212109108720315821898217648665675943166534701060950454068800, 0, 32041339815244812344050600222942020553946966965316337525674631881371202428466741682899277791319639423834023538220713920681958826467051485506572084864652968304518281517368931432367525640495331765923104425568661844039734058728535639370217929325424351030669275635627824, 0, 8750008123487786262464634060882354279797804694522566356467280716421969231194102713937266891730937223414427001948238270167806118109612281901513002131776416842833701652729132186178260960547848669202241300400420539855141884617889712055913594907880220234244592951007180, 0, 2353141617189032708777412298217566798879776277197836848119826237548998137629731583354873923392011981929774936560967177845826041919078990211857112546860362697028866309337516642263502377995296995100575292175291525149685784979009954542019867668813379723602218983644461, 0, 623107641214692915354848269718495413402100292005099925563875130439719139934205199349685592748817058003497507941155955226939032430444352809708602334244836421492380653609648673714623841270477574403920009677332167827927767898641991919861471833383195619212593864562001, 0, 162435016161540027873723441284743254362883930664486708896166730275412717966028139438355540373285126268711625676400171333897773334352661075169410512011921103357905882659009165451660309893431644744396762239577585468837609588101819847061646847876366772672698376753872, 0, 41679068336187253083560362802608987808191599462676906666643253733044244591883641890043018469755027056081218070338893156839146746902387680118605318724237224571905258875383135983169418632295029588579505920443956946856650206386309093649056580264546161124004196616446, 0, 10524353295670738039891245849233101755861886423955560091588667764833976851582274026896721865869664937032662243663239178993913313365052015600454629034434547530421278538997219080759008003691289067002233629290486672572533949210589722511052492680560832363589242924539, 0, 2614750460243027182468383977405184560473746919696522540975983224643454102866614027396412628967350837695116325824080998898006411619170580169172918453637915870525270503228554107591567941898107643596142149513127779919959247208579376733794388502356067454583025172743, 0, 639065966150488534732714773627221970248206820386755367177982719899130711083050076348263143190629649861168613996763342304999759210029236670115929442573225986667393975643123198400007235190839520263697689910580604204321875828190295652008096575098398200119838639717, 0, 153628761228133888508013073915532455612574502764332969712095711830995501860381012614733820487829680909137217564184612798200959388339926273538633756607703093556822300495613750753087918503848405255079345310883185848708896218861281340323763721039894425829863298897, 0, 36320362416330142506010709178358592640542402041725855231160236714906070856380412459157514892569867853203069683676617345908639928931343482172509103015330145319984004490325920140233169568415425665856411070647314726104500171584795088069580521322576189232642583751, 0, 8443565171838033262486128261257399228796572364036974842645436447137126614589816061073097107005890737195089825427678185130638306951074238773750202758541932393398776397408194883914587734094815462824402517682725825877669539524520935487031136494260911583520525678, 0, 1929978111577378370437221173072642971806437329959743757263877447179506474811872986901722154334820294580537722322354559053184883003302421857729029497965725517628618385623838296241933738093354193349705144273060999841976553652836734019028430206983609457457804865, 0, 433695644113069713313007935161871142320739962774280765800873941311873014838579308883205850543151059976915216716957649199459139720078272456115802215937144450645813569329562158242308007996436522326812358718610568597722727744243884564264430409018844395148071307, 0, 95802921842307853008430412819056225057190091119522730106005304112208916887641698316960840679176721136178101159872412010740688883185399156398408166743362985485743525256742392250239197917319644578984714330170122075050950148604883987721859440301193419002746902, 0, 20801072998428764720737215921453607949976796006522689464715075084394352308921676933691935416955548462221334908439996089047770032918859536377208369343474519150059634781413831316820954420705810773629983694082045064191081807509258698411170575448646427087568882, 0, 4438690703816823511403056610984142286951947707939317164993880751218339176020248567552945941384998195972002512244635198725608697363761167011973830833528231207001326505899439743808202213313203631438413958632441553790006950216705209328550355343367965929107685, 0, 930748504544432635044114154201703713421660559405815916621433938421816535632876451350870931817401877942584187553104188830742086630159654885232157470081183950576850383298462361797690691903632119888688008367830003385061923889160950782571379737051973390543941, 0, 191762427723116430627468303681860335237652084660346157185712235516446110263105701960103231370946511588359013440630449795548619587560926970903930913627528755094303865272879012715004635971950223920178647991765686353700747550381571303379562953461876807981179, 0, 38814656120868795111927800896973567923502536668529656997387554793630199983318498101672512253669512035902294312733278129537939778950180915511508756431123668302926557784475583149975186144077617630883327432204079530895710043415860706555988254484571971508801, 0, 7717580036778099499216937377652947145055040337634643996986061716211090275246013499077332440748702368537920665697602071679473406825085145200698428165189881110149769199326107673963142585130686642896572807983857474395718526659872382301395641186441922722880, 0, 1507227880360720383284064402248553902261817879472609584652244423720925401547177611062731941768890824923322467626817730335909615927681120781450275506253474133629655910021015396074503150033240522667610068711317573498778661252201649908224465244471617481204, 0, 289105674981213660165875518768872007262100366633332474758100664691206460110523506879052890507980910380588185936690360087393837428627065506693399864301168446114782192804316493338580213516535865114481416107793797340275305051311664668172598509523859937181, 0, 54461561032865342566899507103278193288721000557356575279321015626153929252504611823384836179061996345055387758658761542076457456367125893457303243701696338163332762080480499647605576685321703433705103068130338569500590836677366495134721928525424862735, 0, 10075396854037202552033848841461299417163715824123988214053357028138751110097751605405830037008270964061490145895916772528232149910204425693902202360390136695837134192014245496293810563968965981777189011003342569371984774956703240596000890201870473335, 0, 1830460382316150687784397961187756085683397713550781571375783725953441134801841991669985794818125212775965946762022996940224288613026530143619476109962261163718224772199183436689464338779323160293934136473110488615973204217006715854247027329516293603, 0, 326568187091289287723571729916821544425501615246175651462180965453424359928937870147144514237891912873764227396715556032909143018118329727947071711581321230563946938305315038379119387699425944745040434225144133954316216646794708326871597015292134664, 0, 57212513007586965079430626010418949901763951701767305783218174887091636450397081089836104896711403328542996224237152674127107969202979315202015546144008782108050556387462106245838321517570367460236512270429606534797514245533523957846382194507603372, 0, 9842304465123045340245504065478364718684348893385019120659440401486165344382458890504989388757848185549972089237017599599845899286240383883180699048983843163077096105720872702496023353766027083827474827010931315639315581559129337188749531725313228, 0, 1662539224280806526490589567203065186536607352451005300551501074526233163251793395424136170214889521067143830625931313668925334164496178680897926505554922080351519091149129092981468453241703243476502293847189868688141280429083541688257447790709545, 0, 275735736143198170402560763426032774009109308461430593861474609444771373735708922581592954157010110818199600362822649184060809219071252032608283990138137745812567224991145425897574729320874650184038483955480266378969932730728210187528524970018640, 0, 44898800351108352379116123921841285654893515864023679776742374688190860075534814238769898241281501337203773389954144228577293666419890037435158604655202927210769685864742364439613512630176527610743288535007091858039845366905458529769913854796929, 0, 7177483407681798283436815857968267025556677846017339259473060099607518387744925599454636545026028996757540937533787608524942593763755366647727685067896665002909451683845965649286971691690118200738417748793395144727708781148598690048313125320726, 0, 1126381125340790801338475641655308122068768666967245513897596164635795511249877534841480133113164524449992655076072252223900969831317707193082385099290249149136949252477952483078711825972924330880708195538404669912353950580276458024230412562166, 0, 173525432262357323295305262289314523667057167521926173019497026032746148221901261134638135829717742141642528341461129938043673144709542310758159107285581808085694323211580261496889992252207239667422432991898148679412410028112713336241333489553, 0, 26242639420956391797731667805504764928268225487428391349329777116018604893223021502406999140620335733382759111253999783880167859544038511146890427378815318449759588549283027465513435775334380137005500511856835920119622978891632718113844654267, 0, 3896162951054214594737684710581307462567186976294203339174614926396227080619069774938069002551747127087780913230757663469903333735205939491391173495342903964405111960500911378637475332627645622622718249822037374133142283471612890855227124755, 0, 567923217465154270539572140352776289916930886387632652625374418000360286910536234774546799217543213470444446221526249768969066104054178959858198729789442852173389546435210715622281521241991071728692065954242030157215461363315760486011866709, 0, 81287358393252898656005098688538871781173560698725402637967548177797574381320363422431120497862646015834612425860118116540230870157664304524716205629112253925379111194004321502359162485639428950142157371975638673749981757277221344091949966, 0, 11426555719164543710134231659446695887463111148518665535111353312604759262071564002934681010233567201902011764987045672334457465758740604000896383919806125423623708704035797413993881159542609559654133778867357408051381258416276491092217307, 0, 1577841369982794345442245575436306493164465998043073022803974926444647137091000397259345866594039462634445356347912259975831657314791876226464072571153797272405606903888882723254123057614101268138507848481357767965376444706654426565493987, 0, 214081850021261580093882056323954851589053042819048297483923985565000847400930392913031492298338090524960937320963660383641631014975019199859956071413341610554973598474754053751211168531089042954846524577949772710525647781548532799891352, 0, 28548977850610727317569716462317936573966706473285603434908130942636648934021201615188541052143665767590647522779477732921258166233121214317979624824241776726695680303087942568636265920399224778058335376902682526190428459445435296569683, 0, 3743090749872074604489629356617217141836609447215532119910149706333201371855767415359122139931859904260489168037442142949164752827159987750057151368667713154465917519146207101749970843705677645361114225451345927956191464655208457048628, 0, 482658140051253758713191949555632433181827186238540184821686644013857392096899374972402584527576653195104420720076289693738081066324333498115194604046965654195830524270840718827726961518935241297522343966802373239519664181008727067924, 0, 61229546670192627020752388628445947136191962497543470950080243422701722837565228180387612448751700764889399110520253783259255248872452825375288684439636041579616338811093983246574749326631036247506511311458901301453544568330890793936, 0, 7644283455152225775493162084961075016820139829286622507625632986518849735026020099472407211642810492144551231114952579079939106360131804017829348309786175826266821269452593226997932810355421751425239439765172634131755914992357564479, 0, 939521375417707075766300876923945278349825797101256142569993526621969089013076154197780937002397829004435715356079995607717971135792575636084469186412502550864930888920911609518360957486931364006787423204421261548913885485831356234, 0, 113712166670045900559441071664581630224660051884493360699435658795693949827784192374799386176960572135379867578597625227148047653810786546207330148416179796818475528869324274516248364531587181883972941519445522274301885006230031911, 0, 13557190940344278889704962268782993575436083472731547084014562399542352713459440109543657581372797294854799258830746874085564940938443621868907238073201568598259047821762780164307636974151495720242074164099151464333655231141898079, 0, 1592659391171207607249005951160261331101024875580940080664706734704092015730601864830714695568508151759952584131849994865837299354950392557826816875082396031448070430646034198716169495801099001066822190736117488567234356341162619, 0, 184412499690056960280981566974625850019013269384096605942097490299834782410818139543982459798132914312841698748868133283509156585880401922384069267108382293108118043517241010802805494180207539454856836194707850462703074981058696, 0, 21051935115169158233736645093199973516559863040953727353627116484572390270794884572560822313575939950050146874857564869108027939262065856302411701490243086450791087466218967264242510440109358870077071252069750185148052368908519, 0, 2369976988043339686531976518294135561416294019987926519032741081347591432089455917081750406549406243211491760737009999385279986505564091350197354899696888731852343873662991843969490624623181657053792091876448703278362880006371, 0, 263183794071855766163497056417288080124760337289454687248252429282128059274041838813957288988424342060342789901987442129219874550395954332829188253509613570572717871487833632261635753136319938888964344859525347832653432982268, 0, 28836708414268602063223818323010149641130348752798811370877667274857522052020145587063573817221321055344110146526813166854858175373147326370549225189343271381749588642642135924997474104870895146745582622831814363822492488617, 0, 3118231768805498926188342083908228385612411825839478326160952388005725760119602977252541868477751018849068348400155020517398520863407695995299129438175000663053874130389006295805441124262593090300646067130053580441514609492, 0, 332849428819570492474272228309781944938426133021826628203178361328555013434617280730957453305408472401098413272978538798602585773787238347534522179513018348502086338644213743096144061345967610344114938519464392535779944782, 0, 35080068653013163358890509473843844060839697465986345310378835520062534446821412263726276357842687147750967679548119016737086327617771330474610025771082023901057837751275773040370862774595944232900204478804477780845322391, 0, 3651226334180111652965124855086230095440600274669479368256197671198946594212460270538334596564530737254832285572264699588529939111078639597485065552109041203867052271784807335709823395760023346484630071208386958954759809, 0, 375380328999466229806234327351185369799259615472033041918661898106166205878504697682553584734823382907678720041135907242655822662739114586986748726996527795190860018177083470119335523095457744705589676873723244558466832, 0, 38127988094497759705078543159550000282846208686854772023916241566932646214600617296995969320594175125132500513665204799359503531531000418528472349328273244425510937383270203865217815270510168418589721515526290400394708, 0, 3826817450700196112590639398229191237897289946622668298744003588376046829350659920092152362364025720112054730321001011460231196294201152681353779887773846977213238713927757822941148954456269766032708248748614502133308, 0, 379604855643402745920069517903994608655184806441844505794214518198208104680386187238524286203047159352930293457037450653150625074735307054145947667759899740285380071473021431837556554938672050455320152012566889233948, 0, 37222156657595805306937261635579515513396583201668570572194417531698785066038770075180745881351218848737540009044374167728466640474451851198885393920218359245735355465985946429573011398569170794436072573432148932684, 0, 3608441351258159546154655107537228009953730187964473834712270650609812129826727833938689395990694954904036112205202942826924415109831279678848208928688791327126662094865545086526886836047445218457272682878028783835, 0, 345904112528618108091609264087404888632429872092289583131124828007190534856886751619914103245873255899032117515949099102629052939159510696306305515528095203723571295691773068817084985845650606234056924241719136796, 0, 32792645758861452138337795005140332013861338390466331139786986182855206453737436287766995398226577981198878191422105608431903644130128134129408691800147264424111872412747607964048466196655391422981119796345507671, 0, 3075004347695594546442461350417052984926004183927481281685823755515313397833664044990975713145430788667790414038404474727489267583141087712036216047504261176144626298363615026456990258921089396822388095717910557, 0, 285249405631798473496737120485596417359876685003290452343112462951119972205344627451721681430904636059755638974206631071052616536687008807559918025624926701987529984315466759915612448149082039503581559464502939, 0, 26180149875700425306084404528783320650362805532352716493719672830575518108940899443988118835122353101314238600998273420285100207820835947425519544402322263811391250559403806141473014170579171641310367064546512, 0, 2377628822706970140354336157468822565241604258193911638172042376185293217694195321333803648375045738153605297718124629499372984531427626535128621368985017115307242917711313655635241194287020454286820064014221, 0, 213694999376588383476794514912810542534983856813312621765129320625014275364556216066139959960030605978124255464026284473418928537098393519450047946140163288857382427095485929959367805549990662682476546853180, 0, 19009669753491492998385772677729973359479406946444352943375051249375101434850905356752723340746311367729386994942338826767236643503861654086517820664710252033683379474528318302699697337887086218506507558079, 0, 1673917265058060657946046246409026356621695898917558568271056376199510733006255940829692496035575369506746560744909834749753639446155477438062690733933296580555241506887582089496405926510666680231935279882, 0, 145921642108639478218999773181977024939611196042530302774792732168634215679327678805401748167667074718914374504147473091333828887491377075014555696000463750950660241905885021826266632231408624431357233874, 0, 12594377042434305054185686184131586344462320575612614097194495234981139633853347055532451275284955089129755920165658926076901614552236161888459686790463564513042426213129919582446387740631159916328159992, 0, 1076335903433277772416623251580001006100010735505279086806251433217423661754098167229298326658913216487710437194297553747196342106012507840566699499184118824905453941293807568795826691926890809324482226, 0, 91090695469972904328990356225458497990766700146880135760755947916966903293941792124227769027881144572065154527291593401073634085232377141141585101796510912347324189034655716189298941616715761122985625, 0, 7634739943192014603319393720908266307367749298475659725950634106520329396949711815318710179012078115384047023578563256598355641464460958544229493514364111608131450761287370656919264690648136950111703, 0, 633790402917598938387681523505427942330712852855191844800687734345296698905739433825497133802689150774061813315757193600383312629874317859841529394611992987880674160586509692742464944004979076317877, 0, 52115102311755903602947124985881074105095152165292944640473863053076308997649001798064577737478302036459023440511447702539887631422052641945016257655774943382457337689456416329571673074454962759188, 0, 4245038706917611275720344090038395557709970386261973439680194846626841667286330658177168390260658404803246723826571728564185975327399062351184042893327925208569073795566920861133417649301917150163, 0, 342556118112670070090911784092661267304948401462118809000512920253374427530896160862692849904917516716892570578804265099891088858185314411413801907070424378299368237474883187131556050948968511487, 0, 27386973671873378815551135996843801362502146992398339799698189981111969269153981253244606700872968799080848750013504526450015491018082058019411364936331461527305708329599632849312777621622966418, 0, 2169437882530640902018702896658474098535115467101209302707047226854625817830819348841295141159554447016901054918748061084791280435269744862028378602795044223204454739462033841199807748307692262, 0, 170281834154618656081230796783139686907310362749064229545875921913563580449378048868067944681596542703713603888768514046942398863677244451339933860847011452756408800555620488103294671999589220, 0, 13244419138924374921477468634562045668824112189912248474064119028513687607991873121847955771757755467637972805798789250730638106197247401608496838189407315170137748359894696364715835129988547, 0, 1020857545809920280762505143423729814050751264183818383599447893932453179804695348567680953637906754385390780935425901250897493592233643389276363009469165875638710215077093417679314611216718, 0, 77980810286410493678518570610761018792506933509847168455284116200989618026810682237707986788850483759575849761313333759003133208725093144222984856158475632915002814308425298792568169621432, 0, 5903670503067492981268991153242940208004011056033499176066196786602365530349264958145247330424336088113538044011229204129560396684261236853344405830429270710076753252304801810461352035090, 0, 442984292550094494686212526451939071000753720173453650856886508273869482051601972231824290668149581338963418809564814636996691744454916277351510604494156120739970472695856277041908813128, 0, 32946190553961645479619103517958943535773748292298148344908000623650536153061103882729560919895647588216247164833227981721261579292011157569673129549290082562848855803466938443183407729, 0, 2428792054950428509864674400966882471594237330873145460380988547259186681163513177169689164282621100018638686154959129969278657773585956563388187367388990863566292405365296884137520706, 0, 177484372295894486997214885455028362185068789461726619339648596205057913075260232747102786870859428537185146029044583963894558101745878646249864625431911625872360438212207913383292790, 0, 12856709860426875190512468041945550455551639429834395026885404365501137707675088860267812125558941912774845147298154273955206307249064160706675815320031219558590575380923527891168535, 0, 923238075855907017361947093655611585025697187777931607558171828763781982509234803894151543805603135792268922674941019829120831399013173486918026168632840943163384995783001034723425, 0, 65724134380217713909967974960902381783030360397720595766848099138181158662650561212273618474876668489123304773867074235693807858260771185735102511861197456239906768852079681762330, 0, 4638478126946849039701283416360405492403239312408248704020661633828993280846971827733328218472491714066318303670003606791242396141134921855430694429186328790032829926778607835105, 0, 324546423393460813129948588851292054393513656000140509154517118798435452769812768657800912796408581274280778285004169200181326376014163298703224559919997734946788317337846253026, 0, 22513297030885135903009803749004886490654413762694395193366177861797845941550212619509207809053222006632152744323559791828772860803451463952224462972611331070576479511942544063, 0, 1548359255703947448419950298220603968855577200752422675607531262946491574596568971229466492584539529699046754183545082984067054419501746865498827489765359225351336013298371757, 0, 105580396108200331998489652261010454044073174803148207764407429780044414410550345376091842269353485580827349452825107743533267963744053620057051931086793317704689768729208131, 0, 7138081833006385101060189961688163245520904476522164846564333497767647532914595497512328360763219741737477505221082903755316568992231110502648099947856899206263483887051459, 0, 478490646211478160766190587218533986520459873028120412036447506200937170269466701467577063496657471244751417600067990649799994548572545611215664784656196715629219201109871, 0, 31802801307128043371683780650007848168869397302202316067169382259582905788734445814660844433073529302126339199845755560915230473022500027954885643020678471676707242111509, 0, 2095863129923027953373883514309425609049526468751041159383143005415515453258837861895634096808561304080517861548134802320054854286355047106401825632962080479284288933036, 0, 136952846164931468935225420854744842385869090552252574479680641249436648272022301937850449089845547046954837527201225265547921513091744324848593228287687667624952271118, 0, 8873484360204010919455670938041149339308103931964135457433073095789010392231176851211607672913887100528638069838267261096090860378422334607080957257445016820086474774, 0, 570080391894359698698057645760017588709504286867896717117055759971965214544888288845504618018926288608124221716510814022011386210276889717949606458305607946836474926, 0, 36316173521862659381513751518763794133078761097626657919816108802867046684482385800324464680925177167944017093650385121168461389864618803215347893162465394276803827, 0, 2293976175930831724574960205950199909861141491679423307602593067187850861330313417904234022462345246867402478226741447634520609978339055909971146329034065532926580, 0, 143682833792785789351649944438603029417389853548977806988716911836710173393758108565976878925167035368479324489662919562154678339257988954537637435003381871982425, 0, 8923801925740327892274273882920404159228974617337357544484387703691026538669752464953429036837601977545161517779747553259234150268518401236601000101557853655202, 0, 549573162460731018336602590715380265281950277335167689613036110484919421007521881916676549047324121735447248575745826925154040970367639492131757598155804084431, 0, 33560838600754337263138659429906731407735753695079631492634685271072132939416252140789555646899726123484471970841684345591089805055188365269141821773597659072, 0, 2032228705029498490323626327368264000255993211823527834177378464635518299998243032416381861249679315921271284621595383732464697219449288347679632678245194417, 0, 122024020207798333636555913728388011359041885820474761725273759950496709082692498560736630174027732182243362378792596563961590392010234478484445395190618876, 0, 7265261292324962624564857744670514995562462353892837405188393293844444019088593747153888471900576494462517934141996514028486359188322125216957768855797718, 0, 428933764242011935336915230011110756134417519701666663270190782166448782931230281858060451257058697327025544350424443137625935497936787364043730524286134, 0, 25110883926087605248418714329042717261240854258029660155420185306066808374488970466417449794334093397288799409776704003506642372451009435885859853369567, 0, 1457692783681083009276375676664846984333705458801022484338613058684841794080438706733864608546961240981567433425170007514502459798558119531526569657927, 0, 83907640490157194239617690406646478236765320038321286593602135213440019031180585916239491154384173984891498130808143875887101245646890975523012835111, 0, 4789250961683325190686959026299011986986104306890805130347950845508536881079480995497169525441176886814331019570538286847759992004392359254526700571, 0, 271058586061544944314511484166381326051392913597860763006593530542313839226444109152181848189634150294382887753971543167460636459905380274797922063, 0, 15212022878136392710548666005679562192144837605916229528237838403299293546792114791507318594887761249743780794655460193855862871352175690862178239, 0, 846520701411023199304030886091978921662367289316775371478573457984433860784174946322685841831118037119472925814166332660683670094450328378158254, 0, 46710384601528181085486525083518125176262375710403259845796450466614770865412950510232208745599360059032576830001778333650863256959418611284188, 0, 2555717480098550410185559907235484863147019600516883942079997339803321486979405657334518748594417240052392538088947934176941849281663622109718, 0, 138654491235191153849628428208421753154876069905285322850819829177199838082252878361674110133557688464278742176866526328515833707576002393649, 0, 7458899650424261454726635435607857345445681859255070000306705215730389367723992301958345716267619533827141277445521030888352426816995756753, 0, 397862683356945411276798501670183220865863248025729233472559853672073732021785362185001309573393686993373060536198238503171668385315079160, 0, 21042969876668084052833873201651074964284092546242314582228242474290457323026285352557911545059369046004487223004831140668831043720980087, 0, 1103554705962954564757219533621552326450423974203042065793053741691805641043578168337785603941623881125747286655902549572423103629256095, 0, 57384048819532698503154107996908170101626454737535066524044545506717432207967437729654006705531268219228784539359271313100861215338932, 0, 2958668584149825531672476767451038025889983088752706142466903794091858814511491926600788810788775719637080410558721148885812052214354, 0, 151253847815732853194312120164547567333165914470363300866031564572420607495340558114677535318193159662788443602018321881016896617582, 0, 7666877400317688855056605616097737403227636510723929692053895139914932179519860613357274595140054516430889288809783318738662512445, 0, 385326964186617321234001165378685803713244762779590091206983228562236978197789490694717867263496486733784530563910033638001248222, 0, 19201524479631725477387179940877490788587870626702157379080668824298326329286244859082036047025042230813612639445559528495405243, 0, 948710870359815899879056031437946443851570288202187187390870426725219114770751807372325937923417879459231777911920297269532489, 0, 46475076320767735272912549382420659783707750640065987178341252133886009056910584621274441003921741284050723814305650656130957, 0, 2257305753372678100698641369336771779118746573319295448880528491553217556965778933447896189023509786869150149297260756396356, 0, 108702722769645965345908425479193831129569032233542945234332179468270159534318199584787330358122741640544247141752309672879, 0, 5189979569386851083513989635657084890149155049201394362719112362068930364565072418353731752387772621990509188118359852437, 0, 245675132812725961600541547006029462466819407769549633997510739286063098434506147610706148956824759479704118413498081846, 0, 11529802974752957975258457227943096113223957393970870586866821989521899423408871329066324678781301300814806259816592802, 0, 536465960240456788508417758794759224485548835551486306557177517524478692684795076155220139378510154399920812441151662, 0, 24746634400104598848640860340024343695715913295449146705800746901662922922566469195667338325501545533250482334973904, 0, 1131716083561241301718492666689300220981793602244527591823912040577172127262846887439024171238398108795449921015812, 0, 51309697841051917525998879550011208679384161648989081549384763277688328624558923121829433743653043029743061930876, 0, 2306188618594357481974352536801516931071673853236540627327534276422149546104151021379668760227051396258676961860, 0, 102758048862839609046897357682510164780975072377507716347673737310907536615122002633168726691197565431752981809, 0, 4538937816325076028176372003524856657892152599341766428820628840527081207339836133154118457221117620591508665, 0, 198747224586546620169044068207514984828461632579294224323686741494225996032927085277027330506446060786513493, 0, 8626742108356871077205012771733392088897297730464034900201060508562689872967034855717196316828419757592552, 0, 371177125903211460632899127989139724562711163921976035299118379989819190892409614532991684353854164376011, 0, 15830448688914271378252035926834465209811357223606012397946863198754002155567375548356500608657239839725, 0, 669223269568659057469850324492134431170478335480671616475622024851019756068978082932951686303538240596, 0, 28041542092610716100646241300789439886893599571635429974619699479473973653491259122801999366082449651, 0, 1164587404839602805963680224709211293100301996951142354927032304855588012294962596742799597601498489, 0, 47936557659383049263099655577426988714192097473054992254643682435721960574402104594598780218531661, 0, 1955555881488022782047781485888323127235007654309851212029121489656933610245757797719506873112247, 0, 79061504798918093792214301037948838945946299212833528630825671418556792128130981656967076651741, 0, 3167618444451691136993697052346259666251442440107030954510379923883461734038132175760835300464, 0, 125763213364428581394003765325642564175511782950480254371088807081232203246806617255145892466, 0, 4947728191642157054757896174163508069568641358791333386682971299610645821190364147468498435, 0, 192870704747768194131509595375880039223477908235205873160983334391101475437015989316793189, 0, 7449204254697969832166176133672566462341180825008354930405059516363272498612175894519108, 0, 285042526392977535225338389522589798087108275211778697491250295160314539649784425001032, 0, 10805290342931891034985527353472031580711710103773258509453628344635419299082935741314, 0, 405750229529439001887016182170253157603709229328319103434789610137587033885690099684, 0, 15091858455924466600625814200222343062544578159207886570634054011124250875212563486, 0, 555970420862015666085857574712471260864128897651660599052413645102995715918647706, 0, 20283653791425444730982434474824457187857528629935094729434718259228866728096180, 0, 732796959143017027148994766310319425269222986614948851780871904709585975424581, 0, 26213087114103532759805586870025366330068043998907094701722561210990010704211, 0, 928325268554298290802709712480288630468496472256684869866061240335947291764, 0, 32544392414189265391617179473337601071190580752964480084988702636315832130, 0, 1129245553714726363176861122796592250560733682863181417176718610767718030, 0, 38777019665244027163410236484202844531342603801712635485694196557891407, 0, 1317549188614125166513536423925687129233255890164713485556656804735324, 0, 44288677381562097202772573496419820533369147621043277692066716713835, 0, 1472560608811782327533001033437567740971704437874091822410116567074, 0, 48419785678431196716356865790905177710979758600953727862493435567, 0, 1574161305237205624043399286263393591397991489592236699611499229, 0, 50588508697775902887727921111693438618364288716400554126399149, 0, 1606651470436765449484057850319779758104830315918150142631259, 0, 50412690614678121239167813381754518124055588116833394236060, 0, 1562345449522480657883654764901442678660279613704623261596, 0, 47807057374931704519200493940441765642511744436255439491, 0, 1443877474791581260798515301785251977182351482747980735, 0, 43025208761946797360759908851566927700291663872377809, 0, 1264399571223426649187802937930810612700328202749478, 0, 36627732444362147668975477594291958341333052088054, 0, 1045380249661873186933665398254123581031076405044, 0, 29378310897662282612864265980680586771406724274, 0, 812436103547221750026478831524368437069506882, 0, 22092799623094753334002858306470494076461460, 0, 590287424783331953839641763754716823594369, 0, 15482338129015464371342546111879878580653, 0, 398224854138359040291709041944614250603, 0, 10033158233382710806072104248826461882, 0, 247281156455554306877311278793457431, 0, 5952879406952989610630098907120499, 0, 139725756790204189110515123255943, 0, 3191074542095944439905458300494, 0, 70736475384879330884732147357, 0, 1517512131005367119481281768, 0, 31397745165276214573010391, 0, 623943313910872324574465, 0, 11849997513511013219537, 0, 213807056413928471466, 0, 3638312111259798056, 0, 57870927579351620, 0, 850768467153737, 0, 11393123826524, 0, 136315481871, 0, 1418493465, 0, 12338895, 0, 84201, 0, 401, 0, 1]>],Snew);
    return Vf;
end function;