
// Make newform 588.2.ba.a in Magma, downloaded from the LMFDB on 17 April 2024.
// To make the character of type GrpDrchElt, type "MakeCharacter_588_ba();"
// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_588_2_ba_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_588_ba();"
function MakeCharacter_588_ba()
    N := 588;
    order := 42;
    char_gens := [295, 197, 493];
    v := [21, 42, 29];
    // 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_588_ba_Hecke(Kf)
    return MakeCharacter_588_ba();
end function;


// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_588_2_ba_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_588_2_ba_a( : sign := -1)
    R<x> := PolynomialRing(Rationals());
    chi := MakeCharacter_588_ba();
    // SetVerbose("ModularSymbols", true);
    Snew := NewSubspace(CuspidalSubspace(ModularSymbols(chi,2,sign)));
    Vf := Kernel([<11,R![41053333463905018026528559947677029378901499848227283735176536635608097337598502349093647856340643627401216, 833238542054271701531150156536552846701088074681722035117484670270380523928439856971385933792631305462087680, -5805597900623860758837754828898840608811528053779491639389922208910912406352226860943363374341393757323132928, 122417656582917421647282123919352004322876036173064868272889171003847335257734410119084063109073303862144663552, 6354410490141557276818370175526760864969262772113570217880168619690737857308155158931536242723528223278616281088, -144845019785879777345316190979934699713986027898047216954494670029052526317271364280476957164029917143599727771648, 3150158306351495815172110400562433290782173330753899479887220124745176577529899154453462408116346338643955885539328, -46831496905176820188402705054456727445382521506641572259055954326489830080686528087567080242738815310820071954710528, 673483257054911753282089744906892906375338266861101607825155670502551879990636108090723109538729519413107331571646464, -8358567507988360310054664493136308219480744815079068212703765777844710843660147424781346035388824351427278323967721472, 92950922799903527108963965745833283500847728085132156694028740073277115321376769115124973988795251890601905525129936896, -881624121318054972049175183347210416616014951332574321674386535750875508984282042220904059674725182730733054199705403392, 7148139706148040551072145275404688697762575810476085295391054889333077012054781989064539521194476539207367992578757840896, -50576944807694112174519636599702628079627700809870027120000505691424257422761545168284859136149808414227164799977161830400, 317952691188768920080287701642980488261274975957726424697145027295470532864209224792992649635378921934404636510581867321344, -1819230114554007587675976537909044316697316719859691554908016253131400796325579730844746586599546292938362811783958624933888, 9642979639722365746163555953013363207805660842185038875120157130941832559318121998137443879182160453310625385056890533641728, -47684806365907576607834407184838718430322792352030284736244617591521116732153421751999272196584046791002739441765636725946368, 219842461865923817920408599982800362319410222902969917978905672545800228117415031261212936885053545757089223197151201070735680, -938092310820142543256644520605100304653603034286211398176417888548432655627766005842630047886195843705836581851888148532100416, 3675448899104086280451573648156640553425907347767219499589618934703664066353031685791809404890459870381105688666775512885562512, -13159942242749901254520749511962251693911640197227493981209646984064151154804849743109778066355833998759548095599052012765661424, 42946670365374347213962200330867766608680847882635904966841894458320506893527277877560658426535397311048811472232432493247417556, -127655734703360084731120110124315720720987292017887985363534096728817097599571538655738367674123599676027139718663210859061137992, 345282802577448680862701845805802050647353830103844988471575706911061940686492252452300544373330656084100357358131073608814802885, -844594456148568649274613962718025800298750639382746369292270596433292095354384652504985410669081807515826019712475414710361732614, 1841349110286001976651925989397542014707595769306855849004738040032641025937170229181396879766596854517767826699101470579242369767, -3457244303774929906895336086240301971580224531780566905132349610481178986519638052494053411283443768604514398303694750369021049728, 5059674290177342000173854692320328981664750730070849096499224530382716214906447539947251429676426192260888071180155707345647754063, -3415601670083669380090094198467608636887426856758553994166870417588321106958677280596600599737258401294300149621116615770114866788, -11642786058112098963361021396104629977238474101550603501312284644724342625229734306172954603477909286318409079519787676300996517957, 65937741943724737874986033414932320424361091692426465433840641737302606948985558477338862078674587251760921949236759297835479930460, -214600559058004903208854897579086279040502890139388164866303211945790405291765984966371390621555597551412322212346692993923859275728, 559872345953125258561352650511735791833768121553054342182827620895687650038333407848539880236525670270772953897007149177462705227966, -1257911238573094376423876024577073642610036407574317507356926607381747807372811895569837273779461741568682588511445383310103928224995, 2477315849601118017445074823458569044721044320749111666903109092022521397240385322950817621213934663980131926014449378288440725157046, -4229143535210188971671036302432138733467329811605337167740397187613542537035896423007620461163669718625375832470139232599128844431030, 5900598330181805725794383726952857027938058138092636036020351179059477609438862341518070423941208698705586652208745921857473988397608, -5217187838014934290654018628830427013161038361438423011543306476916896808513732009452298078227700070025696681782089051256090982853043, -3637774470922118263448016785380773355216870674799147982717615866142342851215988143774374764339357087883434124363580035470780843664888, 33573219484491417834794630980769595800319140769429377985567787488891448587398592395974164947143391516965445642183996169528029314293816, -108913422316262731546987590604774502777711756579194192683062847205390349536818658106859876095051916710965311565631791239318156470686212, 274096599401897787271000332706682864255412550413765853817612937547162878366992382262381344952512117925149501184345722064144119595241728, -596941453954733409413001203731087548323031801557075556986771698335044115208385087210435046534363658453973774838645615641486347913259476, 1183339283248196396993973187556015838105109437657078155386472659176829410697828039563795786578409016527181762041855525916550824515704322, -2167975268258440844013045008408758514061083727017131174269665474147228078292841026101371093978069992786548479796845795998330501764982714, 3713205118226970436159216849697141926997260639774671099105637505588219047181596817875975851708467753119980912439897974250054347867072657, -5998075000959536883640287605535781167690755298370514818420871085012513452418828292896024261811661665971710808861796504776755972908534240, 9119006453109816537192699008820673402091247204371543255830612344352188069954897405242324830859873371719575320773653790711241882568166141, -13144549000846836400873942971670261917449855313317797634321839604409806370067397288351680239843415157132087136307244362166350037346184288, 17890595170207406381390724472511691648708790278009921624613790284437666330589462605794835566878478811286559128394192683417025715956611632, -22965770614674722266401492088531799131653735754773919237472619944278089228852273524356119830648856726652472764335787756609421079252846802, 27850449708961771615403141132582689951855782969143425735350011037590818392921447347823219277168702124959177561811715240758899063633023147, -31468700849121626203461586493998967282150498899974059748758820444685767562277789376328049145070027346304492262378256721512835427170456944, 33154281905771277502210070052487674111876897566673309867033033635665479678094229273922915760014702950726395369552510723955443803376351644, -31943426614767917715469429062682906672442734933942205798969197296540790979221047503096164078846665616659293120790528309571926457056485654, 27088917953399304213484060521370323023925272400403079561071614780340195528636988621255018353951055871175782713848959576226446214326923892, -19484867246408499635686821928332079547267844369898374393057024447935817036526797200421074632660868752273272735151331419707126780135996054, 8625090564871476731184054709377529900687965416333729796079548574922809227510068396769976569806259793483261512627396465411568262193821092, 2940453384412029603448959816450281871694028191809120055574784899763106183972557028797182649602004276725194419323357821954324443281504948, -13649361657844387754063254302862102945005994652019694767601296919109233086644799692733498631572224530925684185400030656025012920606166247, 23274556930504279448864532934350140173478192453504912987244490376026479858676728533989852323536941912314164693486893051834393680116231770, -26838928676042467787866886468771866565629083883036534598115452250369671485952702364616296598612175913625967964044402178237512225199261021, 28585977759217883952974785884251740354995431299299014482366141464927943683206163865295274510062061180318074979792290319439380117901283120, -24462158001805574684967098227887451991164215540420589798162979013336963440462790158639238676515839513935944758413079361806473155901739590, 17149218287276536750585531025861363932390161996597052076068582958316565819331522863779207865523460604344611755036393420258129330947809862, -11300219622484886844596719730039756829959372965603481928426000231950403770326970701016763591371394167447911499822355106147588459819026270, 620152493208773188744873053204320844916806914956392822041522750889943313404813325222637801877935600007053232134943014190701249536884870, 2031154358982154292624893701309745098936853666777940683372554929898403938390854590948816369558359337303072502156087450955511459997894937, -7936620849246717273164609233732678564611413079222759211326863748995777030968623985279382571746511949813807183854927777922948154429293234, 8280615682940018626369969036549234939120502927109820411012250077512145564552428522435057425647256132705395722618745759454738480345958013, -6110890849634758145534661947711755124707373727220857823871677873789952189017248500699843142152749881732309494484681960302131529539917460, 7665821521043050298506972073602408821628827043608998348172593091496469048646697773759296263910212654242790889252777155683886655490112082, -941134466912803553543087314705519008261366489710076362315793669233707856273376411282093555847824174738097911569332762650908851768248076, 4299774009794516667176785127865540628319660622084441071652768177630783575309270704306577157732376406517741784934638067375680637154740352, 889654726867465772445551913194729267292745672108588532649755607058435760018408380124436177086305533676919334569680490063267233775796046, 1096210304396063467887009261572921908277339746103501413116945189592796462182741942233689091547291031877411737908199187335895411544778638, -947731298662276605133427132747879056175561801395939170849407661149765416396246708151647776027044975587901355603618200431830416185596298, -944737917155424080331032583918632619464980237177480008888877104028036874450748297165716063049618503057434539684397300657145507952735518, -2716032297318229168197323770684555070355477545464220274823801236183272836031179370910828222472716195645703189280005570393117646009812884, -1424995748808926240239891655233489856777412868000064248355048678826991984525995666661342970373470975283683227414874078206301053802544706, -2226686624903433387328610303043301755989332868097946680711803614190493236071158186601786502631480630681401840155599373728665247819605436, -656837450890689339397901065637988136569962290552938728770980240477742098550034602481266257701647773767092572028686475535807332135227128, -547808514725226690084073993451608845765076281328181362004272405942560782700380961664779977319080458160527867070682952449613846938329588, 327498625916796635123594712017688576245091267903740548593721375963584169782393434134040112129474734412194404400690309778820931518893104, 591402568830701184759403894820850813804704217201416003319554758147457412281283397372906733290663479245696512897630711204531380297478748, 738654345207559741981228431101223340851157167188545443427920353483268892346650234578682206582644340704948347958038050695471469875101130, 736268322356303138445085389335538501422762492071855957060542483160613801543313637177762446403844068772904361816084043580293703886827150, 549686280992309709023888047674102616675732345701044820522833537418904066129997851799302149128506126451802388292651941892487014363816671, 368772140116490252809338014919914865566925418361548751909513548032632780265662942850087845625020829595224627906835081218166371762776522, 181870169287727259217558134387577933092463201093493952645499668338327000548369591695902101205732773969484380565578816372409341927018384, 35776552075144857284931236000519753638657614876175625251795147704507798635836736930855893373642344197721220588180150307576939972530822, -35077563025219868442753130417756565868313712146652394266563918778061929850545674643875022121745284655564601069948901413977281884430230, -76599700274733183386070435037691765575753774331717285193883248296499770062752863651202463647016801843139221874249592644136898017741964, -72214989602659949519446395823014821340533007337815215531436992540325353570045214318421007337790309979702749998909751485586344632212264, -56381687218579554649129481275492802114313054930197475392983630518773173213343566773951410183893545439116089069160523190460023974940172, -36871891030774140379835640764639647690975339506165465856814771149226214648490314184989562979910176075353067570941586341989407753721252, -17629704061060237637569448785180043328690804920961580006168122180757193375343409579357112960320438527626682705578101644929643069678502, -6869737162380579529450824007500447007928467991971098470627400819412626492226980258442756404339607938997902202496570963429349966326076, -215469245016354797244868287693326432389280306957743543370046299177043157416444490112244806110902576190758342484189887833359754288802, 2210947318830770637463296399574443128871415715422045598793457711116566925711572982917514985086831568495484490162646076463541472778558, 2255606462847725317666099529901630177397785122031912056540781662162329824754857822414844950540426588036384305287576543456173572591982, 1756884249305213259084001364164335800985505937433296745020454180507744837952451290089298303384436211242877293329309579764273517948247, 1014910663014100690257297485814501158497974306886586752478350259612325827201450997320408035415089030476725918107323277345450008986678, 521112919836257912951562460363448764398194993076615770937298447010198212197793713042287484216207773186827142480069561176616992485647, 250924184086693836227127501434955483461322592941987054327030796998304944220871689097768192674132140053131260565056724496652095472798, 112447578792157410069218447127222770249741617346225591157478134663632850906438536434329318250029817198695778066257307326454114473689, 61506442657596007964673438095665968071952845548528050925665420349181902239574213545187108461492127006729865095556134272583899631586, 38036919342166648220102084237469970546185012332016039917686538985220700530829971106807538474068541789176978143755065253322688592337, 29610020429893593184873612252292875226906825795158736633848041030199382834067939708611373403321813858003729142496032037829347242028, 21547313115139577193964282247061328726866596260088117543020802095853541820695377417850918255431365612871231713929539106362851465407, 14436141118114255974520958586927254378797738840466446334420425483976813804313636392387380689245566614086497681537626433369464622860, 9730531778601208535133939522807084388046964203123569194932344878429662921879779983630230179191351237590236618805749400751740773535, 5355192417302386271983399005564484507404614924308564322810346700135807756617148389972422516159959260882402736088465215524894806262, 2548455796874531976540106395883290125039370318749561676839517956694251891663810500579798485071822963295959975690689610516864252774, 1097278549726369101545327799875182572100039909478264445472814631880804825194440754003747639755130173473421966977437147504169177362, 359494874032527354956805145481839336383276091615641385232215487589382505740165848104957087210143658265677455218056412198682896477, 34506297366151711162063164619785181144073384018565534234346087014388701751628492141816916463117502697692168160316647606956450366, -69808432916281289167150342940584228456548718731330895917105498200282114208372686397747234443172057273783933567789434114346196916, -64957757757498719503902424681204397709594865585700557606401742241094382332382967881768877050474836559349875595048590951584702824, -45268220018301262874004084541954350675673474144103641430372395921770076386364482080875563989383593594340112514495425635610414676, -27669483906281202834529068765224562823506171478097012251435210237976963113682026830806168479613264933872319680989851811000632816, -13252475048078377746662402170623231396689978167294747545377099185407653194413491107093394178091137196214381873247171246066016965, -5744221544187431530642844015027083392792268013248615583583511551382895686982312090111005678857846716468430005234786449671981340, -1989659238840759154855532843010419692846950060021885815858576132636283723724629727948331547414989064735424253269206154839185705, -533523128908221153435600100012826392863670932607892291771569052383915827771279185307469105970000721625066034807469560442517362, -96074061173270755172262352522695485283530218206975460028833085998300674690303817336581086042153980410227530607352490258750714, 72358040971651957159774259487176755548710402572532522904592319838127516833149544843462657955016043974669869561063680686285864, 70573014006292427861961324053446110642801923511803825473475126728831053957872379717936029191459543813025664330605051291024291, 39191531608356792391039215307219049463298093899417250106441649753447102447133543209925499054537917353385966191287658542683330, 19317949380435878155146172820892434279962780325733597746513989939451267743748340248117755714056928763582657437375329084116569, 9363546319521574059930950124738859655267131063349979616608500712291968376145385657054840568571726779898657744773637620322238, 3990776957324368599988778801624435801332483600989586755856225774360378647658387888032581470556364169598862183554912725166306, 1123697009932995309991913672915147077310730222130974478175702978209348345757921951100519529579081097711363172122239673978030, 524030062451440213450302366727191090712127372487231115489673270714684644267931878091504469836621963122050286310295856279103, 197391909103161920049238778674805341830715304560895376428245013297052967536227144794589848139259858279646302148431500352092, 46004052246835160124539437476473226493239756466958141241446889547264788306178285324993346892340786918292538785117898263906, 34540544022219819023900808072938810010946248087748598013946908162324157816773549840466301749448387908512254833772260360190, 10178341326268674663130893551574229184880897207714520025984540819424240977255206314787793260952703774248773910291870710986, 5719073958814327868496134568088635662965495668128885672444951873801597748125798662477698958999312391346200428792183255740, 3164610383487068796068042101642505404464172068680299022403300830033185052578160161335522703808218058913234260053881566348, 581349645203169596317467710975275385057755650664105061721570971890373029900831063549026201936112365618528128561304719012, 380282148362481094393039127262688564790890177381278573364487905785352911932583873589531235719238865682676212230626817831, 90008914630246575893261913598324631482317629961310304286601903573021799008083478772259774720858202102487273750349106870, -1158002146305612594299516502020076567469837687416433617166518247448357266601881813658130873531283874864184784508363629, -20196095946501713544668947686611638182285992776379842866798585014147033317537445739206099598997834950271897324642739766, -10428401638689375894207022381682907445406773462783689753530981844805097102105213735729301366337878606494733308128922339, -3356433234936394450998352169716760586894907444917101833041901022680618114878560146544148161751015520266387380765955582, -4332880712995654699556447072002706178878472823665369676176932409124307139562553527362738978466580411129287640141303416, -631850955024808533556102192872166358332502232764109355116600488607355907255924483403824278492897419604103389447654290, -249300658978886336974584795079514106206169576779817446003663464390758369640735775455979077273119059080401321746167222, -199349040052529841636242471536755908916567644910303051898183381302856238406600952673375453626241846604144845882194154, 18967460050224236230050352174052778382390543935711891135758945296383634255812976222418232679014892573961119565557211, -9151203440615293662189736647989161438528574047648853300517896083077613094662195205112663756318226513020705487488804, 2337760965646058583978203921401498688836541236494400907065320275775514543481173998762515080069909304984956670412249, 1423079812211203869361758079242293016867695691864527737130866677191010067460247363889814631790260505876203431152312, -34804464077465443880576145754640099888767424547266521086581294211779710513681134531154624452509994529551629487575, 407259680469299996670741338117786508385009304061351376327553451404976897693688486292328621015104969648061122947628, -83833349599624872142422895998480045944574244982446220012903157701697409538767016846555806487115354608446483210251, 32028061447780686409797499297731276169252181818264205401334306571810572235882376827443089573913386916047248570718, 4883852762848192828149120336126486194559047854648366266696777808478859202006105211752554212364795887003224501831, -3848241008836923598734976454493228917582736838226948163066664262383456665862580167875981845306260164382984637736, 3377518961838105977515141227385560390649715669861174310050881239173142760881017394384225092717302072936753940697, 88438215696002182260264383635672236380060524543326012876450691250210702416479399203692190024977496251193858638, 421495119059722771398679736069225273261045769223821989600147681791515279767494988104714188099483113264831607501, 177936685636011281078974756221603593390672216964429018870741477673915930470940445230555422853674194356938846394, 46332370318393386099958818438666313947034021455065506535954423891776132926930009424173084717935081458277354103, 30203861000093371445646215254195485586778204077365191398263522782794710510156222987452631642049903411359122722, 2214984721618892917773784079097779597625790631806693430954859829417441781500044518601798233808170193422250575, 2097052170110033903255993484723296221999854625069429845235286134044764405917861318589154144452400997631535212, 38447914324048958491572833746203897438543096610168427346964774917995051895757127860223877220111705540677841, -236657343773479178384707360082983560420713752034298460890824779517226042736342657425434889227840265383755766, -27827914774147410870790990621036146066877895164385367912537790203548786672207481745756989606354923482636632, -50495562333146930876447865993230918759889362641624532656160511971549609840530065580533471813727584158800904, -9038007957727674212997401514222979592092238024423226592093992213654289393256865149812694152885316566910454, -3728109969462992368997600638402983615302734352094758529508863381752247102823211602652489241762325870372352, -932547518096843007248381627820814584300343124241466954257990833155034911962691906185824659592270285230822, 103404379664624761546334660084997474550579087963555899693450541236182098778582497625037265799179131018472, -37657341375688143145372128782640472005718051724962203649326188308821994147497023139950383486419434448037, 43573993878416053411291074116168897807454206838961023595122133051062165894480620892957879885764867086996, 6675842032774755891157564736732378565636176672513732316364537034356301344037731606451170471052013754661, 2210886276738133063318993092521563090665783422700246099095180041692175206999181905881135922228615318022, 953095487852796201908493089952000380896796407489949847126625938224932004828242829449250109570819957264, -227438026441709456837195827635327601640414321052181301619842197292728149035273123318034596670728810898, 10171144633678717603151824713166672818976155779388418048734774393181771495665775918362634773471777778, -40277631761724455689255832655043017770887150270115034943903683994236802648682083503046324146293469632, -7923571414872874191322734944666440776319760529125178306009048589373970136434020365961005531243575957, -852641885150161348613478461848387055071594314769870047476614283913716254691225403750306678344281008, -580302575706273320658273015600955756295372621462576962422916131050724892635339737721124234255696376, 379856686394047937028581839387307660098947737559854472979430554601786157413959341437039018317443862, 58292432061443106736924026793498609182160907105686528905359284042495090373622814192751560677916871, 45684274437478357158822030000782464408180082772425500735019022152374182124264287332441701877890452, 13120049501138798800094706354129102668258446552234819382353590754990643784848087258080441439806954, 892047236347982993744534188681934800848546905116819233426322951159567996805097096654117683847656, 651696092129487709411106193264907785581083699037354596392316359581524239221880503123868436223376, -294388026415763134272371414987317297801889134811187416892547260814332235993820772205376296645218, -55395983982866522297159839436888219138218107587787195456191919102192221138241244139593639032961, -30332123425444629926451051026465997736084581735612472952230524367261475630223833343334921111368, -9737601037057974158286750714699474499193183001774501970069518145618867951139683224526391846177, 32871435536417480940055606930571523228825331869573319630101863290073780603092754101132229684, -331356669831149543006581257282970086714015579402164533344888081650017784082164089627490089833, 230779919803822693941198816414305836555771425203835468779961188922433396913320296729727042684, 42731123799742728264610507219478935895279147735740888976855627388744778773336688785816458629, 15471330987050001159816701661308112279111859478005616805524401417374312091126117419978702348, 4625298086675003051076008578574571868222888227015938214295635662009145222664657644047820283, -628437878114029969756349599024344139977473989877991030091872692910087098197740536369325164, -23028797119837091525653400889922440632365015143313233371234840431675741277690908985687594, -150718613639141044249363977172289742135162574748787197166729501812692888113002758370178724, -32288331947367241600643409336337125119749520759391399529071158741547667584494747982525120, -5591242264252597777861555354348150300385547277077593917753608114914190121462654412123762, -1861471242917365147121927904423577798763696291987660802936701132955880445103284763299330, 611345550958815236158371553496108465469049092691236539522182788687102477440708705087798, 86635649083573970123268675026222394247298287968374123253937921735210699604590193308956, 70070956874079618785177560957204836565886242616712259222827747801156813784527029382490, 16994293176328386787761002835322637367729587689217886884037670680384157406819803375245, 357101310989642883312281045628994989815695387399195761605890180534717891127695796026, 694485984505439632294595113837794763439686150082122809348738941062242362873421744242, -399066422678096174476994544737741647810150985704071083480469477998192208762505361632, -31527378271741123501883060389437278744071107882623122648206512300707335832998714562, -27178484664346263443721023405521007459444407089668407272177876851709796687005940550, -4317052269002171531748748056962156749386974554753521931453555570573294923599485844, 367452484057048609334913407258506786791194133066790274176454859635970312519228504, -77399993317225228479756559319829513184497883945267897849983357758084934479629064, 146748799087478035859113067447166003436097073745757462894171253328670561948863016, 13992889786514323249889765670596533703436148484277746468819793888357124608094825, 6121220473245421373183934931487954384192359587244417240715208462747690998719996, 949791754351773511835361777855160617427345437745386713928343770827432026344099, -315380333716199830271995166230993402493973203996325250688933260211868081865800, -15350113804742555471008234713920466964865899613097974110144656948201489057556, -40443032832399669046194300336747922319772286228960356006173100578201691687760, -5083604235679669534392271106770674495910813545758248408125053369973770804640, -572311782359553803358969086561991936760677454214745917476593132041864707960, -247756143084543180875455679922494794209420835187243135070455416480529422983, 144337691081115385897677555961653355860925927836627400839176940357196950392, 3720035887487947638397374374005595235186966513329015376459722907345230980, 9766720591860205662766566685479081486916844652987190307224323753501048556, 1029150398773825293933648801626614471362642199776354071218936435302124749, -55683687910994067172054091693889055719192047874826821096633336475899686, 40910213410430644727228185048572690656498256707883581743359551918090890, -38202945896082092459128279951903498896519989851364872439383652027151278, -1008815692142300873545310491075989969638602328001315741614706887271001, -1671863402745953266722571863842130867286726515480603439667484563761444, -150620714753960586591445417391117001909831697784188339545494696851497, 43260071330460145189971123421417434522223909197426488139124473773328, -2416333979086366589865984492708940049961920062841042226980436969316, 6696641364045830629232363728541346412031445314892279722973973069370, 474978846202300377232363149555810813451289469257310764282623618160, 118884746866925990457109122278088451573329450627527750111027925490, 38295920981919660543524205135930670589296097447760708553190060266, -16895096457738469221816751820344582490912389895217973874489497136, 695603300207405583604224219412355855073685477606780813434290120, -1131048641358975008047950590625074910478719935804869570704436418, -70765641985836008063885992133031902604498485566149202615756238, -1175543375351241299843337400454168612571704209801170340348974, -5062908909377858525244738071627901804212296716620963713823827, 3059910621829489144879224426180968558884966847128451720966592, -44951545605664723398993592872406012723375128551185086386838, 131199923890651183801063807212257238951141322978650741020068, 10388303019161019013218499190927691889398938732090924686761, -2151566984545219655684173522580961355074658402437472753910, 493901347759869513624677162952433424597198970322715197619, -375655536064686990062328455224567376985501214034750357660, -9302891901741453955926062197170422348896102702182412174, -8378109676517006848898136338787773779789051784550119958, -1720771358835895586578006515899303290715269459584845435, 548383149238665958298561740293038712580914507354003566, -51247523381625676186103561436203635092750825694269470, 38331588486770539478206233114809273197150285748734124, 1833056733221611351156458434610805887513790896061917, 173284892120224931620722310146350602767007514615514, 189405134033451340873985382364713657307956032265638, -74713054801433842765517117467530799203134968639878, 3685729891208468887039230942041936602445753451484, -2951325090914979857818171011386898725790912794778, -228313377242282415810631426557811465332644574700, 37992028869920396463479020745235888340861771502, -13814328953821645368228087666140258238809937761, 6341367436866538872621961377487923184018012314, -6731119816295866372888213630152223770451810, 134819631843934063475295490495727222085120104, 25106678030450364349244409991306736433719565, -6437450983190324640885094931866437017599830, 866785793374238715400092758477095478745418, -422295536391454823460425456796933054484912, -14272822483494068755592250216655017876115, -2341897951508790703425550766391698254668, -2014688677476632557757127086005817992922, 604327319532170344093537634877968207204, -49173727494570967074156339753776428941, 22340462888929716606210373265958941494, 1246238549870573187150257864142721130, -178481022576148489054660246369203844, 105149038590227785184163593976547767, -35578159293167211228075275766604872, 1620412527709256266406096606561462, -813882211164392879306550628785278, -80838203755934484398249224709751, 20813818302215820142228984962242, -4310564850385101892558536718871, 1549666782618212178014626284582, -25024381876631586169186251537, 17532497447600126993448550594, 4842026471276519539640801996, -1342069731339371992490134698, 200078826409353263355783779, -59495679565880097801767908, 1245018400083358690958014, -295652051782858992200622, -189139731806150453801058, 54429943364202528680146, -8516258687222683455278, 2023976624265913313022, -126790116578482606666, 13933652187420662380, 3308763843834458723, -1280306125044827058, 227763161652287813, -50413480799325888, 5358053156143399, -620472116494630, 18214758325331, 13900468255534, -2886094187659, 745236335230, -100590174644, 13169215850, -1486709818, 13601918, 4014444, -4574286, 693180, -109080, 16023, -1230, 189, -6, 1]>],Snew);
    return Vf;
end function;