
// Make newform 804.2.u.a in Magma, downloaded from the LMFDB on 25 April 2024.
// To make the character of type GrpDrchElt, type "MakeCharacter_804_u();"
// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_804_2_u_a();".
// 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_804_u();"
function MakeCharacter_804_u()
    N := 804;
    order := 22;
    char_gens := [403, 269, 337];
    v := [11, 22, 3];
    // 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_804_u_Hecke(Kf)
    return MakeCharacter_804_u();
end function;


// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_804_2_u_a();".
// 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_804_2_u_a( : sign := -1)
    R<x> := PolynomialRing(Rationals());
    chi := MakeCharacter_804_u();
    // SetVerbose("ModularSymbols", true);
    Snew := NewSubspace(CuspidalSubspace(ModularSymbols(chi,2,sign)));
    Vf := Kernel([<7,R![364017883200622053496887727441257083810830218518956751475712576846628539834670518201, 14033864290456162525838928425483619910436771580544320668948341171140656381622612613686, 37793061391539356206124125697988937629657132608683244985500455176886793336182289559679, -11454693082483443494252047195864390472052482630800286558023023857194089556583913110160688, 517826779444962695235489661312451372536519745918629880556950993685985455831363985118287369, -19911933823085597637359888988067889161697545823117992838106475773278268543591627920464439712, 524693683665352688185238476868264727147249695996904944660877344308865471638123645347896854427, -9288236096137180632875787088947992970962172028207685523160017122970953392177462737071001803774, 113869315295825167519854774746881809727781446663899410929169479146343947219578937909900332326085, -957460622481656554161838284988309159677792399894109052213666418463063910256783540100067387052948, 4812279620544604276224079427625918351755204855567762502364371015477723453688912525964460672404598, -913841205613092558340799581911317040774752429753582301248740302914339760230473026779915744554130, -224646377789559645886246972584844316166622161758220396628033254323823201671302687886642917027078433, 2067308773605549161154906155988315393636806390833277687710170214566125879021505498744326286921293194, -7524649590791778147345349779645337313308860663006387806267482684335783841699664968401453469909313681, -34749917590345776934073096116163174456145513771608564343285270978569689372214099215414374728876949332, 745737521957369177406977374708024793372776919344227963032025322279559563670098995828021184033714243928, -6377021020124376853596864023863953509761619328967746629943786332493712693819145502307391926666384074850, 37712804151024456737551810723550939904789487384194858848455200521823303701382115423124067427971879977050, -170247284639372886438217253902083910728132391420201951882364452377373902925307511073878360641633417993786, 595605455231676167826967955279863874087921703309881070912442715863960440047135009620757884089729133143219, -1523268028554014113986218337652368107475506396587386652857461999807802777711780555838168385360109350750836, 2068188949217241867636907418744378055131949480600525760177336045435536963881679508840140098194089278437447, 3447791219514557923558379823810500792337265714432613896959867446473581769473107308031459440107383760837576, -24973727799905878612766689342703153817404745271164651196830047733459746227630808432824936674429036894916355, -5459790165858493275048012704755245525498143698595110255385291972225050082895641269393131642841720647345494, 818024482103765787667427013267967169680168839008665335245056432253250439216559714601025174525582371666759583, -6574080438601399773838704650445099703719875255069680137809102982246209792897936931680409935848638107556555578, 35329398729442608206696824717008976537113751292353037558062423028065342750731988646304763190446603611486299163, -152622389185818642983513192880937818805866808782985070986184214443509106213449454669050371089647032081964069714, 566489266740092143837536357337480088720093320591063799904387677413761090538510222496954456219387724546607060826, -1868957429694481450431441929275765684224828619482447438611633291653908596525196691075676178740786807333338845074, 5596320072730051372258430618593422448785159335850948743206953992694871092679007868019204669937560883152339625178, -15418468924328633013091236962688158128858029917128777941695760103477830649036723914461999333200838549188822982424, 39452101466656242037545959660386789040678439412844860631655647615254542039415274347107988569664735652848273016461, -94326522616775121686986449029681727109087633067566281791004887826273949516146492608229232804079649224475018394232, 211564279121002332584698768609626512271516383097183685715344462595967746693391884538064788320812677979034522941195, -446217445756432740249036773652382545757588630425603442952594734788416970268765693846541236090561244256615279858586, 886583058672960406156458641275161363068454757118203513153672932762547378417289357107752642226546871887571778792753, -1662272913773047039039654543541901951228549549688464610546708450065903343174627469849870864157771483506969818979266, 2947957785749182576429415379996184471792296550949277303515173873317180364427804399547276084026031615678023056187502, -4962127469497783526511003343740460892216892513241386752613437061433781248938441058148595558266731001672294410406996, 7967355456809087177812994026115249849261761697525436981258167764263288125282343309439639682965807723716371712410873, -12283815714062432301579409462313906015474880824089959063566788052260059966791645733373287887439890590761081075715514, 18333405202741804024967681448959847043073606271667288891767799314994912679346472136319243056066062596196474955140440, -26718637042238510584131126436562130910032757239256580724800563625049821389554700424708918678711865921372196275839382, 38332495919451314051559387572128865064543782703480161566921188702973593605960285963429382294717175482749453011211841, -54465501125666838220566015510113193655573134611730960307310505378941292764994223874244428203494071366574896161367106, 76901300438967199322887469340418062007482950602298833108865982881676512647882867868924475900188034880518394171231016, -107983818204462281754219014035312910862247920173810941657998478824604114197470877353649171993685080823466472141222000, 150734937859090374923261963023684306550709184783857312670589341786417053830572416061137695279883432604458316890551175, -209039399521434452176192633116457345284510619468885275386293640790377128113284145444090076600699138142676608257233994, 287998449894869076934868782471870864914215970113194095050577707377986004266274548004021419368782798161814164906848656, -394272656840430591827098076265690087940742233078048280803106897133780966454582874229255865193214730544448368912374408, 536340598113859109506482098320597100389645022606675720528419347905884196694844550419439083023658954755269300727986278, -724144372948660157418722484193195694999475505189369945522854626253070951300640598052646063103637747624956257916291138, 968122036534943457780736095432855357465375375533539689818147820908815221968209942507032076509184340299527516692997239, -1277265896186876578459071956661772452914801768092596527330952945524624168275927186518980846050356458621164510440263626, 1657095401391552116256948945569255873359885632132587478986793329032640290078561315588525698253254791863391243105678037, -2107534730009344616264953854033685107656737635042011006113521071764274453046115366212535207625054653377209681347612740, 2622014482500172842606329332456885388347326265782295058485172146322930398682740407196150637952582591441388484986352509, -3187126543161289211826421932160058238138609570495409257307721427441536899568606745293375479553982688496048549141223532, 3784023794484415202667616215383721633325230522967086639121911490930745750951511866954295019296768648727743284133651293, -4389630267831193432519657629794401457110444553749038030069267425824381339858416363974315686260762511877089849209001922, 4978610765462520417262027698816604268073018426567417796724947312161495251655854827477820445534846141564601768041162998, -5524005766360580884617871779303012697136056921259304132749426906448072996789920525975183921807720347944022580758330308, 5999146715554257581444898600465325733167374945648099348801927130972122359342900216051114740666300927629900173871060848, -6378812029052001337840492340531274104256467555084150233115310813128316049297225423791584830224786726222821700774350506, 6642122763440158411202617537745173015491509521441459025782396364950374483305432695519999225790526293609502974838147402, -6774418762331903108197653079645177685702103710729277029949462050796982602038147955594695970667655544639630544160090382, 6770309826674197023423859330651517232573073747200641485499181819945845227318693928978869666893834537993654431911741971, -6634111318185358242350304964878299333245632255207653885325174951983340672786039407000609114267852855972647400451049744, 6379727741013668408725840215466090069210406461757898318059143065172991958631563357778246469831528466087540637119846827, -6027856353327199254410916041068885788647015017080107323424969494424789004313341004778298554309029823501844193351374378, 5603488893151189785418904152929955853447279602328978903276012336999740674801640317243838029911195122854646642151586050, -5132255612293071206468243995767738190324521554900270067941679262209737290567894187520887021156452909139155284360175946, 4638280230639446286770984981107819085872248562655580765396019396789798406600521953732376485226381066145020355617257453, -4142175886934392433152750202087240934855413995869672443289050040157857650684800652000988555014787611484136157060380754, 3660601390932584702151823632042084872549357086202891348127537971516770840959233225356089787775332669783337020680428118, -3205776105912045161758778813814288437507198793096238147927918664113291630340434974651790268257381284729619333783133376, 2785941613639094204528925778462239409030715578023320415760330967311039482445902789925991759142162821209419976179832429, -2405381944650161918231900216429372573521181230623155241511419053968116342987970214011701177094150078364263441949656274, 2065438307115016288591029646814236061032239903912215573243228958475484005393975417248512613499780819003011554927197022, -1765235018336859622373526602270036208949755682770652391717638591486686995706276094027036050579959453245950165420590860, 1502413499128616799056289838435196014614609088655882947424455988471462166299682816626663304331130034397421195410056736, -1273194224282473593321758797419257612321580802724325404172554664730743774860604903885783088646376391342381693900106448, 1073275080282282008219896047971847947141692531896847536806783740284502233824839392322047831337059790983141830326516501, -898680432062200822400746047861704076217214511087615190822451845109664789194478460651895377553584333455198248914876604, 746207574367306730824526450855923986121803255290247877656413884230412706625375771998442817136769520863248257458571053, -613346487385686114834570511779881847707216921732877328973974610646916376890589021177452938634788572539238459047587946, 498468981879644956365689329267653311323493226235424049732937283659046064319456467128349371668000935394726918769658023, -400655084322507357369522922531764288773330639262351514193334474382254961826396733452431367512976477137515819543097334, 319079044840960192657653342385213859035899120368645426932328444519938342145964689919971350231552050687369310102641810, -252422131462097271538950876499150668840924603395057894961147691176034571219658152271666342173723521582722338768870678, 198934278698211553290055727390350441687718408286375621564766913337276859857488330779547663236827339335355718964974916, -156593942266406562000113619818135744985904446104865025019240036565105715586198135957890391834880364570841276861695638, 123255395797416944617296145750453496167032670000337392979626020267507524926048478825272489056098046195190597371861030, -96903203033896554198509642943250852052774638936446209671182136178627624155937749931605067357062214128967243255913030, 75947316391189050404368458870991605470912434207152944044583871373398531397416090600316371465228390193442505766543756, -59208620782552578923191937020596145540722775815281285067998249127684095412372531154732159789438512121092183283304212, 45781902660690927506861198143273003930876956096549837693483027908180020852844859516345144272833167122746112163673287, -35002613700860501897097649745677339042532368416669907957670078830407374149464561902592460475231194201789603655574886, 26445127561059140433879991571283161920431836804781332438325824389024837058491055627373144677092066020691286201498096, -19800178315530628932785291244715759515786104910184366597198638906589218658814318745804687142256524502580921473613972, 14753253378152603190196505076543121111467999748065224460650267675232892501791783888170129086606153257813154723986729, -10969987720941196808288555324319290520418439624833226100562093226160161416554330717276276715238732116982559117470514, 8145998224226652018677941680324816094278289039040475306175711099744343656440936426274873463011353265952339436729250, -6032839347924118154466713564337585538968724163172991216474862160785641285296768562739864080325422754165743428725352, 4440442254431239477092704522029188552499999317470349715511286609641529039754602009320182339264432361824993590761600, -3234097305191339124808266269021326414560596713337009034879065221582173216483080915356663827665168688846481047190562, 2326645880022474251219120572301269886288121756909507245766629091301426568482224935861382102801787244905448304795162, -1659201212615434629325341637214418116282702351343694352507358573226262189964517548316414992564715783321605849124032, 1181920425440308602587380646259520212552827847641938565841150033885454829505373198121932865600941964045952015346894, -846172891660542759458665625151931735017559469684166742333123393439241425040102316120893121086023151034499704836416, 608359226854320243373653086056354430914593872027274387303505485492386126621337331370001815296489303431132806500927, -435816404350901784040583167447868253911424216660692722540381178920525998757840322113372393881846161735306655222108, 308194883180826933668438377031364693273826459914875358456722449876238419473480113235626877489090502956758157482030, -214008310394845388562924620888387323247071090496259365722506323891919643248697177684313084059822983431736369606644, 146071275772647924504523687043752204482631894854427972210428200569419003346365904832225666929743768639725354897160, -98560866061672399064389952156407178083297089877266748233461456989030561342281816181818413068666597270035586847774, 66185525562319408124600464170606382134957064113125395788673118477801516949631782222261480754110479245603894709995, -44415609906589761437564796741261626700789890178539606202905023774465090062674308784876155701793198435272468535346, 29795069690533010903528026307092765839509190267760393431785415754101095340511883323323588738336305039571565783555, -19932146981703040028532633067985161696220695191003205613482513178253083050508121523228170990991254770456099302768, 13260594213063619805536354599485540202830822417070687436949501083583540254464306126345612374286101144050931443063, -8758705534917083753773971124211519821347460391197711061293079694616599183930633542567265260640824246726437018294, 5741436553371494478222106013879030132237463293726927752383823349970077182470051391314937161517190383791717785986, -3735975747781146443446257177716063264445738991478989104953626436913594798521414108466615596280415355676632039026, 2413397186489649646536876114339896944390943760160349805980437887509630682752060885511309674461247998367078107573, -1546961521626983939257535372277595315461553398134195646492753329310974037547803624373345239803783239170073808862, 982916288155190517714546396085049471294359354145795165452205739408495825912199765853251782851654256862937179490, -618300544941242350761490981348776017240604142148792408065485874638176799766498500490614464398421824648334208228, 384639336953575467628093840532720492384694685971029785474240311384653519615095122224459984722195121762982838321, -236464307511100437198935209667087827073021674533529882602414265479587264361907390281196935738764780870086809182, 143628341596715563240674327906822712806508710140002521432020691627595310348493536682348217012178492441172625904, -86214866503806130257696562838155047524557270868229929926739271662399670341794444449015547060174543753336187128, 51175874987108377911620493407674583089400603646945029757929501877204082077186336489143080367415877522771178410, -30065057716187380372965775471221804191556082815490157049918817559384847410495929696398057904160489328135488116, 17498052026757272377473610665609824077986323781731347668131673178811948746600961668969310614712146424822346997, -10098130032588595054688163121578844691866851155501015009245970915885614307906348830264435675577568866037511856, 5782937348000483179822292963894052281302466961389984257160544669537100693351732591456403979044479719045290523, -3288110865967233255170819428526105406571548153422334975831709585486464704625827184856246621859701383968296602, 1856824866169792876494423694771129362379327842979500343334094793152708563914873044308068933879791107463817431, -1041488109547042790355094920551488869162523792263019936176665781233179750950231373823884927200610363714159754, 580164306326411133843168194668027883309063636285222219713592848706347415114374150576997392189109693067043397, -320882873232130038733773562897689529498082123978511433275508801935532206837777799623835481157385219227767300, 176152928376826722966924110232796665329591827566311973514744078599812388346860667693858152820734823117571575, -95940484907549663983952749105165031401923332306657119259370204322956707214050074229947352945317547815453102, 51820922995040031596464699426809971724829503642342515690234640551392383704224203991474908877478847462672066, -27747689637407502273847476405020286366647796841901813550660736307552848554189534926888740502273327674470196, 14723939056469798263870278105545139081033783825147532542007650021238601892835808440893122440261516666807492, -7740697921516102342094886538032698302238965581821297598079579229811328547915038191117686618046567670933898, 4031110061715723426013170758830364639610650571952684877202774080641836272649195686156726244421285936687607, -2079323218995313291180705233482047801088104566561740306352018387692160137881707083333744607372576503063818, 1062394341176866623348298286834715499521045037248462088676861535573980075943767218391146439221573092538771, -537724301639698679282860962869109508507905837217855315025238477291536712652094189257766140655322910723768, 269667265153997373876165176540260711637903771284601111485944094447140185038218162374147982303168277733536, -134026646704075124644033406656649589075728222447282980980588808087482444635501793137717365252369815360782, 66034812100181655611408929863735903379398896236420441741340586296317109049711557557609936240251391977690, -32262127991913523826624940776954754236980662208345939532471459121537518615857731199614410339677792176726, 15634274660356149811821842336678921430662650146602523901321256766881885523158737339900384052592040729135, -7516714938145538611327163072296668381756818980086007990155368508239158728050596927467370647699670393352, 3586225653702338761622075848058634543098845979582842854204712750317549287650429211143563148505289466517, -1698082551460931804729593000767099422404263342404405721173432280664584244856580853962013343069593460272, 798049398958933728118891581840934839609800048518720693964550701541319939461887317785916039809592523266, -372253846485831378729368742762668614539601459059674842723738340150473146398755863921318561147608344936, 172331049007034365589705101378725681919309098645803432010424262928038515264479847526648268059871149816, -79164179452576917051617897169153124375066049390117129111108475344124371108151431723587180373646732830, 36079368171385145017026308861932089798927204369237712565133047739669482526489002017165797533874582051, -16309162019262212214935181972565679876614841228468718340009184322612547116785550748115423904935147464, 7310360113076571884541639935366023614717541976377107969691268051337343881681831064429358857403889434, -3248108338862173625609983770061488377106079480033078925637501683760922890237517681277518160756657112, 1430178782525232047925408068938056933450082728555315603645906564610404014812831405456486792812349082, -623824411734144722093209605652843537688833551939874983539900226408783788597684972973155356209762644, 269490555914422623627981858415908386806059585103313612740356723545103330532302066461769104811775422, -115262501349990885497174625289507114387988703136974749137457414866914820816526482172688932355847764, 48800328664443053186817579807897222182346171155604182493922966566391862730559845043012495432529135, -20446571513595062681771911338062881567094766012685050249213999804980862482853130850360381161080548, 8477129735515493955910286809697258098589176621990298350048687530074685248142238901825302626685210, -3476964312133998277126379263776598012656913698568026755371207246526527689344851677592730282765588, 1410877345330697263808544053933713522250298814173695812687189869296944693310119907255978725361705, -566268507163024655605324238779025434726189453183051423121518722672156162826650748016494292554140, 224836091755118911652753817097451432945785574924560762534163601452541844796288185778548028773758, -88293626593904533300128323535655168683865303830846941940441926186365355771373235443077923940940, 34303376327029439416777134873125566536722912996640013763349435357341102987981421745255788910160, -13182075978634221500411674641851499671181830227315419312289283379350611312615390532657991789866, 5012611288721732517811560694757284433683993177683011903130924578923203379248212479583961076413, -1885538530874555265087947618363741970803391570841513237178824052083996317898723057025516614952, 702070988231475066551565379805880543948440353905886406049572528255552331165218121790316214431, -258635695233262973892495081532466500257399598530229954653017734720687553800294599609292286538, 94354636268956870967578755120517668015914097577291877548770708024589035413861382873878212734, -34062346940609781309919756170019053675174804072344769331143971746579825164858087521089868306, 12184399147099656532292324494835677521434440698282678243106364712586178040601084471955728465, -4313504637286987767397886479944300206671551130015495437306433096630225382047230218541845420, 1514244373750221802551164104009628366984358915249661254472474356276913884082699025018470511, -526111308638683797179953472739812413158185714078431631077855362494970129702801428728376224, 181431718298291339880532598042035368680340744963718695932695089126741820943617226978388047, -61916271691426509189031712606477076584868147029504655039119684237857465464792938045423494, 20998852975672206367261996709917400744852326785543947120814805138174402648450663054497767, -7044393736588322726866127100955956537209193239864206301889004925529740939323509526727394, 2352499654888864705038495661641134452593446557532253619230096689084519848779794249182459, -776323531672731218014028604525220912101048330922391295921389430156737363812214331245258, 255639395189622426434728595889966829291702612382606071817769511931249781798638060847910, -83030044535544275817701654780770114593710085752486198388233120244317745757738508232174, 27002689479153453059408640230655648249953658580417090264715708958035714384868145016317, -8633792842320039396407175601160477542341364689617634549591415167268587669906836403654, 2778232182728010167221425918409511666956036357593030591684189222263246693089325128002, -874237719705696702547451145386835895374689653224220304223735391195774428729308129632, 278987747846006965575665378959572913142792439104919318525600313983770916685020564415, -86312518268849294789015559410771677261565079199808363099406162515708501849029195440, 27396853660325596272507804250124516228299747824021411834583579169933662132085966925, -8316067929940741882979780377603309906198198060877531818961299279849287138617179000, 2636010220632529662248636876993275988787740173520179744679295493604591254317633536, -782233221644652743512149935391580036863746299089020930881091176526681639636654028, 248991214669470660775481344742296726700443612183495541478131610881263357369914956, -71818984677369810351716626643806217953894403971008724430026780386273093528334162, 23140288852822668614526347202863315467873205002946319229298507055747957345734869, -6429499407965380407977064775932094335461436205153327885035454669002609596238806, 2121556167567040442457234239237823118501200905762236411703363669292364181650823, -559968476016698062670525256224832281587877158666371914554700448973653285948432, 192525284119307689941800668101422670246727688099569196376170850466665375161551, -47247631049152638341460117112708321639996749326542920921170555999608371990238, 17363888979390270886338564379099704996952206757759505101805680325342105051410, -3833982429225280029872009074193534861268827218425492805283018481129182371846, 1563779046067635850724377590293961477314378999577207053865361409017571622932, -295338993481410375388253354350645958731057180016109659109149733653825422532, 141320995964903240281770758264185127139339720803826552182609336600640399935, -21056291279894413482609279972091510694481841378933498679373049159894644348, 12874119884175371780916996010700223727997458546435397827654022775775377451, -1309572845070473938970926925187264047963863406483915709369313006811660716, 1186432194470977657653720465841776094454930276739756698545735467504684622, -58019309446908629109677538048702582278488707041188776541742204154316798, 110815661580532413264615192555535651729640400299636807384934668832712840, 710483770544362441969386063305863037236843872662559932655082861912248, 10487950751513464037043741974040839964073184265256223765612334376766254, 635270066756790782995703073126953236665849314877764631988474819652976, 1003229177214003367807874716719965708482390892527946809903686257170216, 110487277912706173064887872385234118488932326327645151413349987320090, 96525091599401396619424767378437291312358705099366435723964658631043, 14724295122348204236764837826605308059227781943058325673272325687692, 9279159052451098698511126492882456455032832452668790002653787040517, 1730778102930227522291289503391958390421780156549634431305954518124, 884333730400616030455891980606714200216492292498058591485364378635, 187513608410114053363620601653760460774132577897667527702575738274, 82898558250375358603188590608618901724678984112488013860780533254, 19067570333662701258831533284729673250411503737686230385797624942, 7591512856739210125676144065440489736146315894625818018008056705, 1836096551710183176317806962404221637371301051411635092195486606, 675704284301104066316487941072975518252367912421378144717296617, 168326265192270286151156311027434615450649723604532311305021220, 58278051565236139462356446089080509975166118445414330272599451, 14750877502727642401693852036890965771605430728193441813456762, 4864582456729943449276393808873035829780384853496294381716947, 1240113053364040565328494811212372024551737295387694172830392, 393069012564130947151051957327880078330207122396618616855250, 100363025004877627412648588590199717007852885746260757929474, 30780013145723428792675898844204571385825443614778821157064, 7844334247015252717987313502836801342979335925459620799018, 2339557772548246799548497739229831237134762235726030767745, 593812299783718697810515377315892064296910108254215898820, 172885798552255523328539746717381958117983276607375497867, 43636234319830738150932220071346305684256753505988246706, 12436487003989408351163175200773465092699147716249725320, 3117668165509205426739704958416991963081986641943851246, 871503272377984533246028529357205544680129950134899384, 216746754440494124124734285780710778232651737318204100, 59505430762229048742361408718878899984110075038351887, 14665991846808226845893893735558917872459389122692100, 3958024620519445526116922823447746330914083419755788, 965733930360629675044387793110723423745585958979958, 256386624090942666989271323775454271505109668403803, 61875378650020254671815901792197450228465913590430, 16169992707692723333158446031651978735325102628317, 3857315957724240685205737397328546376247607014892, 992947784194724416343488078190078368625701613773, 234022216398374928299977026450324092846224967894, 59382961354221205094933249937539562133756260405, 13823729639936234872816401253767495393712277210, 3460267010086048573483589109121890506032932865, 795463083970992094661304046430454294671219590, 196546735758942753078603743214349289898532207, 44608580461364544773664347572124287297572780, 10885014702726104314850594773738899198814863, 2438033494511812602538648482362748145348270, 587640948861299071597212386093300995587908, 129801883585302510066265530596279086563030, 30903916575284578057089243887099736739003, 6725518307050835710711170066396491315606, 1581479794831897888832685542292263543424, 338702088698240801575741010675554246608, 78654084956830016733646479942332115441, 16556723215205760974496349897520389078, 3797428546639012234602595472924367450, 784696178461161525294220578833868792, 177836215156513466229983133474416190, 36032733359249141465922436173914162, 8076031438154447435639694719630507, 1603015052856251351859995097518002, 355800914851856495180258306382847, 69138680687684356783504217650404, 15224236485387463367826565741025, 2894722063347950776895880943092, 633657684030388833544355915751, 117824907609928046889355511042, 25692789692498541048984067428, 4668171520218160451733419928, 1015897595880953501396957964, 180134985736936281265498442, 39181069275078773768971623, 6767096819455076200676212, 1472727941137300910111378, 247094057925071038285320, 53845435019703511583429, 8748793359476006396000, 1910052519699580618200, 299676521137155227536, 65587595278490755793, 9916963303304217698, 2178047434808289723, 317037011865726588, 70005364625117695, 9796874517531916, 2181152352910359, 292549327378010, 65890204052778, 8424944131742, 1924114890325, 232616568354, 53861044767, 6063580372, 1419325837, 144795186, 34137113, 3019788, 715510, 51142, 12195, 620, 150, 4, 1]>],Snew);
    return Vf;
end function;