
// Make newform 3.70.a.a in Magma, downloaded from the LMFDB on 25 April 2024.
// To make the character of type GrpDrchElt, type "MakeCharacter_3_a();"
// To make the coeffs of the qexp of the newform in the Hecke field type "qexpCoeffs();"
// To make the newform (type ModFrm), type "MakeNewformModFrm_3_70_a_a();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose lines below.
// The precision argument determines an initial guess on how many Fourier coefficients to use.
// This guess is increased enough to uniquely determine the newform.
// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_3_70_a_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 ConvertToHeckeField(input: pass_field := false, Kf := [])
    if not pass_field then
        poly := [-14832095927450491582029231424734280560496715550059928, 48156657138617542519489631631312055499331993, 753811615313247966666178630793780821, -215343254036998938223429254, -1895395655112138158, -3, 1];
        Kf := NumberField(Polynomial([elt : elt in poly]));
        AssignNames(~Kf, ["nu"]);
    end if;
    Rf_num := [[1, 0, 0, 0, 0, 0], [-18, 36, 0, 0, 0, 0], [-818810922898010992500, -220865387400, 1296, 0, 0, 0], [-14454413561189401943886929764293204214804481730085257624312, -329678419411991881658681318111579245357798234553451, 159180356525896081601063625054976551676980, 801988336401927982640150134591854, -80126357303727372397716, -389268019957851], [10589775620890392018138484592716369758008143208475605107590216, -143852259454971814355253236818319948195991585083275107, -389491516796098133350741618241410403873696940, 848058434330038878745560438241698078, 506263692069652280892691788, -692185838694481107], [-469268048502937353876188106064749300263805878254747782182379912, 1005996293224171396273071047208892195342930774089958299, 3413430388883414619244182413269827612297495180, -1017960810863448347338202755563687246, -2492196868021078827518159916, 514221373952130699]];
    Rf_basisdens := [1, 1, 1, 20562179864057384432052751617228800, 1581706143389029571696365509017600, 20562179864057384432052751617228800];
    Rf_basisnums := ChangeUniverse([[z : z in elt] : elt in Rf_num], Kf);
    Rfbasis := [Rf_basisnums[i]/Rf_basisdens[i] : i in [1..Degree(Kf)]];
    inp_vec := Vector(Rfbasis)*ChangeRing(Transpose(Matrix([[elt : elt in row] : row in input])),Kf);
    return Eltseq(inp_vec);
end function;


// To make the character of type GrpDrchElt, type "MakeCharacter_3_a();"
function MakeCharacter_3_a()
    N := 3;
    order := 1;
    char_gens := [2];
    v := [1];
    // 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_3_a_Hecke(Kf)
    return MakeCharacter_3_a();
end function;


function ExtendMultiplicatively(weight, aps, character)
    prec := NextPrime(NthPrime(#aps)) - 1; // we will able to figure out a_0 ... a_prec
    primes := PrimesUpTo(prec);
    prime_powers := primes;
    assert #primes eq #aps;
    log_prec := Floor(Log(prec)/Log(2)); // prec < 2^(log_prec+1)
    F := Universe(aps);
    FXY<X, Y> := PolynomialRing(F, 2);
    // 1/(1 - a_p T + p^(weight - 1) * char(p) T^2) = 1 + a_p T + a_{p^2} T^2 + ...
    R<T> := PowerSeriesRing(FXY : Precision := log_prec + 1);
    recursion := Coefficients(1/(1 - X*T + Y*T^2));
    coeffs := [F!0: i in [1..(prec+1)]];
    coeffs[1] := 1; //a_1
    for i := 1 to #primes do
        p := primes[i];
        coeffs[p] := aps[i];
        b := p^(weight - 1) * F!character(p);
        r := 2;
        p_power := p * p;
        //deals with powers of p
        while p_power le prec do
            Append(~prime_powers, p_power);
            coeffs[p_power] := Evaluate(recursion[r + 1], [aps[i], b]);
            p_power *:= p;
            r +:= 1;
        end while;    
    end for;
    Sort(~prime_powers);
    for pp in prime_powers do
        for k := 1 to Floor(prec/pp) do
            if GCD(k, pp) eq 1 then
                coeffs[pp*k] := coeffs[pp]*coeffs[k];
            end if;
        end for;
    end for;
    return coeffs;
end function;


function qexpCoeffs()
    // To make the coeffs of the qexp of the newform in the Hecke field type "qexpCoeffs();"
    weight := 70;
    raw_aps := [[-144893898, 1, 0, 0, 0, 0], [-16677181699666569, 0, 0, 0, 0, 0], [89458183714343298908670, -6200297883215, -7, -1, 0, 0], [-27581035472045491267186600336, 1433095886119221334, 42214965, -29780, -6, 1], [-320089511086102697944763327090526396, -11699733950956108455747874, 362326162064878, -184110955006, 30619360, 29235296], [-7869661480895699935899559226132698642, -3300382489316124394613470877, -263119949343678772, 41676591338315, 1667157702, 2939229503], [-843045014138808529545665822487518342767902, -97660930440993175646361429256, -262565157404122939522, 536135679791576828, -41796688444476, 116930963053338], [-10969744377818482296944934134342984375665348, 426193704965174042185265882849784, -40872059781305730094606, 79485256719651864340, -1785277348280772, -2147665016282138], [-8553059943802935791450792962058134308993694248, 1703476173256221791273895519234676596, -11753094862235946519989126, -44449312520304926297088, 865228787664610724, -1616075419168768646], [130929873223169727663833376536192760682888385374854, 2232641128704138403941842445505747952389, 218934496579307600350762814127, 32828270691412538225481575, 7848197711773659792908, 1611538904981879373022], [1152138910710176424921652394593895698943491491692216, -11659750872238997654924817870194503597670, 1235535236084993415230023863633, -918430238227103910856743752, -24972948833025646079862, 6818735000168570656969], [-126506782916489447662517500327319474892163534767853066, -13572842104255036458298371503706608602937745, -894638530000241960472958860266398, -309915684076082701692534496853, -34869966551180475350001918, 6996159322562121718661941], [-4294778517480778971307922120469055309704361687669515654, 6865078908603881958706517205094272093684428, 21013281410755309352250435330081282, 17924685418820894645528614446536, 712947818575500611697577316, -701635950011006085126941942], [-112842558506426252345175768177752789044648156817654198140, -4730998764625450414201010845428635470505939036, -68297482109462718790651716310527026, -18006629259981256510668784262904, -2075955505222789973494243620, 816383499307678203394909974], [1266433234015408837299255961447498130695521535803162057120, -113780070934770235259431182157636060398895476960, 2873572124232014869161170656719334454, 521339699282231297713786485590324, 14792785317035521241145263172, 5900430238788355113886864074], [-74841280816296229675494169454156226371192976495641806743138, -5603837535564301394024520069511724354163438070263, 1237018108699939307855418444364288899, -68274921433857866544961831632406589, -6291065363647509939129795737684, -908573481761716964306730399442], [1623323337703181040688814381791394556362536776902463764098788, -21665950082961965680095665982851023183800426680900, -17285844428110310474091445680802933292896, -4574087740647353334411136034346676612, 340697355540740484667899353599896, 96493071692950342855229184911676], [-9885855687719035160524180689534086751110943657887187492918130, 608879556394498241248759424094129565404599366429011, 2134296288351523387957035787750407646726, 27614266070136287803484564032292936775, 562754903733383532365578932377154, -59973260784720798827334968127339], [214067474272847806421491238716377834770606156976347260285718108, -22966600890562512171943232917486962943379960035718084, -102102364865236114081364051151924121091040, 135579685053335890076043551654502752764, 2333118299937084571523244189542040, -9048140182669464168499621535012804], [-1338151396669790711227631822825893287954879153030305837110360728, -136410017634816176028916000727701827537930221920996912, -5632044449486613242689396121717643821814694, 2512903168751886602473502808581296875676, -65181214910151679692549622008413956, -25015186085139928441704474193642730], [3986277821233635632249066779947692792174366850762593698234626602, -50644535752972619672426746556158061985425601504842982, 25005314983316054846987356114718593416216540, -6987586051529410591180028512359533713566, -243979336729632010166064666111688596, -284219572897646272941515878386521298], [25194352693037550905994221764883155162039739866799255709611828840, 3934330958371108590726627064356356576461938230167249786, 40918119451670716051965678616204259800683989, 51226669269079652119787188602961941007760, 12908391222396798300601638160757735586, 6384514947551836848201365828684172389], [-366644850085546549079496609667234590309765516680344826135623686084, 11793818520554735925246679988822220043554158657172440746, 1033407672377887915361991368759083079611566990, -137826511499873147135025606692386804630898, -7544195619196196987964633524379577448, 6535824880341711866444766437611894316], [-1114365699365751179945054279798976286384103371066023090774756433638, -104713702337572054700389828759792650956621193169308226328, 27660564189019432478597014594077834545384699812, -1786738790366200493656313543415252985735776, -67081640466255836481062269785678089944, -214585482286802735014937069919855263420], [-198874265222642341603176050214457132260479273111975863533260216668222, 4586331994213810026813664064664615369196248406764967428820, 25839416496341415829717619286789027043308665308, -174058725683811984301353068004389043585769188, 2327225430119351494005107677927622767536, -9080706616236849869877831905822840262888], [-503364216589760640983350553127762051564480641576624315128133031018546, -3359324677979028410199934280518370329324577035884083680347, 1130037485176891663697346426588162937047001364531, -37061788254233116024646882791215953338092801, 25678495176286230257805274531200666463780, -17373998224466589038439676002237061747654], [-692980757660574914586387982868126719689594516684734928355560630271840, -16677097957363430096707917748336866902953381790866040619206, 2255739071763897924988992799312593179158716546107, 909107274493255985539394985818780339142429188, -66235176949543949752484295408628599321978, -17343364592351150651500460182467992122465], [-7483688211359801259853314982684295093298621425047123691370434003093100, 65131161948763546378440909964009541020837693658167236723084, -6064388879145560152255653064651747345279111504764, -3582975062460017471159603493797524612493830012, 82215367536465861551839496863280927135696, -48135077878269605226742595412724987020824], [-7214898207743601837741517319232146496824457206343462597457053886144978, 348638038630890105600327275177922614369799739391755569406035, 14965005450681293038860340379488959590284094947424, 8877713651743000055015508361302094422413107219, -501354685829624247910660874851590599995746, 27366948183855509820470966908919462175067], [5548139741631597696622703227245589713586034045202084977383807849219986, 266077438666813931019608589055174422636251826077737206038212, -6850560510652431976622663093977218427728002016580, 25860161136244838386572968503037878372817852236, -429112521768194804906606782209930614482096, 1218802906324069145111180026033497768005800], [2114230742320871738694677412584550142049607848794697292917785537733030408, -12788017182333189965664469512636423878848813736701088037850554, -3753647552729833072537634766060549467943311805406621, 803073503384686533440720212821839920893280396480, -46578968512986747918176923502591551357549458, 18892906800579498974518519805963283650012323], [3341150799267487358521135086090149896809712723262333360115796226658253020, 244436971456163545704967313613298549207030286105877769479587736, -5427501191740411098571219818664947437311551977416064, 1612849815737120162569547595385792898577826226840, -30025691674119750804105213810975255407390480, -99298489577673324609725984467206063271221160], [-15493445883806335922197888972577790257939054669957550538290588303398175558, -740880936213157941563008287858788508865272687225379873469217260, 11126429670255927718958865923528116056035269231963494, 17529170059017814723974133729286170069547702156872, 1107541161147414941026275096992647312202722252, -93115933620116648666450286649408764027867154], [-17673553096003554332120390644575651716820457297682679102400094836999192492, -2152671344399147834983556733653931854602884151266601572945521204, -3341049508891674136098707998552985699786621870424120, 50348092936044892200767273596064298310742990619196, -1711082305987481291837305353968603481857516760, -2355312642165273156581428097761358199308022236], [-430815410242971535279446830679502686084819758819009174274437272631243834034, 9362680406446602592185937046944960284674733943910579652634219049, -749895413292431457041350478665039058540129450955825159, 20234798301876211790356464911430667585564216038519, 17612525657776626607027016929159199319302494128, 31339493098327129520915224138184604194948916408], [834767233322924548579416125476477018859249581686391399633634384753388436832, -2611471002700360620772159998202012040365138456602881752165202810, 288128455807584261855682190123228950969999172628777605, -387158599022710136071240801807564705396250037030340, -36509516222120191173786813136043321373077669382, -69058579732083522796180589791174077007850942623], [2608695904681995754666780552232296404725959371097374873991138805879161952462, -210092879484707868885602663704333520663953726087376688592459050257, 628910724620227798723722796235695546918657060726584850, -246247540453334643142534208709296911886667047014197, -27459263936554364559228693244370503606135934046, 33242728650079450964813631995209220018345398533], [-6793781659683141230165171547038871994033731877892778269777626071926422617076, -121544881862392717140353219117021084902311365746947362059642413588, -12019229122208358416826138813280067707970678373220689010, 6480010167255274227346835910811809421373096990757328, -434745355650545860280971632182107423068516254292, 234913539353546185563502408266766777249110931294], [-3027278718100677323949373441991682838382842265833470545663132519954972499816, 497512802490067415350860839124795994736711357509193938685279937448, 28233512132148709936247092941136818329165938637574547304, 15015923859579697881370629919053797320099013522298072, 102697853247410665672185214413785472505259324800, 975108048676544652484391919747873689179048492928], [-80255754892567499740723734323886552233308307795367062646121563505365665538714, -984553452131871398504815021320012694474028436577146941386652060479, -25743392675752397234195125222893439018462718755833129227, -1230345360848715660666357578190823963647432503316201, -2033810800994570072018708747547937787761663945912, -3159349464233692154177608731853472780317259081132], [64743108329765022991445428393362478298430759294990372152073840181782475337580, -225007838567655356971235903421193106183754675179366900256673889260, 69597166356739795106618686977373066873719691400881205024, 73605647208912468668479792267892000833793005561466836, 23643951534125215506918596472958137777821510696456, -1233759104702025901883341716353851575217440713132], [-15237967614740533670695052358108321368379321637225420031971982642785166056234, 25856537140099503377756415653446944124279929770055308723088992678091, 179751099050022823597368057992110271565002676854390604584, 83991392078040935384758004288474946551992889053483771, -8665021137783182720133951036062053826647458803586, 19539297335216131027144589583636203399392729348555], [1993103329269310938530858281240790342675938051039207517300334532246223415521664, -12842708642441062635434533706625941833880955318672538061994534227372, 6064859313856258676260994894402295368774272232578826501088, 1161022307606022428845025377189415067998378370662644372, -8392540121065343698654457446644095512385357124728, 115053160117853520508857339450665907110903922680276], [384116402765768400678396849949138877850626944129126960086300727427158255979906, 61256745950961553333732715855698720774189717953003851556651428095078, -3816411378588266028828311676485519353835730806171714101628, 1321057580668997520891465624996080972411161845457382238, -140028119563948053675230911563264775228113868007724, -602027957016402370771072315862054964282513111054], [5557875587162280784062160459701812365345628390401012143843327864130314567876366, 281673087535868127697909033129442248471267797113691497115367961709529, -203554231384419948481294448390346458075806449321642929489, -2039498274559436102865439314494503236277186953941248453, 325870677460551799087439053168545440589036874874836, -55221363990409982370736394744807983950282046095598], [5659260235200180846757063958126476881043641126238216061310371375083489097586656, 513773736429797145253120365954475025752811789608728457859850667149018, -6295046481644778385609520025537344301713731969450162792345, -3252654236624691693801730962754069798173017701381793204, 290124121798557747449595645903723148921397307190350, -379742923460096069410194299444986552785265586456621], [-39289973220577829001360325759678456672993672849253436880234759927155754850151604, -1577714838957707963200498213201438241349132839446237485552516647051708, 131651915090634439162267557355424130521692089187353725776384, 18925200070612981299687412965025422273172580915428598340, 4846128171985017335358012890129504353370843067888552, -2043725189207237318857270723509995128997968447569372], [120617880390482618039523508058001090767788419278505281990632146888890823450818888, 10307908423588983774031919252309860329536666810257547088316084647349870, -1148668076349030130504366087517705535308877401506418073552609, 122861194390430951686524274631314427853757535852632520560, 14521979065002061320202252732900155813494597403582246, -3355341693157260348283068234857600020221857293175921], [361497613906600021934216151016638255799963942756008854343844934601685520480716044, -31227268853796570124850421961489763803294654556895468876668966290220674, -314014288188116578694506386088189046957408050923633444606998, -340167604492710490202692346822120549404313191356907472214, 52403436438142443961444369380836517911025221410608968, 15094742849826498669958870481540258427360378670241476], [1119944327917193481524720875861189435136385088272978112880088929086324237048528358, 20051063580604583614155985533773789936875922710664095213109849310292003, -268394298715288015527553905985377884987530453529436660712108, 1222464577165631657264045439658207906340676335446203296507, -67853090358903766378736526449517392663255219484159882, -1206921366389959722760143025413958200897174083892745], [372134912003639233190539776709534959183905809947232605915171310618084128991656810, -128567890449588121190285243555599723259971731234691414029967228949226532, -1921306186380336469162032384314237333078071495886876123694244, -1559424463420212036570942728917936648587154482043418749660, -157732559252693751079415474005773522289773171345733248, -68106020052885830494062158360657897229180815907936672], [-2345090473310252661239138387051479020912135193622906678795668503216224564445674448, -175363987863571388311415888480865097848798096130895013135352932764403636, -2031447440945320627913635663777389075339649109473824500404556, 2321597718250397193547966800545414444892499078626799571940, 328622073027247280193205846512561055206382793337160496, -247612852603773819884120028715260213460386728949053576], [-9940223453644680202263397994778540738137575369586571844567044971526651053693521006, 209807346022298459274563821261252422397631060874413182632226157170557922, -989601488551382248541068300461909927808854249890679932959048, -1546921036046504003393354341247312701065874681962762480526, 11839634038908628526452540705645217461612892973064356, 261603727486937832535645399052783432798462968131832730], [648359037714263550374585765154221171053009486492169683225826111332142055490691412, -624987699841406731697856523737277644141602436422727589861393200272902226, -27483555035882391948192643768825902184057257950458067905996946, 12523304968805876927619031679595855468465939098489960183762, -1225780413335610110185556875731374985001274933355469568, -1008237874097376207824625618698667145201439084747951824], [-11310848244015002214582555429458054621649114863555623852879756926966319456057897470, -1405327967768096555468126584183253264680351764460007165388803036727654016, -40776229009768813341456457402377000363182837504744350366568736, -41953335946560179502727988216302452616495221662486681258560, 1125442376551443453571711543589980633094065140159436736, -1729944101525809861107484141363610649884747025905150816], [-138937625385051511962198005680726778761167265427719069627747849688623926699469635336, 5730802411827298346259536731457113008475516637172093001354279856596475772, 8278513330888058929437776841868651919330912418130164039806264, -71936010484804815023813927894326980447582031775105935250676, -2541034476521316244386621218066432461040766355449250520, 6126196404870757428985786714135865412967286992259764196], [-218827877093060144665810369882979257218701580182435657451442617976296498116692346058, 10038245146291009666861094452202381361590025342721835540598323354241136641, 184717391915195844034150174521109556517444603701299454440133127, -49877480604245497806591777910984072441562996574859092959565, 7619238077007404135823697805810205982907567327392372788, 3386603158365611227061368878373891528420990016413480482], [44174017953356477511885528699257698912370743821523054621946490764089528400965872344, 9691997344498297821383328306674993736454958832418927965673808556945770502, 193395076867822555097916321091592473399732884460122682749488055, -340376029197049604110398474455182453566360508573427361657384, 6506016335969891205816397713534689639572367872324603302, -22978330098503124711712429167585441016339803718563549873], [-91005600880672317706122596379364737385890708955028270865037416637475153735393993674, 9291737589902766027698383457715536141131088204654310325354663962208841467, 142313016395155948393579879578067246464913538852682549091193976, 772668314979488447860229186081801297273047629906555818672779, 11461526798249367765364710210140813420776060164841890366, 41199619346824842301297544430459031825127985129879977515], [-712195914914287388925873494046602003558756425021650205535427291050833431200164788102, 17237331693364707360898911088965825608138447111248495260026192163250911020, 167929150653996111293951480320653074902105301560337980168314712, 795845226218257399681481317889608466971685918192302294036092, -9431543869043643970883963056088687278217580158372357944, -65852185888626543361225133533374302383388816111672638988], [135121743666402301368769039796098801364710388872641612655321433628354550591680092228, 76356769778092896477737022837949837877685432020456242080331164384275060320, -2683146345842470218260026270535586648075632863506262545064358944, -1346374835882191521152135623010313959459625442767276094883680, -18227906705778392179280841563390192641429763721413102976, 18268354239289226662362231838659872503303557277197888896], [-4388378504384481574760073124640836164832980448479951613752731493755173661932271314866, 85431468593559321651011764720871778347272122886379140209870294291931747737, 5440383859968750101176018994175294790633331600902582166499173731, 5266980542870238066419255709381907505284211776295355320515987, 322043253716938951217337400181785131576886453102188950028, -274136176441001775205436586394926098437031631337254498210], [9618168912936952385996952858436776496475399395379702431947444488319222157550461256300, -538786819771318897728272844007905804891251458785338918003435654368681634772, 20185814316079939094844701591286440444664498159961707495836399520, 11343051477097513658208089579763487289851442881138907643288300, -169259284083343147782103803509914751216165651634278924040, -1924014208054659774640994852991447823899627021197524699860], [-71391639594067799734677744509698627314397124378251878425077483327123926119503560532056, 1083580932001259587673844987825232235835052421036971246527535622989688579492, 104852767682716873661185103969871878871617588461081505679465274284, -31196413834362238794002887875299218698910319111105244618795188, 1838741700167907141817249400075379968855933829925951351792, -825675041829627640320111018540396710790915852273968948584], [-48023018414232297707405350697230307100615602067672230636965355097174575024415367211686, -2407106230736023328467602355078172782621635735107785662715215961345444255922, -30898420568057342451025317786602603087550226766188678513766230268, 17780872649060590360541683840644064569511758491350331354067270, -2953131158273558497545041839253891237582001464874496931868, 1945082676889330811781759694960694397190359790969130267418], [-76565874194589006651998765027594910831567231589985420651563029055330285839461690410170, -642103777452752398541146185716461829998160924566813406177826527028203671047, -78313089880142995735620438892219573267154957789296877771419290925, 95623000810755113873217806717219320061529883933646036226482195, -313781506918960505877104155344540294356954400670660741332, -2386498286887762427515873518686364485186214976823372718258], [-33650521910537187129048368137336981288489781871954501376854203952187456338792053985868, 11366997314112969261199013803921205979516540813350744641292193417212144550436, -927137798850269507347608029583668206366254913039301429680562249196, 160523483722974208936561648087303586392263276086497741703020540, 10731647878394511558613335498494970678864773941512590995872, 6828194693546623149466350884328178097351033144307733577008], [-6294266284867322448345399627585347656481788074643954173751273198246330704746481856174, 39574915651635194637821204511830459741638471915790313551694210212078780896138, -137743424971563742006140193425222241652820204081241218255867918436, 700289780256787607458694741160570195427362545769828846121381970, 15643569125109736844257620117515453486560283521814424692556, 5652762706765749234756661030518663654467968938215899632734], [-1797685861682006989755385245251200687137389898486540627810903126557696898838422923764812, 60126044172532801907962566784711340450555222155759766284659462589009851709530, -191343656447074447369577063291827961597540025473965221926388704786, 569769900131846054634577774022417510121981488814305632343765886, -51600027499494896769999374242682435361438583068334398573640, -161996515773322493354635539630410173560787762780873434568196], [-4006387817405872230787665465033840138681491708632066498746056830627359767498090566065106, 69085585981102114904426668236806323958571605010239182748133418141671919807531, 5296639689421611005553833372035998775939270502333294307955930177238, 557954352651810594563430066730620273166590144070119100375387007, -53048152862136492757580367667021436366170326560135810367726, -74153350177852652449035739457989810386326447151384032781091], [-1987410532614204243268616828016289475872823228608678223808347745820733561013330444703422, 46918016144202993597571730013237173960383789594702576791898545003492210726628, -4074086094455923219691282460029906860882865389447695149783774190756, -3204847379667807718419026640589736960598467678233795534688721876, 99661215494244546551176401358007165883494579907634767506640, 268838422702763720900159458520118941159414351718469314212136], [7513380145911761729816900006012114957936617931487448676777250516520500172456676045281608, 308604547178151201951375508002652502412099429424048982303399638184855984602576, -5332772825574499165674630525538878133392666685450264644457029883142, -1387620126131845397834252339550769989170780722512039891130664612, -86670378651514123066594431167618506874535650851449282814404, -67903652380395603027829475796776968463918345386227943777674], [-10095037736217041549397242024381052206109258534265480806360913814894983172997918403556824, -510877536231800845753367408639316407826978034511687262157398733533479600983526, 13198156764535572513239349328887908522741542799248363461951164553881, -9776664538127858135814726864864465120609144391104622192610561368, -57147508596167874819609071323731349865939818175015820244038, 513160705673544768642831221290106999042115320011243882307201], [-6148153077458512307387238713332724225536733492105505331165800583507761255660056729272090, -563261098657911632779588118940047767218945294139290801483658624236240869144261, 22064583213067992685450433578236286829925677686139396795541230162542, -16877243880616514614431615656240704703755963348208594912564763297, -775732609600990896600321707443048746798516826877240812254270, -1052513689702485034183978325881899973475681629904773679719083], [-48339556490007455194075846030221630986923585697856961919709928806112517190891741091398700, 339518195447127755365373891348899892027708971853219178628019568176486788622736, -36013292973241533865165815931395956121690493156221213062679005214478, 24774709193529982233487740326478726597444240060344968814442708652, 2187444562859443356645959892347462987026595491272175108803756, -145310000620150382345892006575339143935750487975251808120898], [-98236719442894211671966195132008040725171599736377224997698038484000999252012408633061376, 685248197927202787948847905957117700610537860923861806015203264851135632600868, -21718042122516168083314111512457107955623643090530568632839321027368, -5772191685890539021350789600444681337372158436684972300897682060, -1385704271741546146541461862409666506359504169473994767308040, 172045428497588828721850841647475990667792852124563827401900], [-80927632527760886510118389723846733658409596505882491867231249439687961384401659760331522, -45213850313924679610157284278248732235543976869709967514334292170882986562147, 88964935725259084914873054367845962883253577932294399049384439074497, -68327378920247336870394711055846558268212479593746505971317444773, -1913467608583732684441201713243357428864619608652145354864344, -4919971369205030822679222779433228333920411182432304980898748], [-34273476545341185401871121034693836355935192706962340396359772550236508320888902596479650, -3188310281523817782511107435183209716563108846125714621060671807025185839071049, -340249033616137133601505167698728165240518964657818707525732277985402, -158916519283379147517071651151008050689441901024054233883141133141, 10256073551629223526702126986586249476071874501617910635965738, -3717893037743964123535939829480887765260728644772040597120167], [-309056202271767901703849873448667698031285431870882886145477075632112141132314042230935550, -11698471195908306078793089614917572843369560699575103338632450193269360733697400, -183852371878509000506557923105454610683167497178659851962560667864566, -115106258621635713935994683014354786139662386735145676256553843852, -4315240653255643423322998582866511761524197190251229599754516, 10434124665335072165708169273572966906569068507491524331448158], [82142375982489067938969840665815282407170580490646604959017318433479082615512525208335898, 27154023660126839549093104464485890916724713353743612724311899488346918793511180, 628459770942509675899080137935537395064542248072294125851199018471140, 401329742229117570561294411931266577304050962129319484631335846212, -28410548267268189989046567284935003723810919756645819805974640, 5538192484208570388227207931214203612577979949316965941438728], [-2000377328944077837276682895278785379748197540304551472327548791511625963973776854960256628, 9504131481415183197358190113492139787591174439581559484136620327505319622165942, -335551591846776668058161466502171616449665766074361095516690169256526, -1347167884231080054519312056172695694824758697132385336827913959598, 31510426332858702790955875214023949658956589304708872884237736, 2562702643535919858834871726343312594686960281698147372803572], [-686825507863392042874694251544036708774724199285002498657659406418936184879471120342128762, -33358325426596619645088433526648237486111740607013610774143557698012523730615677, -971679194121805321886955405867517842282838374612576221806101962513288, 712639455261177769756733271082718372104279301303133049687531811859, -111555983983630643340867433872991007589426386486985143643600882, -65066731119413015333999715499402984946777648885082371540691597], [-5474015552382254929219704764962816724823193547666374401753990006376232064489306198604907904, -99782503629399722866036886662806003889870642787867086129302731407089056749612824, 2219765571450184539715754855871591354524547568972922522593319948529882, -322992564138608935147366294746637052336738553110660644925153285452, -241552970158886210049005175493605626730648899829179630774830612, 6991046416648320323395780167884669722435989342215579819898094], [-1034945203012092301284934534124730867528824635467142949956517692071161331733165680250106446, 132665336322259956052302044411925048594560922060465610023266404626859338697046460, -11539529038944186545987924369999962123761465275112594705912571212582496, 125656768305907758463242558415415961522584996557673578314126024316, -31893252551793115307695748538601286123181233428774837279629288, -285459317108039967375682528165315917780938448606286570572704708], [-3451400494610573821043626275715027298704927064910382636346623103609597234567920971845651440, 67284419347589075879879924867336482795046287599637246449178643744960590661430586, -4193588938668322875299705029985408471426160760987560871790768904263357, -1181925445000494491227422958247571952274324799853277910158724567564, 42326257737886831464779707438118345703928434752068351128572214, 606584950016009965664915885298198850258103462478059886027419415], [7022892564526883710116351327387676991510411176118374350180099566816859772362341309950091988, -61718240930754482019973352741696675142606544211669541994008690241999002950665006, -9543687304395241122534724318419948849680516523248436438743381620633682, -330370439448397056559605438267825361203459489572517357372198743946, -399465676547222664934911913766148053091461224922696587993796632, -376514181645720253013271393390746740352869968185995417903066892], [-2550410234574851321976273831773476099997794686081540072386981672956920422808263295991034094, -754580542064721647147663420211163740172209287269360294584652094589126309969987064, -13472408155768487939764581056173006044884031031180017408668763848658202, -8210287909372791664704573225905819284345351181836074343952477034180, 31558570985039173491758474977706921115501541661178682521044692, 89118885037406723668143004359139075876537124029770747373592258], [17881798368950167373098211819403505525218677316957740540490108334385771978230346699273145674, 191482350304951056646240990176104374954572802668024887114156260384470506105923156, -1034957249807466020554523720847818752120873590840178553491659745065364, 1055851376837670006438026429247657344983886997324135635530441785212, -429434814047015848567703383422922509586015611472081966341067248, -1924506619910895525580970773252065184626208930142446950516893944], [24955531041530483225734257874568819681588793544981707168726007631535536036434193736555859782, -436010636371139623811862538356609948275477481083170411593058093814897571274906439, -16175596814491595193410988055999184478466007294206896861677505765768003, 27899276884036403692675189667060645395189376153120848775394848400767, 62346951963205939929413740716181012734977355895648358491178024, 2011521590511125509490879457302693561216856085249298479542131524], [10727288473788512515202690721376770361922872731776702979430203169710261842152476205417768280, -455260808742142713553757339421238576981367758336090736757203493336572938969020794, 66709834296133326864414266254981135049796261822464972323355639487063183, -56247275097057068086415746072161227184167280133744826305925110707800, 515543048079930066110972865810574680032382496190436314616443766, 111792942525934733772465723903592219713000443048094174299763319], [57397146429192877601343059876862631054673653191002705417647662809390043656884116586065703260, 859520157113731778426312501407740696384991195614230977734983095213051020189183574, 20416864054951630352708405997081491786358426821454085804783144334436274, -69240394168442821246490951381929856769231941647324388466488158539790, 1134848988382066292578432529425979911028923783189326461938534120, 1921099044965940563843050176921271179072855011396645509877884820], [255858847583470661495133866225223269187107284378230787126100822364154120771174220265167672400, -4887204597788751194855481605521867600224289416046760993751498705732456919572376524, -302837483542978819573207047372457489218919841940644418990316044378088366, 32454691919649581556532115955885984002744121267237534556936276093200, 2075594228054668474172133386323670692456742288274859029792112564, 1961716291633964345660198795818514846560366440633592650107641826], [318675494994571779918356004861459897719852484535881360632585912144110038542599089794614359248, 12472591666248410163453110700021294352167688091412257276937464081971718740973542734, 3871816245235655564425211169034029529138868203019791743372156214664861, -118232536693563106923772078667462691676764790490971362650632817435180, 5633443909173808085767588157219828063503199902671775328673368346, 2670925668098153461893208250634110599387213827057872978117932369], [435041753995843452828462810218236433988723672233311669600075586072243498055774412168718757780, 5289488505963789820019892635094082172852554207779834757073592628331776866867708112, -194861904610304062050061679869154725768264017638335533894284307831261796, 271376591046623219611209748646096422677921125221528927505675631687576, 6163338347410517476452359481015710379661605353221237937489255176, 2199203822958054459617312134402618916126923585664344959119246708], [526417112577752908863015364641308677945895957287419799887184931970980959405246245729338232812, 16740528648587545355568458092717374278914854162607422690091604011462507786613940016, 193459446749334222035103091188092317950964470507323531005530405945299232, 34406378313255031238144705379901679258698891167553743370811125926640, -2385127720352840502289275475360274661324572073337448884749173472, -15318310938150277754600088025244264865236383572711570854008197488], [601895108100768124781849937359832114094412004498027565622737262791864676527067549676992711928, 954132200439734203757949713041393919618268093669070904657102281678628674717100192, 1554743615739083178077398331509931096563592440543034704155345824250081842, -1076001647963652273845302740067249131357336275140415825780990446433348, -52432918537713422899513979888759406666074743138781667535952321620, -27837905223728141432571600154903508494533490931278089248641636082], [-809428938066772853555615457784994379329298540837963194168631942902033091760547941294909866042, -41610170193246286076045284978056727882115279626790721449826221611506547750698167187, 602548307743915203556777464708138122917048799496414665696185444752184963, 289626305166602023835596860344264866398987575181649585055224949837351, 34812470611963965461030223111518576309787997005694005464087652628, -7263931202847069263709091536747030523836726927670598566797522574], [-1324720619373694139055579019166176018236433990382608683704889615348452498358314057446396622694, 60789788232242522553790294696240089798706808099810951620488940537825098620409512368, -2061974877128272880958685330821220643659444840766053041301337883776752718, -2900266803060433942798153670060539736829605778853607055862264993073844, 6134761249031030058626434304404552403671101737985830910975481196, -37038199384940154856182638598912791940651167352124838385913321442], [3232407591328865809914324029389533976956629370298997187980076121678888123066030421165781013700, -86571363909183409907566215773767833623480945944590579843691478421395397342276378696, -642417225438526700356177161036723419674489937435576479439509540342575918, -1245298967456446712710539829544309996841043115160805915575478423500012, -15440558504035574619532582188459724546405850995256743558905523716, 93034392666690866130978553372992336749660586050232748412700587718], [-14089331451309779562270922731315706138594469733204505409131770173266389974738806322729428782754, 408467790467503950075157624794260839540113962901751801487820407346649162685053172367, 9165349678771859055311634138991539129457333810410132636151208077458813824, -2219158904993901391330498544551201104495510070759333600101810874549745, 206906466713233179693889994119574098988074217478514101264173005110, 240457354731171525451626660931624678670098626139931563237692893335], [-11314032291780872806518123245679204358320243843289683478520505602884653047711936261148986256916, 910732769462055809654137551636526535953235637374314693299698588522001340472777872204, -6972552870354533529651161699983023683826286182919160657209477613439074174, -4263069194173856479249588063664481725791917813322796370040793976392376, 151931954646387238411282611538850221643977872104145639226648160868, 517749188184257274770244087851211846700041063908345383341395126538], [-36195541022071451204935381405501051010220663189404552926494263987236771249757098134700974964602, 98487296658146655327138296791001100600212787867573696194856486269962110430959945053, -23055482972537797555376035685909977217844062668028138267380447643498657191, -19155466859950470099709598398810355181657763870675184097205098351608597, -1491672720787087327287973143658066666677359121235572271216214453128, -311658126286234663704048769200281488912189745576177373961271477780], [16880834718218184469273349887836206359807236482715484172716115835936951783111702739480151428956, -2003059026678101708202080564616084001501028505000392678126734407783636658472750761194, -37709031611575872875360046667032647759796923773785382627822487987368499642, 24516313530737040058788969031827524225866372847610308511216421303444874, 1410708605956254086814482793650025211046008828117397852835191441824, 705064134812348670990378044686270182288583612616504166802790907392], [38215836114469338345137549129101539646532333972847393601031229256561502656557370967236281167562, -735326312520550365619347622058196511012494893656168920661536841142394183735590513852, 57354754571349427241526577729655640883172986704886650086322872897924922162, -7008482042322010820428314777674694804903802573645443070686812904944672, 1358519867297675689497779579207322687807947444960050888732669621300, 483194067041421433828167745304492398912205261829644866693687915922], [-44663008660866802074424032125853180104338914154978083603283124521730369606042484215902893965116, -737629244851809911895303024570773638726015251793966115863286106237064466762633517584, -97461242979855966037402738413422421679375785506614530321731268249400579476, 1696951748904148256626447976055493711453709629137942727097786876433688, -777630170582358660409589591203058894718291741504854960932269888600, -348126936229015948717647578162655531954162778711429825927456444988], [-1650922862988650284606768672720130399353290255293796250474228686987575417714792760241648840702, -420985987655520370173147452214947041241955522699079182924289227272333293407960674802, -44901968560387062739015605921717752023839546804010615069346921364991599132, 40442152011951289754945345616563022711464612481896074892989030912915014, 1336451852615899149313653801883284984116302648830952385354248171428, 2813309559360842196255987127211235794977640389207278505976171545338], [-133279622746019248756739593655390352731293950334425539050276565731359027949417122911551683886860, -2556367459966601916705048804304312911519058151041755155010066738367010787344814311880, -9310609049760706735707375579342392110997119307334581871384499637226522700, 39282912169284286999537119327613972182349694138179488253695756962027728, 1192917954070264176232410222660568644703966161593765490252208582952, 9834617165734175414659942038959823838673506885695979876979179259140], [-164942420892138871133065189250834756653175802933447262228859065432109975935950926216528689874190, -12159278326292983286153362397418359366976165064321854292707599574331577763025129536060, -407102619636915158886611630100057941167117084482992176538208787569309405828, -36635617539611041502318565980372925975170673263485492010128803566922548, 10387817310069322562985468430164923842761039976548784924724348247760, -12014485258856130853272051600523561589459621529170154551702054917912], [-144123317734004147564479142435559907275600475042033838545653395631998499447627972690983547487944, -5891611578816857383362965791837914673807328096359962480375887002083525930134171192444, 580882529340030526511145894705706194348385778818498043236158027658584331142, 364249279588697426597956515943981992289229084803572496991411115097412856, -15426373027987953881432481974959990593097926463692456548750111421812, -8882344327421073386343788079770870793241120714678952345937120936514], [176524124060852339367557978658717102258527277595259273540042181413673948542971543965005510267834, 16145353178289558824007953830649576686600489938041203890131436853215085138311795022390, -421102820851117808852014194565199338910998158913567019399139597907188527316, 210244924048967641079401871386486153207228206320079539710533370243970014, -7573425857445565786228098783299776403011150060442029895542600448412, -22282231482759190229223852272985595995962502787898429897080675618022], [122466458666336834349380552338181446608972387543983141708451756971937681984226165083035043016808, 34159985849588426521873998157390725523588724276563961785064045751891937228620398790766, -918329668074071899939704981461327048292684042615569650674582562434473293525, 423112718505956212735663966134421905401381530541399532453902098682557784, -3143496101834946686093829899088889378641464247209154659764258200786, 3312627259550902923028397468214562913609252368021521426229836140867], [538577116811597011056101005617417943742556870543718689447646694769900052177487101472569697902166, 56433578595554773059744812924170159988977537774075612673085353593431587622403367369331, -269771144946859852809053490744888892671526280056020041255034430985672855802, -790943456182231012809192521791726145724811054722976311772816180182993561, -11519499509371184875751333139555028458512157182437675564348969869054, 6575014508139037223701231559485594303121313379400138568370010572725], [187811125312207187823343029866846667705041720029572621278761718495225267817342247072939081988682, -9911973609043161857812397643356907040520947168924947596139604200371161483118276516844, -299818769297388472541035302349604397044595952476071735646214599465219671936, -331963309704698859241429564768580749718555384013163363093288264754173164, 22949118898355417604147997691914587888930528327129506205088590689480, 26440047980807663071929418551882996696645443088270131645691841559284], [1004081825456808918494142837086818531652435597320291394576093390185416167940994123250419815895988, 26514025470533723138743602432892891201575397548171455778648850204851640104398814784960, -386398359006997272189618048102239039443232772295527743695615032871719174840, -113938502687633920394226188875876380351495955433037807388185119723530448, 60224913421933359596695679123569349226945692127152156496076204457136, 43911139867475748497905209744730970593013652769941533735700960487672], [2679811717405927365237603291054405322536238403701048961314831596002359819256898249954738966399872, -28664372772508699833117216802456198298861822817375745365422556092081647350315770472930, 2514439652984997918563549376822999179705519051722904762979723556921630371317, 263930680664716993020501270791990502942343991652622668812985499788705268, 47993823803088341677496429428686005136324353343383062446722689247562, 23136985973987897335710694945865315568280936806734443637023326725065], [-2016978877967643049179441031923562737446317758678004350892549744122158265886975810923558125695854, 6599654907634985765453919093305533296927988800998796072464513719567211473591014279828, -4077339835751489828416218468536320882658954411118994520520176567564966185786, 1572756549914159539774375745474608888037358162127621683142366654994046984, -6016759325433235655430027412991497776567833689418103449836315633652, 146422475294905635685083956758426049118459382187910561133838304777998], [-6144017765843335505809125206591586779977393121929027457053334354092448866575203400727963185479860, 9152117383140704720862492620588534228415871143696625324555145355006895268400882979612, -7635629493573968015673776622209882331928438178524938556807876211326210955734, 2387093691301659375511017583880386824280909923812520738710592032007780296, 145614242479638540793317835401690219549876137830516538982038105831796, -34386461420331067039102069176032367730385875022859943323255282546382], [-2877583672272289240732071148377765788119129264007301094131518279420087554534847870995733521886232, 22162137004490874330645053441359864550757478221149703140471053141108940600232690920292, 9988305586364189274840319393039200061718091834600932003931287560481672978154, 571951904433259136270864566117935863022181421114720068436924169615470864, 142896638158513997821605182097266073912991727362977048622698817053476, -17391541260391554402459089471781437959039025916676616240731416458630], [6454910854543904920710887002598133881728348997254787597683367140593269624244688389584390697103014, -241011144186856209780479081736553232481049016147145508330823815844790176949359144936903, -9909341253837370860308081291539550429338060163705450531185287127819598593687, -3364134023056488452031188384995016043727571585915696611351738452827456345, 141645083493733292396413240501095044620753235583515741812039752479024, -227914080799021500328491733666191929912738853644275900753884134593064], [4377517705730831609485691749853903127614285917221154587279543243570669581652648501485043075746220, -461983843608307709317446023653328429607047317513305655402698718166971634541854125201024, 5714570238502667860841003785437630962000530116716126307593667656409496283092, -4536331130883906545574602165450201575304775782156944837435300748654773288, -207311963888566573138759169520838208121451915344030080436317844257096, 356676300497890114903293137565935899348053815498501975022473913862124], [-2967348682621044431814434970153887262524827115852419383781693970820974250926336681010571746708058, 127962008940967563288198324615674989603314952085428166392374233388844825411917312836731, -30184575292323554660699163167533173348314865022110891945029572097854144516662, 1816917351590535685793973945453777823211882354046464270134489350469711591, -289549787148692289724525788757285440297228944019749752318506442552086, -308554505459564705659890806423663910237650120427498281108929878827015], [-11472478992291146315100655040843773807181787750469934246069262289684874246460162511814180359676638, 121486506715788071309208472924145798622359009210042253792511942359957076600115108765572, 6789926096952601231907047476503158589026063452074827270602967998038569217432, -2297374324730044637671366989831123676585433519036722056257427420062457772, 421303688394508759869480552231906264514370791903886310923700655831608, 1463946761346892287543513412621102326968698583532328456780905185959244], [11490819185087688576492034103938009311196563294674589627865576971431998158834891513465168407826366, -336390131002580612063612226472629909253820845219747773068181324209502789814500916320047, -34742263094632154359173560765493146028583954675107337411938723778800424130907, 333204677612177657161715827238729402696004701666235115619298351602650311, 1308477413322898743348668274122605657225624731120415823116212899302728, 227453631064135668183655034586894934047118458475277257286292862072116], [1435673768102789814365554782599338344040898951042220693347396293681468835612143538197288837441284, 747720727205591718937007446477523628942430972825316998981108304212232371247224475381158, -58265354296449818977124943624477184521204738981953726185830711870989508903470, 22858275504678908705652246572764254093112486737133153081389118771804568322, -1084067422207085871458173160553927893139225570027057923487837448510264, -1190559195292945803585092867635659894090796632669593327088375453884348], [-38665893605335779355115705605796776316080681880945308038068323078856828031251347957522577827103236, -644679268866549974006644962074167054697908542747320094032656383042335983557167567829356, -29859425034659421212387713685458374554828830813593997197847700394238151795426, -12719030074098978206661859521061145119081548793211132069751376481792996520, -3157480615168277803246301163618822348838040167186005634643033652795492, -2210205450508476412364043809191170222083910888930002257145223180851658], [-112409366065193031894493833950453170733780612020457974395285112377963629942248461091223110366439610, 1914217249136093552410110076998217880859522035241763735797725437289488262840319031850865, 93014765750873325024201166563136743329061376652825281272624086742265511918931, -8425077721338944252965551254257604101653071498582668293506082624020318069, -525098420067906461659838274039331608786669544212924664476534299335460, 1599962556286542863700392296488020860232891027846574595913744444843654], [-17876540546690989729420185715485589974996527710155759466040257663320194329329075954834125594037178, -1407924462698133291174109754565697157995961468628722788266889077366237286587983993627045, -148800515490576075664082623781845615211845400057685259198352312981695628440764, -68054045343976003979114969717231321798319703561009384201380613141197941933, -2271852785239478661466152164401193571508141472482931464914650353458234, -191377196930487533751021539579831476065704870255818964574283678291073], [-138350549598352267348877992625652200684260310765524665654641355907801645129532571159036299860351104, -5092611991460386065911899022791543840904025604920958740811843271017266859171766459121700, -123443318358711833892938391792040484591077759413763044642597644176850566305250, -15552957946518845654641757687595325705231596938680044959340743851943868896, -336405021022875412662845682674173177616628222389703249107978701928308, 5938817586355116894274234502476873171887054729844600153116491703283774], [121232700402050283825530762586755079227435337934436035148948961095832214552981133981687808732639392, -7683626095973864553893648691825028491360751257471423613509363772681949104662664176240698, -46128614714315478210053070030759428488747483730942256973220212517431599672363, 56930492749204028448798610805360873067043104182035731155556460365312402652, 19543530368026706882583246394821382890738288820316300859205027251885786, 3649324865681861787966845720984890965942873074761763697581367453116497], [-189561358676041484618977771765334567956467458314640043897126613241202541720968286818726643813387330, -8504779092116971269595578778844107416538489767674324496618285215607275518858377741716897, -438198349732768251623257877794130193692432543527431146337621613006313917358004, -362968785689549222536634969908554989025395953848644166899757083625996772025, -3690528299066821369823760428441015363955971685044944639418666511891042, 10099396803067580511141888423653092660758973175278582240948393267299547], [76790612939716952744865579997092276875366722743073644992813835640419823796305161523074298137099548, -2363988722527191294677478040861040513324669757367953661047118153668353174568552452168112, -264036492961656126901435504984733796651315351436677033803288054065575111192964, -242938226967460733129326195665534681697222033490398347674900667840693200552, -16093546089792404829653639853745579215823033759441815035214431098800696, 19947923095677440306537000711339539493867808933253049220565312509037588], [136850151642366264824146541462216397176072267842544076612982049022651806966683539002665010309261880, 5568297572022459448379900381437173246340792447283350079706569780019795318865851104109248, 1127907439464030487458990933364358453227772741944914846729039741640157026697724, 246638338295085496714843690185136009684710764459573116771082048781442385352, -33329846245947648044867740019553336077059331068700350245728355758285976, 25176209569576143151097426258431274558217667526601849715908267532876164], [220739053998018838425394792650969181914366013361203965656073395268195248197265255112394601483018504, -25094000140095667788164587804483504059870559430173463567491737430019294929697044082528102, -181378180611176647110283480728186455870710491289519998594605241502616198644115, 746191449455461424327911419474019602924497000817194046891847846311415175040, -21693524327675134110465897946783780276692784618708748020997042609692302, -10563895438171354415533541562441115233960841802148108762158075850664083], [263190174385317194068973745155479547220285501359868599920559362082178874114608209209240331712159542, -21847626113349591202771933759827493779589794688371354105639599824918027250972041860849837, 1640511788306184833625488728715152251310306523690685689082788547002553522161076, 403353584932788185460254231877606639015103324251832414550760949043310434667, 12045234721786601050114244122949688267031331831992640907971112254231190, -65163404202152170315422053981452323206102407789289597402020049869046457], [433270434955309568615565110703100492100550280849923777815473139976476898205036429595132638750810218, -19133455395433804005002996505979478491539920083081581335570595655910247646264168436929256, -3036390250949874255871895821047441281660654492915270961114081381642463906275010, 1327220877052661413422012398693074749542139804539108691741286576448326502300, -59597601387868264894501380915346312245582314698985537124062202170828028, 38705503809182673994480286539575231753597960708776104935511307556415098], [883048983749735084221242774634004252295927078254622678393668808294086123242974211786071963318399746, -33984194893772262825289910611165334333634595264656884045226191074325577731468771072709626, -3314752950894820242497191563357026580905909261388476912421421483585230879063364, 952597368779451017412101389398420754500445040337407123200760039635068140174, -41386997832270286882233534086146368918516536912103360972789540211997724, 59258393992087587821468904299181767748930937552818163623424132073832410], [2194877531298347488414774573912182823549672492040542643259212142518477001289823033177518053396657294, 99639655032127419926899133385241377098300726865673946200099110106575066642453466476904829, -689561621084740767804031729975950136913552120083093199802841586435432190812785, 860429775167023664772023065188821304884408255339396095587671431084564893471, -47595992048524605084571851053341051423040077403648326421675903740895684, 16716150589527713122015562613068687066124248414360336663494159648406198], [-2245700249125284172778548812099181959535588317356740029463237595434785467582643010196272352923831780, -25364522323352905764359738942721284950025881185111454414211050114630980784123260668021120, 5828000822790604004081055505770192192191833575664890480290264312159086348988326, 1002653316455074448119267244814982918712316394990857250100637452581515146292, 262117272050853402086321547423172331628378193935296105830937358884074500, 180055748893177105044994846192573751434953405256394800937930461446416058], [-4131896221084810945847971712485170290686434886579080406549693264752922962372467062736673673911994890, -94225470773271193605718520359953864658310060471519121162711791567876617519905560122566187, 7320505002674507516972193610471645842962210892369875534365040830756611440375313, 379481232980645432333571988463690513156023001626021682623877908469613739507, -232528813143671827136496983282487900634579198454145019612722091088268296, -71717776498704593878850334861201562460961835946943647457169797590984596], [-4915664988969622068197908054086990533838779408832517526593060259050241728623748817137603164568488870, 41209492054153622036768705256493644157618433419877258067472079339724625855670842444346244, -1900910440857404263227951985563858170055595339811126052322214787209800075733898, 3143905172800652409502304686489196169534964067377056380181879446887567981464, 162829729257814088845259418976866639209994766063963361926181691224864268, 62630209452284481409176651265696027171567125260646406392261764105781198], [-1881175865703904373241918095155988248805600199097672162936235953181985451957888441051645597377107068, 645892982913695371968326415133366958304205424444018693486773245634451773703604658080017256, -4114083175474725106021691370666106214945931977176937110311751646900713637581546, 3688663466018535686417995256403272161186471570107412636916474603137539366460, 137863376248022883543305587034309258971939473080987268706337294073712308, -193572491363360073253766965863236348840182871989758952020175192963597838], [-95788778001357376627490794767728167865088763017446151652019571914334142416699781093362634720389762, -263489898048793897704569008170049602127721345428929778282665566678641805083085192306169451, -125324585360783605645712146447171185316263136235404164182939177259918912871457, -9758253346888005409241414606249606947599856289009478324332048591191103683433, -491691905777197169248961458027911648870183544557006448383008229074208372, 245546560171971033778726910681040706017807797369927845065682840591262910], [12797111145232655616377801387464922929351442070309525568579840772450667818586809442070731085312295456, -40833160032897966040998716229821769940727858862352838226680167302099107915924696834087426, -24822604160651401939426987058684300377466766535784183987633450480309136216475351, 15001978019626071556106080784747790345103092078433478865874033489404264353900, -1070962784847618658705828094976756475828035237735002625113793890232847806, -347059497142173666402382830250679843488878871581022865393222107427874379], [-37783443238233040475338360147162092109516316474876402621401626356088238411021057677613401776689878012, -848014435103795881192389272866992008954036533329093102227526614200131494375027753696389948, 17870860072827669201466202625986835935680701016164091039326641097394559316854156, 183787336569823959195055605199941149180256154192254719217549347870635270572, 1016942777123155331548081372597391107182217134935369591962059344660506288, 567473295385369189220845191731054913467997197242125305093463300844719320], [7197149036587427554883271322416367826520919468952032578118830895667032042514781059687980223793508670, -753619115902357351527549912783445173953022333844298183845069173190143510789971696874062637, -52824753871316320031259287444033487756706770563508417598552831559236859562022336, -3432518374112345307524122422735949035709196575545557322389951218333530989357, 2162438219099555772166210538164196018889288173483540570064413608164167646, -425881695700472753442717727452927756226694952953055009168523456439745029], [-37067800322020298098824716836257067544069881575055119747402162204496457964065485813911468507299166840, 446063815094076973619590892496352528560013496042477725475864806605632184035467600439224456, 54886263003752580443902172208716834480241284622002202522106729792462617040327302, -19643467709886047913872149832896347528529579015514207561407592897817798918148, 522112320747440347621233309504177248378211840002214110829740647401583796, 607854221089071298289478707807830363298187618794689000267850361315500962], [34142107459300634970307629143819571870412452241145686012867435983419552198350329677904791553584184614, 5456576410605007195787605458345587307593409911624713650335611350805039385066007605041343251, -52735948987069054462290004273864812865116757174888584614310664694318258737578718, -32955349692346370349875761618160382355893798500882579592527078846983675417393, 816441579827790661858439698541511909298207820195987426614625583041782506, -773569569175378471524676100970785431433878959641345381584707358846788103], [-5461727999595251883910572649373128257831933631133602345207545780971928258587113003764157422844193430, 2834176120278232079735578775482355298470583821760324888886873291731660812401648354140430884, 38734942980925109292193069371464209140093761915923544409320211628886300385161810, 61018077285260917216411891203720928101498286844760400528594622454374252274304, -1339613743139924543653797019809199155972312453142336638136665920576648140, -1327592878077410483162292194202710965023542515776380183873485711092535214], [46651709440039512124011483131208210640192727618726110513693130187927014637922441120744172880413801780, 2894757073262940868852582501038936132854094845738088651883283545716782439844471050897104404, 45654829807649990808276910026896444235395086888585602730288308524378484232350610, 18942519196080650147333244905762649710676599217976542372130373365939566164976, 3889057513969782584983154082422360947162922227515173609686777413002301204, 2699894257404415830182320535374859766215243331959373771486286343895668610], [60735876012045042942037755356535444410823168473765847234334701993356278057800338132382549659643454560, -2549793004187529597736628831706718020841547905790815584601124631230204941688848436129115348, -40446574591245403193870584199670865966733621700085493190734466108233751683244384, 48814264856379543404577146232627078614196744635650561371811098237736933013996, -923412717794097734003150080819736078795727442527493563089234613912104584, -1946649251623057888572523698198000106394679757323073335424453800886295252], [-5967436841649840300210443251648706706526427351662347325048024083416801197331367266547836071112581186, -1406121865436480937798551870411784483035053602795599010714987060564669815097135302844592517, -142429714384476206728840612718879246939770883604059016744910708036745763324608722, -10416887575530448243425609214225337967133022151295417203465504206310470766817, -3694740888607523815453575719007270987538990467313014471767666515313185470, 2252226800429295466757971827870598493035474152029600691493996590063790037], [152691094459145971877332577333837242952196342955249896662154390615886636630341518477406366948245320818, -3022423903599677141813433533927225455436912840349364455613526783316837127161749301662615392, -285382474347497024226285407904294169572563445574197877407968076286406499771617512, 66797646310178942980789205210011937920850996840574456148199801664307111791728, 8925707536827966918531573422466909535916081627962626702911738194879013328, 1365100029822559375856435354497615111360655946835668870695172591200214024], [104447276724686859173828361189464338936569454535600806809238770066443323767531339882594775475872301180, -2581934480444108639864954083953478127419632311999885854444323789147628844090785231777632396, -342916488648113054340816141213445679732692120088612174941884624947256161082453514, -139159836601294893047102897186507394077684441210318970602526258562565446720376, 4043953665358247637038747795127767284986961463282895490313874616316350572, -7734714289464087314889935927111737217923376505916425096795741182134012226], [80788061046135063104952387280055653627310245137076014660321382968319844438227494586559514197075352840, 1359506896862281209827146468500041109249876515665224717944387348944419944642151373052626908, -219339064796337362004028566250796363179931554712223533936162110737772479318506552, -75135274735889302904744488838347075982375979222204793578543342021827683735988, -8591250181532149638439920361764127444929756137556904653675463667485505208, -2643109898376046228828215977813249692864940225240206455966079707669828684], [44726683447486216098754399652899326139939085567215541198871869018609635935205025075409047976120692420, -28626568897295764460348585458094171441862231198079204507279223511807085779588848674988056052, -169074785883827961360185270186556900227789271669148046838975744900517650292722806, 325260985552814196270077546954436905161945355138468095598773765260588905483256, 15344224072025548605040166209901257006090260483754108668511483977405690132, 7953945560505973869824099503894198453003051493616649652904634939648041282], [56367102598297677501940875025563677060278954960951626120572356274451796847210576168337031251117922512, -7998617920041342099486717618003315801137399491944561911545466490800799427978755581412312612, -133689900893516753763401027050227205151654640353755186867697318780294081303807380, -500339729175513710578684334386053974229107258630238258854794777488340764303868, -28033660672903071848634053692796258895704479005183452298397065038931834720, 29088381279610483911979079963400351271658080827795347647159498891477662288], [776509996734461563005143532964807252931993330601382708599492533662954647660517019788680451247054523200, -248308869740649757605469724404981687912054551940147199500298009629481639436162262116555402, 503627234516976485073097374662342802811426269370954779478225872678142140717128745, 1071645534949529440473496591537944840509380434866350427652640429772949633779172, 14296722042828792747218989226593303427794836038302099551878072197184041458, 45757362268444927916284966979409544503667385382478105078044108558245321325], [-1397191284508854160649630430939991170269006595221560346556986008009190856018417899556307276305327100398, 3922920507154164388352024529587105128058737767105010256234975941166054294999349974915249288, 213327315835667107158995320982445589633404516783108572854986902338265540279072722, 377131016040639978154267312980340179029755106236714899027536705263318644356068, -11273003765505189533563243224612258929292052103964306141196351486084335204, 57900276528537296385517783480159468908759312815347778414125991669744167446], [841731597417727241306189454767377836939991740636776819588652223625361162272266040008896405652560339146, -31732378706252862207687536981710525777230125488671350672082918403149343996579997641424665968, 378333973867815150131748303027881737631457817158210478406032730147717310694210736, -2212299765121150321820396769133101354922065121140900763368340743885372842895056, 25761909948520532944925252148866122999986409527363396401170134360620046528, 34165168807577850373027939423833177460686101361030919962008114282253863008], [-533899719537231180957721728381458996064213123197272663454150500723115321835101077718161379861831241114, 32403355876095956959364994822615301000522564564495177360729717972375332300085526049481471641, 1545634814253203754399977573649723593109178109485461403176847238133343936409010181, 2090103097611054750529056795683081753268048965982747800136678032546424794273999, 142795590760681061075374823452942084915594382766715553816925529020298899736, -52627238899303268169040568624455584305396117852394338420630911575235483300], [-2128356276712235724624244499604849238473199806607139916533927236819351732188617362364541639868780590228, -1915363045142453147044150158787736797852934394843319938579852856793458356129772599946184444, -247438009597303168661468714619396088673287347212127803765426958188224043193392160, 2107093063470702191677370852544130158498593217319957085817445156127970613772100, 22530775514863221715272820924065022501069243533060100781314353006594349800, -45389700202017428507207891942256026092913063122346525215445233083759080700], [-3557611237293917822628840284915204763177437760646078527353676599628229944273418748957391754533397526262, 48479503776559679956108733134006525852207200010488005717064596190386715029954254475681955424, 962291587237668940275912454866143890541876090545499874581857123669619933249400850, 198454846045271260130027013378858005310315367008346961280716046525191465097532, 40830186042463139169962323880803002871585567274993731235934451343619979404, -75105661172303240151474809567509873173413839058766331565992398302981852946], [-249321809842836206761936092724210215899980751001130546669720985887900009143601228246687574176619103232, -46601442860544619365031444359134057448352690307407562352084161475419733067438721954235947678, -3054547406964391138785786295724099906617933267065017811974738196510125655358120909, -2259131013172615318596282831719140574982572486102700360544306943583442724685508, 18080395550049958421261698755985006681977974639128072866985589756304712998, -270253457284698506612630753574778477707146596595404511736169745658838950385], [-1376103715943489155275111305770811549441931094065969105094762280810536002949483040054924496720996858204, -250204135624369562191621074094728407810735823833554883111113817114361160274174707516672562202, 3970398629533988243355957117003162650473321333055767763273315272213793341878649722, -1732008388774965918090438733079715211638442348468202399028779181917024295360014, 227823681133181223907255218223346728711812793012802982610197393803947690168, 528727107527692038451892068710309601735843551558838593029620862141589744476], [9222522367789419941038912394570913121747897800611991235718837044833020163792780325687323833555292286338, -64736521143416230635636743910920288491364726310057500963430038857773158862293165597793701960, -4604223227708071298401898001275376753938801108182620463436571482611975478079629854, 4315054084165338514364329298841472556593643115780072090807079121369833472458484, -66466327093877067349913636743017457983724556128840885090375717052181030948, -224551688291457601466680810960905423752247737874934613138676856936497909066], [5755563924108702868498864682509784122216142506440614342729103929053887666410890734376589252645655613032, 39825840683073218593962011609525368740483988437551675673269093203617320978954613000161182700, -5129663041184678386620085355172458148986241703697321277159570568373197159613770448, 3539915146175860273139279282972887856396039653941310868326141590167099015947660, -337835868650463556774002083817721753919791966260040904469243015990326747304, -363907200571260962254291047434901380854482610326776586437581469493831653796], [1398059032686467100199225856603081990390962883741221963704533632188498254458438870358844976510753634072, 104062005712325818442623932430479397683031919255798395311173031550390963533978776698539984450, 736972215482215053857600248109688030718285454134260995527419099612895265244778941, 1185440456553052893083832697231536691011874469959918585837559774098380288247944, -770307090919954696752714213572150734727463091249040849061915684423380200350, -385551450379365835004614068103026653434363057510260898502836808561386461819], [4595490703486800801323242596590515257437756948512317357048865330166139159987620143024700442648558340502, 209969080184108472957712826835534646399939096460296223403843262768483244955146930772509470807, -6924341221032035542716042116388840544124151116668933084333703563423063781086833162, 17164452051260508974175071726242533989746107577687371747248124547447636525109611, 222073656572189248682358173969981034680215198510629182133540702872266222218, 529974864258972791257375985978195000995550027833962835048443566636603800201], [-7506015339886941462676958299749678462151191163059714731642921238832191036043994142016120071947722894510, 1024980194125933132063286893355430238921115655471827723143607686577737292362668016449889800636, -2553130438271472211605285558448323951052894186986843605285583239853736966500219852, -19336338891282525005415233928228918350160718283359490019598388783683751482069164, 838969884595106232469470937692209684621856796678129022334225992000925773136, 270770575901375048860636135685490494963850547342182500054005037176679565288], [-860580996161452940018112845030556586040434230240075472177532953646214752666367295427423182775789507634, -93109681509776226074019337071379441925027487851407950804157482553242459588148193919383713075, 8426197526716247767384203811867235730206273663569622055723553136074772256070542573, 1252272609101861307269141909088594050961779184350329902719764796559740176370995, 476018191900223371475340193322679626270432745891335573761388444112941840272, 105963571483563037622884950566344299780727883504071091359429952146390427528], [-33705777570598807099982986435744767976410171728624639726577014697830049476270862267077262120887805207228, 283496244830324348608836305529476452817535494482844819335321707972376608125805463506512947176, 45595079608587791044460030332146349929055053828842950092292661698522135635013158740, -27465376148733286073458198979959284092130442346596427632989640539273212552698048, -386089198199158172484460263614165573922533617544424546305829675937382357304, -1167242813869348207515478304135592207644286525805554010427253042674290222188], [18853383082187687625669745665693135978234204205584189759434944810927421130016875138781580196340816337390, -159212087415754949782054268939632467357016260243978851860304839784239510726739845267903335161, 38842351143690623291117623827343534238732672746221462235458412973852676772111884698, -27154094800122005503637314416172514586871094436828545676395711324685463826345005, -398662624096417149612268839125983891017237336713123367865115114753777044926, -1076797701063330550223690015592381966540153985091005065494774860916732804779], [-4970179635940242480532815464698226610806959404594851317588866422727821606060489084954524611078009732072, 373999622889729934208292392146583708672207741011631640449291625548983742774686308903262538248, -34997594156536912278147964524465628077344913249092761142297403267046292630513059732, -12240707816261482893413314990362189819500165464785894989839782665292456834342352, -1445468617215718954045780647128364059481196148062638846661085596874122312872, -1453015399190782226642236225889450570017550765533387804316850470721848122596], [96208919940049278003114993520059074603713340351892038190285440800704735125859921233863454180702652968234, 1007172369695268414971932229209242890656353866718620406262287776959659217511175035676230623936, 37751754054480044915704422174175745431043428642459514424573292086499277856431263488, -43892340865639236958713572508266456877096925816571700568151380363935600982439744, 742895554046997793729507446727836899635884138716335185422492550337228991616, -434342998506481093923013609549424069459189380726113387638133339983500661312], [80461493911732357905364206104411647408089663797837179973731953836529427369619394223805160990519853245704, 865528775673518696556040697930612984189383885742297215244161534827166087341988943499355040458, 89310927482678344393579833892834675236132639613401911516874070599055670009867079305, 64364774994332117218680317677818162796226473721894833375544550947379956588208248, 1718199311866062319070539937643462854186332090332372206743449427293599170554, -714408699001829800550071621197012935039667069221470954588703635819726100287], [-53158331069785891024282886168500054148460947500928010969674893271200695247654692771843622049002808253318, 1198490844975912346073002136371843921897088394867436363156327505756015248161246013583226207204, 57560451401865161052911015319177584579797468457747480227897283591542116116510049448, -26659098244628003095217500892117436766811865107333683647015191566472817881725804, -6149708811162382456737112938046899120594787409628278087495489727079897249832, -1228908242555017842298796079931370516082329523483259115095346339584653552484], [1642826529181038226179281486169703316256619829257828508948009685808063516530039209769512678348029406276, -1267427654708916389560786524729304835475530342009222503929813561037773232578387362671685519984, 41074073491949555959302119330984390362441803255712545972933232329249485804839797536, 10962750488229607940034503242212524681235671177452880686159775022746302629045584, -2880015145083421994882855560065249273908169338020480763251337988639851895072, 7488198213027987536930190986773949148713330535041028003848124568072183824368], [-41876554906335290355037132594683614398619902277586591547766257682340393042856878891949740184878330109026, -4102263488683875219976837003413340610359596178371122286106410450982322135448013365704357498711, 342502680986800915636874125159077870463249181988906325816540119950917413421682012905, -56082992619025425538488884504704967300074289485159908103188499167992805362667241, 153305423291959967842286950541367398111254566569631447462626050769284044880, -1806833992678775693261040925495764091633033737660223590302644477223582177464], [-27555716494253441540827347181537809432359680047383227421663639157693120346068093098506619456851341211360, -1089562089443655539622720159415480126074352520929044320975972169918509262317582105801535488262, -361463222233350395878337075947815345638520688893834533195354417264682859733259402637, -77895389524023012326251455930811472724884713130682074649711406824007391291369132, 4739020549081718506959817384051836848735107563595358931755145699046314398166, -6250968640889242291982249659888082901802457405384257425062398263361720354649], [-735852279033548219380840994693462876710549248984294043696338783435401393755566190715379131116410841570, -1805899318109895306391425777345990063660607064376423788645576788421452379986685089786710158381, 172759173838119205164123619761999840188477072913656028970420119459097447289826420298, -118364448736920840532411169979167401481589878230589307690451589043096979731828417, 5336074924481691684672494192201814926174402553361941438590017214154738287706, 3520399289727129829023075327326496613881629238745891582377463211599207650321], [35150188857453888854077039416960543197757728672015813882590452628629380013711817582303313902641111678584, 8957731972561733412203763300637915764785584371719882484859858604827613998653682320817912830658, 404518213913228812995937250458504887900647756039510254524337585455827947856396586693, -155556942229437577684791140090597013940964344797289358638141802884599143399841032, 15807851572427851514193766284274965905866893369399308554445615591766160453650, -9641468561230606593926821896665633515096628213060436375101990092875280192643], [108519276825328940380099916105295671510149905910399500162503593924488969653677809188200469300379674666124, 6301333228275981467620689044556555272107013953633917731977731199633929066424121010217437454706, -646415414115588552134598694711726147809508512425140506799768682467468542863405576042, -3879069851894234355805309426007283811888769926652215980039222808546466604380346, 10653655403309451434831063957745874601127736439433095555761344232917882313496, -18747382482134460686404932133840960707741079228496666585445894698815489091540], [-363936023090607966297770784456965784599110529147294954038783291895730710614863265723539640765117632359674, 2563538185946000946796803194283574076376531367448767005199467800156990527906113020802149211223, -320318313573478305517872359225542310881995701362284281230854521105875345074430900044, 65195532576637788880867059808218934186652423590779721241265002163365244181654639, -9324877810693126082743978635766918592950938785384964010944248817422599341378, 19164896459614165268003085888394840632221476327288821512022572334477017884459], [-158227530269913874198996295491426784029943582646145685967909210737780634197004652814133485421512281945110, 563566139001009353290264338666563117893964564922734221660155426108888020639624721926700841292, -245910756647661381226308231061976315012515051682733192392721725662643735298163498840, 48101954595448982993091116478170566089155175881041119653847962203624310488230396, 1350690301536069495108931118020003202624563707192686793974990289336816483304, -16443545265448758105087593107202732534254163651074087413491020780460378809660], [-50061342753624519794526781146774324398886684931601982732042637509559767729771619223213077429708461819600, -1496365655619896269842138675724841260775387600729180109051224617152104571683348092232812471524, -673600657603617893901287620078485732893911622354378599668703219164637925584855579544, 308798737639656464172885896970242349081547856599075516119761272485792923951786572, 36055413465823336526805976680496446150403739452847995325019057551879858904840, 18070949004672044979576889978719010514453562318768339714538692431803464021588], [73061067487832523325246796195243408261757755550817044003746826417606546942707979270713939546499343861230, 9903980567009205788694137551145105316238208005801851153048060029400515760816193876540327951021, 679364022296481682663862344498400593406406798539744339290720184606935731027049320933, 69914358502135697803660269062923616182461592389443931678374901046588308877115171, -11810797005217481222745693634728556247922419856662521206494537113425234817888, 16822643477185703643274634583170583783008134772536714300023404363800048924912], [-156445594881429315783133318993312299727811629124227457612007560028186508222631154140337989023956979197442, 8320879272283162791878745926186830353399005386646824568148511042846075446966384805534612551135, 1561107126380176139787602144630806516205915468237734463916131540206876432018933661076, 186280921223622156376625081147765897735376110728015960439526626214459086448433719, 10663054754359292410829101642777859736345436252432675100378679060099836352462, -30182087960093741032283078431840555275481285300778906530854355511002364529261], [-91477015957459575173617301874141176130147553445412688706147679761845813410038021195643492086983635987652, 19613580306645753361724924089278423809017969561237239520880581389977045055183718910013321342928, 736591947496675270732073439141973749966509842194912436719794519498057993235883572136, -178249538622315518327019659882067962110572218561225578342344374278612819052366208, -12162652083282264470703382878066789383671765448939119967802152883635945466096, 29908590626215906548472518858643966931608096351802806872752634504077435247144], [-705118156388249366756421745943037271674238845787267294853495701249175919751665716412852706842910868294806, -20991395835940265166122039397090560917687563447736838398274387287098699240302312284450189637222, -1770343952647763149488075148989675708575581657844454113670612267891438520728545727944, 1197363219017290182776774008975957466691089376714068993519587777639444979318065962, 35745823398936289339830529783828212193285452165703340865223870451741689291476, -7046817097514031579860615243085149866132875682969290810408830902197938436078], [-132838113067618592823474791865418448191308513125905957418088460484984895470066548874515712412136125272832, -104656371717223422166774503013298165444859108405989692771883261251724556762472145543831321757880, 3905034635665700995054858213864004662286829950584602054793645379909778712244893535072, 547423691570010354651703975162582532360622475238685519028203458334113713446534792, -17176084949269353941991813250387745763492915084296999202156494618541772452464, -56904449051730596617755556932309050362359574341140909265211882133124075540568], [1716602481981663776004657381138742760350419141280900781395700874122133529598909280040321984266083765790530, -25901309281928057287280311540145967624955006961544149372204760790819996946388834562458416341416, 2370408661645114620377320356901546655199313891496012190351135827012233875733547682584, 1126177926387984750457518228638256637747259275715518692686819987691885089172258856, -7829079803046027877604137058663506811233075517280999365064333015102502955136, 142342830197245440257130834527319831846811848064445234670144909938084624926720], [-1898948158206362017278551509191914842329871236230745979545071949716622407656434926699797861738949750565804, 159144692198788324864295027417534747885060005860837965057751093406111130817444132177045572315644, 111324442022905638240863992317276478273751091367936376023584470854784908905049203240, 2607962070006572757102255657052097163369164563490973251710897487635517616260016044, 10508019955852695970149999185224869811847302644688098271105309565249184216008, 22577970855946200753493833955413537398789524525759253756733211506455959411828], [3084085642423986411525224132856551901998913965558061578694522773051558240328275894574753997479591595652300, -191041996532750116880206776083601375048803638197015029311909701476347483795864850955595827190992, -3970563505251058842500263535029430198305350372654655877983091114824678379915969063056, -2139344320111403400865293182054810275326819207596032101056164473703274672835965360, -44114281050607997515714465694810820010727100298546019449746778672560662588160, 142970994554729813039516968242927883860528193654084797674790018295238853248320], [468465320872564719002256580557635715560911182943652611479892498272546199394840011912862245993930566847734, -3911234452838521109379456503224210233640809402840490592142060456169643769869857101121705605519, 3926649733223460181898787328086347612752689699770139263509743009891242518149782934713, -5412330233778033860398563088048059079855429601744380001348307312575193391021164481, 178129977728043377856019057004798940441769860456079150779840636546242840018112, -6924236637468461165211524801475473534700857050016659008826376212771323265536], [-9771079202179866846208112043886478030884780562912695139751518489506830745751148312370686130718591689057092, -69104319065710832457869585821476130721548116717551628719402255541275525621194254603230975490240, 5326257883045816136973247867947098981353222427754863898139549766409593017422148911120, 3093596529737853635952725172240371893416111748533906842607838125548451363987205920, -243857516076280347221924847282595955038364374531177300198986301882242480234528, 44901455944819289690097982068696949477766947130818450248431725236650544468528], [-420227523995798018437068331317132247607308959286065146732881372966568546831564912761898735303304609823734, 217737122145818601814095962068269972074450217262281936117713327693678279545885314857093967760804, 6986384955673649548656714430647308851396525725969696105183281402619247784734766025296, -9156409775322441130640715722509703463149441274064259018653963210857952450210255612, 390856985136655604417407586511246557985937249683491736473777649999114591543624, 142447652393966836873709489841505789239699126051057928691251781295375032235828], [6561248470629918874112477271811085067195300440271276588826811435247290604893551038039630297203536606906034, -135070448757389177278545844452457788881905484288016708497593550228012200171503928993500310377842, 792877183506371371761121695114560667417672950481985646025665932169901586944010842644, 9037724789984111631143927299174796020279135807341151447264222484359478924694408806, -245453894436462590390743316345498723103806549004479974347589927712951218858044, 45033857983555580366767812530647556312328943932092022897758543943152475354698], [-5617799151529023295781833884587852204714845552626111836653879384440392493150116628361284358735955325872674, 685587210127087836483146964306168153293566788594910040104163501318453231258994452613492653150527, -23877420481837282092913128453211490418963720236946624201182907612459670149031749284140, -4436185179056034434635831197072742768784182605692569081655570849067885056878071529, -141669404541987043476724266419321453118050195726917204439075139403556754329202, 436432683681810030454868975345091449684379937534825861831911975648225428908211], [-5735959199878144090119662484013486489576972271793655076521602204196831832854247442700995646566493941978750, -21863532085229517595207292656071801877533051735117875885201623957143786207478374661182936641492, -14159161683943250016854075654680877311450905667386724339077257073076524490911464938848, 5887683812388548729363718728318221168979874185220782733778393106114362952378960108, 346961811721244100767544558853279761788849466225814634083608919828375156746488, 21787735564037923797891644477678209599128297622638293110049857548930907952684], [1663578449633890511018046538433217473686456575764363488161397606384748724310540709126576353906547179732824, 97586850769261805500917140063048603968039885956328313081589406334920066008166596833311781507668, 7522949700035446925759326456658641813215836230105120700844419038987077542276422796740, -750098925114711928356020298268427261071117163718308154984432965194620179561511988, -1157597225107876116724077976175547192587691972806299587051017780435447102128160, -15836703459353052411893959934845404165707614464209057123144994329657211961552], [-13818895515631616251075114056292998176932464217404072570275283437074199728373861426351744472275034657803514, -1294850855159011025553681069024973511312156639309049262208389058020253613515902486279887798728923, 13585670557007524757859729921058894240909498417549540759739371826477986465695607786461, -17284180844452734756166233831755411296986471954173218484931068831483294777299537749, 606188158168151413671039948307219008571975667507414284068139235481745465612896, 412639235875042569862589744155527454865747956437798206471299514307368913757488], [6827794914028297206988800534446740019086948291278748146081353256417166243188540541290261582585639504723800, -112172599648134480404657630788664462284042560296347156546889747204771654011540407307865521619018, -13682910809787883218138105299082992293299839736203890921888866364930460525836882318769, 9158274846507046544057225778603553623371783479678441361921844084685680246267712344, -733934640772447587239781121270146459857982379716149140529304652131363716001066, -1111620792539843763771707956884880721935588892907311466941457998244750083209113], [2331606004094995111954507109050367067735063100298100219562464955983019763438079924607988976491958313178486, -5088241740487788564801231763812593808231534536882593256375627831075552189051660287034346709241, 34074844615100331144173562320294505337862203822787619156957617789264240088696731973184, -3192830524109875252032491866017791472517600274070435365745247227618028768658368761, -146046967417918171732058967568202857826498574787660949163753184102122968950554, -18052482409305449945913478848152086372126163524317455112253308699652742163825], [-14657935634439539398554669010030742040356669518247835449911057730733590152125947044182178928971052509142878, 246859119503333780863136080854162420321031169437641903891912531264325508316974976655325500650754, 53281343509346242167027995472212041644169971454992075214048282469507692965331909279708, -12867369544627313759424269394015568271597729779904114941450707884110046592478577334, 908359332695312026115187006607749720969441069945771741643279289367973330572924, 420114570611648240430285170057360620017172651675947424205316693294875516155350], [-43398949163219721725920628298611723893186524229774051723589257778486159558318092283406416601899456142672444, -2152281956045012810624882087384929691551720732871545144549770918762481672100288651617551426413950, 31390234872738484560809831181500981284011486049114651580997207956118196643453446708586, 30412647258212624222772864486918825032819784097144093258225903087351309073940353198, 3093343003692802396774062230051534832881257722711940516618945360184266210252656, -1354685504940444325979758216506530005074337842681137157707385471896450597814744], [-7054233027028681878840051387411974962701291513789896335998907399626099395006410693565452521007828936878906, -2261193129642011081731516660454057097163594665820277360108192938168456166981923148544167678900579, 87632859687966455806775552568598117229725584321769772841022601411774240655036850536067, -71182694712001351159137522952712604540401480258952269719703139714576722591017972649, -5017778389323891114707067101796753163579196814253893965920260885295780937395212, -1373949042533621180057017204568005479429212118990238402164737065071976890899934], [62401084093325350567576576086636588089146789720052006855567688874770839125349407079288924610395964102953672, 3384234640308227432938708813785230616656701261574235307018672000480524684588043938424302322062, -19558115829449983393286543997360328488602346933710583854725299851119748368133121538933, -11355199487327512932430862778761701498988553914571571338837869246294484099081691976, -3294828373225972614132195898347735315039651682962245901005656206443153323019922, 1127329753953898992013710568317293692802836728544419664964535270494031955379203], [-3837860763074816437765775673079782424519724246546355048929648230540762751966218256743566365944664044273716, 4674314687947140701874140730084189550835649437817438252334668445285699739793731060203597942327214, -83290276361840510789164383454919181681148349107993529069059888210160824047298230830898, 57975621252984445367298257967392263116164018101044649837749353302846853000546089234, 1488666445854469536683100722727328825867951085401002647120744133387143161007680, -4197458062407215832949902223451853614654577945701545547672683232987070856393264], [-67213700909940992362419238214176600181825158292904494372852380075707188048814392629322009745664475432695734, 4393582018981447444262335287359945957741921820438564648351858919874718847687134949098394677520764, -100560491281350628989995287754250377980891581811509005065845554700615066569993283789100, 108827950037151641921418993487851898297261080985393803582622408081891436578818568660, 2909385611281440727201127424963279287599160258421839531757094256809904089103504, 4492007602174018288722526534344964588732420520029128077245757813831016801114376], [182711657794757877584345842468481770049668721555050640110706078932939853355186054631864285265748115297115588, 507765877841110016366243570331278663722561051535407121429337189154915751601582970857147878050252, 115137107429002853528108183518844956769682985341474224777720691048534902164028194902586, 87331987978805113517209145927007571840800157642317777075751308041974805558460689496, -3126226715755780870685936714569219904349417656602011944267065751236697411497932, -2908549620281059701467208186769693644655990813783514155121406130048846773673134], [-744177965919429451352176308219647103855825901322655255233720675977549258631490330315954350163530818945198, 3711535027929910094756279552672789140470100607809896631903059141793081710286701461091580000407750, -127257639367211736236136268409272010977629215820088883557638804961434732159823029253636, -98875592518600155611980121033654395434773571003798556366141994565461578422764790578, 2974924835547820391104005006444259392262636312568945226244137983507333122041828, 1130282353044962930907625729432208608220109243701866959786811385713836090653530], [-133321764040393349414843554060930127210399475751600085484665211584051245994227918602991984542843671651341458, -2895787589756607167237811044599417691160688694997848750077496869058347520696998653287750129194295, -33539055395323309466945566253043108373851690068932743047852875390448740446617228882011, -81647460606930470526503315136896866725015397093958081066938203779763500568589337409, -2102649203660663399522491719729688400290153980393471496303646418336819347033864, -4316872297686160405473140741481274498795440959753902656586394451342988253708692], [28754575863069735578595747918266226120734002457037193429979340106011851830700100749262035089085341773556592, 6851870174923565285316182820430510189076630411910686890660956363645072982451764227483378999819490, -217382978158109293976008904472951020111256016376799216910711126711234413597683986073285, 17744648137906026465473964068093562754229724243612668338638043972972224224064231852, -4121069169649585998830044385274926138414248270703567325593457481429297798294506, 3711469944493326273723633790982089144130858170574006294013380996119585838726919], [46152561698735570041974561381601285161277167440568662588090241230292441854922131471894047601777634094178628, 4959240009262802819009536641069963681198648917139143622500015633282944120333997148991127657533676, -287448665569695559145285129117418415260815489640920531644121309767565977542196632864872, 26162115026732310344742121546931632845624699303507584166108791646799835613787782076, -6492049699338826447027701321628793115188298039607860681171516329812095462900024, 2292358297671994737708800365017084596489115900530865742128138629318948420929908], [135013351312185056610131812728219233593734734056566145614540180114207601077798169366553094001319006863776168, -5686910084405137572896348081178455050370152904824789376642108222044788028917834578264177831749104, 301025502996109544025660312595448963831730452065318719170737514143895534670423112892950, 248571020740133140217208838449384736756171943542650603388836931429177273087576398436, -771351334995224282746421601446288004629251193475387212342600162335220344611228, -1509873472521363391428964006114127130190216869856354746363227845920576472201638], [-150092016066932236626835482434293005871822593218658358596547532295480170570552555519490780734489986714378870, -10302831551181430249465342661191517579736871208816779447577259777534972373655221480510664688919652, 124384726489530139505470011155118275554498975636245556680043594157175582350012034078192, 206747194999949021736281864809724803356950061454019749511662817449878088597104598972, -1124247670863923759182459180592118809574846105727753949116948515661476125208648, -729031412360886804585088254629299946073628539332355987499970724539903522071604], [55692338324155268998970028300270475917330506229459406411673686564632946845522894555286742862811806485425352, -8038009590981755443402444957881206600670374749564083909566692631793111877221649338802146304310006, 453407217776354737301495465000003101222340305160574878980069919952444328317011777805837, 105987765963505276164978950227720913125085482264804025959633958342065727364044574640, -5116280265554151672516259395263499378553838762437502345755447960263618886162734, 2231857496664584454107230917132326237884734371048904100836507704447163727690429], [36918439319277118274269749781990400982775101022524435573382649020284739443804890043557150221925101831911330, 29717114676876585518414836814656464417639066857844230580823078005924222635247498153306443246889236, 523472473292662992635757403644738259430050157115295920143504882911445534075857785228838, 349042872556628035732246322058356115306097344524914830000120978415171921393391532488, 26645005917278129609943434176488113134526829719152609519966757646546616025802700, -846188086801467624267856727665379377302682248984094199167916515098039176989138], [514192198001548947060823462865592929185860769435449036382343620184347673824350579328672024161201128906856, -41764729549621560697587131849977262800326261513641078696216583798047954664808849620154471940770264, -349847384425977140720043442914478881432755705101470586086122055942051265741926810936712, 308215612539060274364015873527558164475694473090588338040541110270138421232936454968, -4908196329270977628598581312421029447797575747892290585341732740352051311094944, -31501789527141285125689097788097260173378800378315703500173931050918306715394064], [-653348794830326848999236859650033030751888305880239157637828820783558658710691300522263808701294891998540970, -11681914798022308270615812392448492522038492978204337382644638980204678769361832364956633221485451, -154406519195401160383248274074361968049414040611583893747633468946391013335370121099315, -395421116086538862355425424843039772107809041919871477695511180992175190655908613605, -12438286023653826364250023884362140059197342613944829730031701652059390197463776, 24300635597750627844559381216968068899181847614795009410642289210103964247310096], [-1305452096024522713077555797671663621006081055635769753341370887566575032640631501741190915451216183604037882, 30459421903844696787263370435804216557461990187591385496933572308179814879373376313714391252645439, -899753681676030867960560996179723136358478021664797510968341470888541323570713152285160, -312681431244855647135053073980883841523522426515714302102093199442973262391315329905, -6560974676343651655701483351009804233016479658222360122412138380705150503912410, -31402195621642903459408001476218140436348287691490519403763620694018150259272785], [373035501064179994241132226024643105044667246520261842772594423771484370609665162506104847207377477937354384, 56622290073853500662305642863666215235783554800864523342715045383506156840652015296720773034194082, -5492728584491296332057791592078486472442697024420446398926335637654181092158598347291125, -176985431767464053347771660842031948561388174756676652076900631864186435203009773876, 29910096398615128492332170092623269806586692275502303125952762297678335188228022, -48552368152714233258322842229618621245938000804636086360125226939904350887707401], [-481114396634083950455173572195500019076644502650733339140082194447065137565220525164953778608765216196726670, -67626686409941078629308764379787830755242838797364965865591612305804819382316893224066924958656916, -3753968331634546568201772410956954519811685945870447952438960720409517544448766938792902, 814185027304996845428590214670700758016665205260665325578179924051449409734606471928, -19274558213913293800254826369979344966467285806079275203416218580860128212879628, -110609804566153181556363073659498766176411507532925077884180199000709907369090830], [4151757409928049130741175741075594651332283979652512955510586825739081079750329240190917060879441444234164696, -58957813489844184275940606510493483990480241085702649019230452912408849786880567219285148979493050, 10034759430138717919949678546187651643911395592215112713691426310233352341557578840054727, 623593742992771993894654021980835742600899859701360298442236422796547603540865953016, -9788121978361661970477715398486535829086083665095766068450295972672818860697722, 87442291098825279152908438729269092919394368752387362014676561064720929227581311], [3073639968323751263906850147284955178026098846459850451300699214275439872980177679240926925089586239750177660, 72263986542272829785878606511360523192160995864873647181866067253973186640229323270085356407411562, 7008009061847043995737475131134532947555454835129401231282052960680186642135765235311294, -1367081695102536574944452046350957424712609421959699254166433534153661966073748407058, -186762574744949649047595707153471311174409436346915093239890351396744673924497352, 133094405500318935580307493262291259226521490622770141527807415996285918725604540], [2064123930179888078542886763678454895479174352425521391805579279541869028206658291559630493369002630581182630, 55946757021839032138285677375965266540922792683285570407806819081691274421284793069778699157334971, 1748909595532348590737279512294907003262179867466667293642753114385083808035658931517674, 20965256032231590902104890673676674451417582090484818469229999143664424282272043495, 82970049759877100499987604594835175538083226202094361558255089697317734147713962, -160632780803963240977857557315042938229196002466079312130802352493471565580608487], [3407372029322740431298505207439292181841627899591884880523790391140602257328049501864524396177551844867852954, 51359388538785508743395580168067102369770845291820964341969783787643618720923762607964567770475856, -9407323838210313512782145165442561837144722004067469719211300638192845606382379016570804, 833650552565987782266916570053784760478944572949486529045547917592694985328103222968, 40409082245396643487420056459834778967704720671494933691720889544455219937984296, -107967398394280119312193292371342070781319123560130469933611410543862825526287804], [4640388300593008759435483324918959127206012122049358875623032908607315174616576164595871709386542465024567952, -182530209844928388992627069115453543701495959569997856174440139548054877436542440903033681158345764, -6242684779330557267722404919361008518201048818336238301585452861267352436186759356912414, 1261890734202306913533813056066991162202501321515265998143984126222821063094341388696, -4017992733037378701752854833030355393067093957949251507859744841349485360713692, 242876243312464008236848327418452225603214425522065100609154705635353694254794426], [652434144574144041955903438346809635697228320485808563440892956807593023159098569857277450171986639224663040, 197032577221671539760657400356382482845612949148422437305208173299413118609868448620256332661898658, 4275343451667036190791874591218511309378059431245103754855176151190388676480590799247255, -2346200830762444019490790858989419545727253482828815926477619192898154495951476394060, 53425653533497307605980170275762600347808072282695778607865056884458170901234942, -212414895491580413265512943814577191291624344166720245008629409331070392893409237], [6247750693288639156178804240075407156861119100511400906776863864007597563446125643653235462982395734976323028, 139016005720785839202143189258879259154842001143448940069398642492572982850133965056946152335227016, 12074160108704712467898719638250899551096114354196391745930420721698978219338516050379468, 2001164656940348251576702614747121499098627801330136695190548160567503821698846413040, -32137565547309507571687565104333467518896159901674524436141037847305264796246696, 278984956065371543148881634630277966766975393127238157973373924554006294025748796], [-9647742965478864637001970884124755763037783247228269732782466460856098424660882045311610637446900301789565458, -23743660468874339285776829108546607427560766031449851010643486671783150739213948125668206113948037, 2688496089596450461435813459839001120530536414707112085326650471436011991279659738327744, -138126097824639530805498330089431388571120041386460685663329472543704886616854290565, 7411228200039191367663413656246912637887899647300845714429069175203360397499630, -78779994056286162091935636226255875507170518682494122948503889322437582770023965], [5158956779369638340561345521622206680011138683876173794688135788253648372713897329035727753646744014709527772, 312547332454852703791079388226764808207348220044359080885709821101441968394792580660659693660889268, -1019855165249275658445829440967455235031697366514002426586812326087465388221729788798654, -1903989470715669878306644022841770090680401068762221223148007971730981919917384550096, -197781151364054780072675723385487060258616321653525211482156802871622105272675084, -479738895848908455429078499230505580508741593669854234643604296807474862999847310], [4873312687300841091752037259802532926918894613311251991897543841009324758423099243452236788825646304815624104, 26885615186813798172799237505360959810166177635838160639709840159751717332123830835189492311685870, -9690945908048748799997717235967887215441255177796230410140990628333196266280581196622409, -2971084675393486752701699084115646386788977548424709834922286731008282026151831560768, 81169498329307446375123401391020506362414420395917260755706220443269596693297782, 520828547252883195080636053727157093156410087117583403380955025121663622015082231], [-1466530582147443587505180830409309860048127970897355832206656138217111717304878675005921622376795236481220950, 455060820530108347695661245485837749586779636343885698151753682865964090145676698679678901473394868, -12425415557558313223033053358498186144609430426577697858961336925502547954132677265171504, 145207478188205591172381086958528010247393852150552664110321924558165967846146878228, -164750505885815935355117676484207719349673879789048422283488986370989236341514904, -46385914814326633441257853715177846394363634312751160926824795749797500593784764], [12777207636062820265277095186355487961969293662319714060782969111047999314376408653394901250835924631771861636, -63546611773742364451326607228843222433749334385979831010581911395211883800334610495794276249378100, 3335762859168038636536777399382207365033365722417024197323804450846940978229791694612042, -13329618535559039780721055764709496151174448091886548588347776843084686759716198091464, 158038668234731723342590125360017688439378418022266705406415483875624722395172244, 684295895554123071677714541246237649143676186213395867341648502212500467786278210], [14860789683917431163286851339932645730859781558696963929148511978963216941134844075106479531230172369572332448, 343832153908812277688194136359769321474288406229165367105269370362019218275662041160242419359793868, -26590029911459142941119332797292413279204201559785784962074033959338894870023252433967558, 1431245260928382907110585582498036256272103362566912182051809609315347284916588369880, -549846904805962833710345666047941431635686253603369656602165741548084015881428844, 423106745714762654241436321310222477256434034135907165821498500333533942272776274], [6185740772637822763955262276801981526922691378460728433014709377501530507187553298339980208493872629045807154, 336183467231885854887817578319810153326456152258503846619044854354785272908938372650563140342884036, 6465748756439406071666778485171818612485349965071739071146273873897748598488307388121940, 3105321186304117966185456727229274917428775211644576193237304771970228239428294354460, 1198020579727069425218085079494121079164702609424722321335872219275663316314237536, 56308288721913182606808298387757519865327031854392626405531325589935612500606864], [-2513201483970898374431169001727877606851763769820755444471673062972981697799375445739171756433172168475306226, -320117573697615474168793417957802534863458139730933134671960480122513745699424583430271279519597319, 17370219178132979568319715286266677405719901402586236982618180139823664191476441012539881, 5617658044566915979373665176589928304204662055675519804108148545109356358973455443303, -737210625139670422859710675599502388824057569723791640170561587501338723196707856, 59843521189931891214481989908550717707308481816800072960151786867831860344185368], [32869330260673377169366729613291782535475453792667135525753107200549193856589435582367538340645456127028703892, 258050446529223426812193563384545935101042121468533180990023173083013480391482542020734547209915062, 28979157592343967456785666107085177744303734804597255635580436508657018755061179204905242, 9215708373680829726524177690069161851094368093846888347360160894667024331507780794754, 470638067003620528334811480054833874547024568563958961286425872672821166997577112, 774794410177626854385189983707684318070067080665659178117216876911790361734254604], [26768679793904019024488211858825824648620398699686578844530810065703137885818980117891365722811280832563224840, 300017692575105017746955391425444453546368905882091950243421076994956216147018339484633958393769580, -12134820347502552474469023285653961176079755807552084501278153517762372456639126379810006, 11350239377917721120122268610114179662938177051851928543173157987690706692405877768088, 1033671516372476386520291496656852897852916357323720345555856081236132499481579508, -400126411631610672248112843292758341827793188577559816747393460238451577921485566], [-18016515405992611430541534220940430025465260190504020873852250467509710321307181392581793274413621463237571044, -621433499259860909309350535122539511038302307013952164437687234317877370651841301199587784178675386, 22867952222903909916037893917105653055527947815611322097308989200854908753543239515507350, 28914600148483696883979929170128602593586094612587122219957436936026618345897173776154, -534164740957124524154156554479094723551489355521037530255183238838169187410525856, -1585692936890910566302868778835477770637399413924396987528051587102889125980162208], [-20378103906588304228531624583240590884379991037873518190676137868478606173061816983669846213031247889598900092, -453577951973005783295888951526174687929319735288391713741520163806923287990121305846458714466585580, -65006843438566824452821199965194877401701012937360240742925253386735060385861331767443580, -17759504444621316136032934933799246219647179580834253172151039359132556445126711240436, -1654131111191467122994399645202918974203888615878012503921332338585798731603039200, 2403046344793975776619667169613130170149559841912458539740532076271740024481887536], [27564371847999131395489705644116648720787196197325667494748281789193342070517733808871481176015699690718583344, -1642836007991923771033168603440100572391284623821057297900959052062666703151584105267205505238608650, 18014825518064692754962432426586841194508838988009932568690286915350418605064001949187709, -55468164341790226560329354629246858654505248229562620870027425070883956331575975209284, 747907671834202079810435119516903463426379023380332670785340960201023262518616746, -2656510647007259475406057710023825048336417734882804015324070670555562498899737127], [-55495747670101646625165105311281293534412028100054734916261494895504245514623415651938328405475536620696741314, -390259441972881693434214681692907471156807607718800769995894045698815348413791845110976418116996961, -12419613732777736563786729640372087321909911056790792567649227537198242025814259582203062, -11020487812291346716329401327718401941293429499683655003829556831642841523670471540213, -1057886109582399067102715317276208660667440378810436534562954036544282298747066414, 1370753039440800220574775798490918240821090647247110082021535979428785487292845437], [-13211645635249654678578853026780978025851800857637725244057435471969747977538107125402560201343235138923474606, -3936182470068643179430897898653558238048542304284773622751610090855272553527230759704263960589504052, -20565203879660059722031222787041575568541467915375196512058350400917979542124183725341960, -17424509319391234906495634602940007497645494711505735477780134881135305313777496737828, -1304189657558797184118626379912276256776469384706248500009418295094739133523115704, -1348182143312822465763429629137067671338168252766146654853938432071942886547831308], [50419464072543396073036817251094684859362217134029229012280672006093426873920132780347939180023206813333286648, -1995293915592559502896280768617461779173571931324250640357996703515787026604755882543226818293820304, -21744896950068081750744002659731163794524604924424190412689768205721187100643857578680594, 21925228413536285832718396708484651321020490072633091667743316014655640409427536300820, 78918339166508496594095736882204118653662107932818126793422297211618015414840500, 1623774408615815355144716191774758691767890927800895225315831779339293212730463330], [39538544049883397835002094612248103529601358487869101927608950573354195685467530226089615071584982548659202296, 3084092298310410489907725703277399905244253076002443554295837572383600694711181616070600094066959842, -9848037098112810366150896946041797641946143916480085859067993495869970992839278025048935, -46121134989729957246002346000095584088400016465271139874342393934956582081881476028560, -4490065811966845887481880819830931092912804957381062006185579991151930230477747126, -2224850146999185603604720251619961639259795890818798425140164240969420577612369399], [92820522637330816871020530805670858542641028288768785857235057557592804707225109023564783081336485766697896796, 2416324802553618887419137445359827117578083485746352456046889364779149413928254873234534553878013988, 45738773698069557006452894469533706411270149153770608115255108859513309950118103955174772, -56817373461332800409578385392415911073285705128079176877340641888229536462399238962884, 4539138018286369875948219168395319846089208410992373874878393236480326209502935904, -1549879563408250756417109043696694298053632597526045143503455792046461198215148080], [-30580725534475090624705191464568888325466016262640725003768328103802524075545757994989734105348647601272959532, -153586389883056812567732675049240234041727100752019726080858521762356334459501104873726193032545116, -193175462020455093774205984842534830726858301178409818351507935253958215532914005026372428, 83620864430258321576150436131087528596544685091898393561694595966414809548615510018876, 3186203713441143945247197976965503963173704922044229811926040400407085356311759584, 1018186345456526065372760147745496039152148132423822512657208787248812667358212880], [109030539627936615313143111812794498122620614640788285001030996301187152725201099155488895869935333312742781104, 2916082046967523492212147897218941103184477092364882658347273904270438813086321779612866721614085600, -137123572050407292609453698790488996992633734499408138565403568553178068394734607768439516, 120551679748443808606084893872816512987013414848477748850206245178816023122621322415256, -4441156490794296309731142021547960300544960132621412656903318432916985515190081640, 1228366845394259961148031320273781969993184343584973492063153436591727917631890684], [-35169588571034306902139273904681854154887778437102665906917730015262972736581659256783364412093948800944519746, 3360309284976340023995657160938128136050900615060921208147794983466713008277396983620534605519498931, -18915827036784675327088680726829450143551545766782939397512186744214559878937299804237648, 16801537740060802691905157538436106476992549790614671231674850913239219250468429958611, -6761438052897023812004694351823561909889362093545400214215396748576563779654189762, -7328609402308826902647140190606189442099769968825446190326337052735644600468011669], [-68979287995018589057057565634600387825210006324981805582393367032284641262912459124533726027163509522235404638, 2448063070710406906940611757052816498301231257307614847098405496450391088975639302488901709783712036, -285778665333853720880888749361632744232990738925394071399379827730580621647513713412153796, 27220834190618366133263568087778488209261055454718204666706250674189215058242199198380, -4217565589064094885871486224672249675831425134574843171149821687652779551295232496, 4092785171789848788810576663304388083132751841380632895312599111914581718772126856], [126630124273755345808502595020726181047286019787615938001011646401187967265343867320983763371298257908450375784, 1855564534875122221134540271470395835050906763414083434388242937262828923478132101908991268873578852, 103010014231306993155259469136080484047228903782080932152129010852107227633508094713736610, -95890470036717073455146901385941009554493947062617107160011507320352936189973503158368, -6931824553466598035261919249590816425762233084212352626127995774723493937370219148, 5262725685851429757643041815361403291933690754830141174548921067053160464793240386], [-240317030757795591149522718566696114704307326888592193986753510167031495430214975873011899381589316943464868182, -4781880352699245811662944232952541153433103229311103063582491730192313034468285977949746734045881784, -36952778508493907665270575565322293694932816986136117340882391148699627600270768770972088, -312077061595803861880333167496781628111591992184471564149780406241830920952361371841096, 10431952304061607372057186344927903696253952663002305891189454375067680057576290048, 414143598698388907729622910006143894778728880580210626841905435880012432523659328], [-17022218533807115900837089643333197860251050888975285847671108976936683122301029028275384689922433428498045066, -6387310072344258928908459604728267069304138827838563875950915616033544611760850263804271008786046875, 296435279776611181412459669719593264425588400497826699685035728473108641330236407962936719, 238608307107865938162119189259506097196921396741141414603295952615159302941853006241031, 5277933281659980014589134845493046664135858129351850510592214923418741470770446220, -14940093289712366555996534729288193455818261407538839356598543824787020279046981026], [139527680109463511913954882423753842662363910957352689879678956618852231257742876969858881405059981067381088044, 9835944432363223315117997218439977183889449680695545980683382770683096773669019305338355232676905284, -128068424258129877939436103238604484891901294302029885503104499112904262659568384412477644, -79596230607199470476486682701669923912166133055938864564005814884786931348149897731364, 13138994258569186671589484364499062287979955530919694317590323843629742054220577312, 2623185278529824836819293574929452524979719438145438480863617108514209957555636272], [84540885687089972449553197051367668502863646151254081388316887956347965587334762505334825488397585399230745462, 3544429241086224685673832753106064403489482356706202464924381597699556626187495563248219300544548311, 355702797948932194813434601904213179271402713112984322823700805207323022684350601763928880, 126943687618473937801501057672528700837774989275421282328001350697519842900097040839159, 726887494943974753481033242605321626147728655869420079959574579634853287872373798, -6365898961984250975506790834638757123726593846645515294529155153224202706218069777], [427065363086677522049146823273675092372329883592029423974479435401325560438763793414045003130790297116059600548, 1697672030972289682718379471293081821572888654924596905870982802115077758365579110781378280754078256, -325948864040068250234362873176806291645021154721234944872466668531775676679938052134076820, -71617372077997219581397744432399628706430863936760965982434210825409532831381790676136, 3272001816080700584493254094746267183452990178957345437308403200777675213553050024, 11473325730640519701346728787461811411798305729984130784903950551059874788564456452], [-420034103329151442578538759399699959771836985767651429277767989783626288156337445333485730401457123544948781714, -4061158732464949398587905899275033706359001626691936752894032765232265890489574725046729399985630135, 155110712629505870910066460436426725567313685541781653114742810696435073998528107655104295, 180964546648440891470015929452236772012976806110035183588849275692924157350730776106427, 23423055946607311278793196468918345526686511937196096158932291291002831026415530628, 20098197206805632535599867404800602991850733840434594157142423570664034791394039050], [-11357160325918760458904059999190024665664764660669672857143950447609443416813794720267469778070945115406270694, -6179445643031416017469223386175814172064381667664808025906006280094916710323333273400183864599996188, 21379269867330169463889690553536000770836817413288973559343525887324078644952755113994528, -263568398705499820471329417554076465182392592129153386593785019974375628096036740464988, 10648348429653664076279040470233292741841905268575481404058019386121355654277521064, 7564970796252379673282670629107840076403630977864041122474516337119375625231116964], [446551443537191133569028876545466803279466927465019014861872048453743296038468584832086737116180391184907937800, 10385830858547948407813141448810881606279884303173702889180157674255961396652865948581398965007534846, 1185817237134214937242712048414035353917565845761564595292310352006460883706701982524923475, -151187245938674432592781067492813220774901633188325591434849667230626064083955617924712, 912656079899558821020582084415531946515672884451260126802153903291334321138247486, 10320945186741986455024967595891627872888679585110102158965498535742582061919741611], [245240914037492808112157922092789517158328430837173515587329020134569027662531792612224389888878100636872471964, -36051759129979367393512209303499157712545453781960969113306272062105011579410537775593956808342947564, 1227973846776210948980575243437648551985930303867196429382771336579290595340302661708769760, -216344500756371372261649415113369321149611663227971133231852610088833169267046841902252, -12854715048893509560332888815087366328267445839025410214316381693506969325314829944, -8047373593658747747077803331786703660433774937101643283576805707950134052987681644], [-277688454401308459567222796482518486361317786595910637482611535238299573328721862436594196302279566783522419546, 20686543297336254876046939121516024412144865028740110407391060859634484402517973675693401829254116319, 292403544130194028896895672842409834737271450847018328702930963510667620380561474955779000, -142164639384694233502978762484691987111049460254576283090102967277376897915645050701073, -33046926639214091247624027200999133630171120972028177330506863640757139354396638938, 7971428624062598251849621471467527013731969733704802055454298921420937851015110831], [-736104269556043837797617775379925372470472122485393191767041531409377766778728712437159419533663374135528048114, 38389312522012964659859864965620136437587528084242220100612220450508643640601621752942299998511963663, -1126746363351562193779606784061490821839882857450489174067221832797203139913030590877771254, -938752539476675555882944108374801816847836160641629929561442766051382395513888557062661, -52759701628609462801713557127625038730434791139555213864800494176780144808728319566, -33202387468911406484702001397634720744594621885291132223546272341278947856431481683], [-429865893015815438311512518869299581065925914156975678326447466763514236979602070735003769621549255114238781102, 22992538329497780330084440533486646346656247333330274050150630696840394227958502388932975393498344276, 2321873557875364879643496649143122946385380963410604157467854162577817064556760690042675810, 1236572925955558735298274537517582736699538803473847069066624427115563822204808597505424, -31649964557081111232487243296105569467345944824037822453663474576077160986390510860, -37190116193932532181773868514262683045263083918310320831345762388135465850204896014], [1890089343357233450696755594919586511921160591672993252567250645784392077506281043472893688350813668087265940636, -11310208773686879038548737615798954749065962489777592688525448790898944243137177280355811888547735260, 2286381884127912153868628314159645666187550886145978766083329291419361828379961140175262844, 863224370306350586458118088201903312549183732337427928583657675546366977017423113875500, -4215104936773760168040830843234771765146392040397694283277101001066576193523791600, 15434361044143070537581373291572813518826259538167452876848648818667398572294589000], [-1060065537523262097664000235140907710559329343910244310784215094107844557080205786271942096720951955548050925498, -801557712276657546767600946913700212644257392021227037550078245323126446853527169461392155784368563, -4854854531217023736120947780541104515298591876351742895583625645775073961594425927469301199, -922157779537680496108611759316820898823604607554684088817002259200802191907441181421525, -619605508219909182922137162409585976678540357783369504730042386533726248262226968, 16058135383395639120809076749629853520698962911575706994918906760657244208257341188], [-1838955552147474222085998165925723250838439563178578733857017775415797677255636017728297378606949601458583477190, -67244710551596724923673037750098972642984921566893837656024205904504802657988684716854082365214995292, -4472194403722792858994293882436842866496039531145231359360078383716114138723181961262816332, -416644563287737258321452222592095527995009627654391151742802841543358581328521793123524, -39936409521956254192333836767278485677653290613669723358024975188937098414394096288, -63816786405879839681508970500491277468984167995127857426804933703276102097673309168], [865896562382501335846755521968582756470467712585743788846680836062049553112360140942670870289281748770069763252, 37416748703314683831038293007587543343495829619122929961944065653526189754203961206930146717704269120, -1615226065104474399678654975281816332489127675628444152186972571640541933479609698719771090, -573935147385371407348812042792049712876400855050126773121042874954973236140291056340508, -69643424798872063794858380941639235281218387357987739107059667922820909550358836684, -75168939565294832309184606245857915407176564239308364304551781727164428637721261198], [-2079893027676653090259940046787231916428229703046568099715733695864248836849281503010345328770336025104781429954, 37920321339046159663543545773907492234684977279473586616866588319903871924078606002205976441354049049, -601351325759871659191643590599251362393133031985428218359226390226947332485349389000362311, -2640559006358330423145663943109618825651569858475948313793044294208690533896784662826265, 127183451868133824422903443502491227401659279103210876787309320269228429805241501072, 75690903516621871768749842826797615937631594077411556576052382301003320055419088488], [413625216702702291415560063029405431137125946098346402366051000779545121559901859615762309328910573473554156318, -100289340783735939263256187546414159006753943489399791547291439172850208640284332199618911327606480381, 3701038191898650170759178053935583751596844228484499087569417309025489065554539400044605070, -1008650827688266264933890442634400683102930855414363929224820526381197059522787150149145, 30926677604144788387977624501158049675506750057088934315872658505513616333905967954, 86103872645765729166906183922369786470924846592315344132107330487915831812967771581], [-755624457557725467439322856463883377832398202912035074621473382549526141066180894888388643941210901441051497620, 41480240046853777487384447488609379913858367469785546714152854978895805511724163361195166694746740112, 428496122370028900681329398201158505320618030532660676678437981355922893968312184701451764, -1095482635138075884396512163575099184750191435045315369980997963851253611869824851932248, -12606974155812889779954733806491554084476498287441330242308021556800644271642444264, -202040312776710698319593623218840114100470129225067251891343461375772937389472446628], [1080675819620772647039295183123434483692331152368314744467059124009157620046478870683048193917927226016430657594, -114697828195802946453223323367371192154273041129589824524702842542832469371016031853077812291615593352, -2369143609489376523018584154505440349782214820385018927643542272588475217282276618928612272, 4245122193046387697527438462318369017735285162154443326140466242740273601642638557650904, 292862890111624645754242941031001665821445025274839139865828506898419550432946496144, 108769293211301586080074206696529395702177949367736753708059702119932725595876242792], [3972311226594492503124951473473552767374847672861674323439235207427418044759805436177132484452115672984589185304, -75061639462901996633083848780849505243006210059395191649344178214925228666325731498574608151438461982, 51963404958897335065155863090397486110281398456825324922973465808040189363426223466552157, -554537053272407490121467523899510329109437763882072196937083360232343563515871284707864, -72929708673765579572563327633609093831013984928138743668943538518065216473139066974, -6788153962584732870248451406367590781516738604698604194735063430060542481188508027], [2287252789310066387803836936718246092228185892520364527528677539165211034663535696237312757831603309828585010610, -324938044367210678339452452281850750061222475374564452690847525412267742267106751280271802025289790384, -921241267309158553782345734707367087952197487474294151917886904337663604251154246506485696, 7939979159207131888860068417855406878444128343320296371915911307681461089738160780471248, 311492978707806906759024606157328847662428396507778123366928599356141923824174551200, 243989726493156698121843646183471954797603506411461358690411342851475781986957899152], [8090400235560046413399260570544177304028968035313112993634465185492613043221176265812289412934579593828927818704, -65088800446744589720084596004289116105249143410422884330129942492254548804869990112716768102451768190, -6491377588874940849494479747107211253820208051632949927982946128907898779688204541600320845, -553806754058096520459755668238530915819848011410237387914123939198475897723635033558180, 101392606340566767809132453542196906794665460081796747749296516593903903844906263910, 356630805839190554117901711485744734815713605339229235852922585017215475918391051695], [-644712717161653883614931154972919190091819772766842799959474823369941297075370648253191439535003465746755260044, 8734379459373605927821538148122526361726694013559296252068587078477405131462733977168881152016052178, -3928757034382072248966928848671364559742540685827718253067835357485796691844768805116867950, -7084186143140404970155712256520467958932590904852065866227931687171087461546533921311826, 504078809729338299643903002837124665074324914664913869040488876364937058471991676928, 435008100837724422293238938578489402600266071504611279007853158255504772615342798928], [9134041936006507827225451975821712469193636108582270173048754416238382437757304600272983941224958905299740362190, 250255014098186971619933875645515454289956705414568858359426632778833718741753717067523108715074496231, -78573750670640786974698855236314494653963905947624453912758617547657473109368813981096386, -599092756528058567853408971292269929752071082153311073291695897038828672908619423850645, -229875017683395424990533556741732037713540341448621709439605439905518569128889507750, -437615507552706057793264674335610856636974047303316722346398505307484693771376254255], [-4461065232871031440413415951445022032579160151570899088630962288685598477141579111885433141160585287684336826966, -297841096808937039374078773509112610155269549503542507866983787692032788254704977066801470255580198210, 5716425258735891447730260476660065015232563786906828345043225142933029188308295841594645996, 6031472503771295515120368512722256527171504339035090615874687473590127223749453663222502, 487693064175764259480738117681396207702284864899589251426032692064286311433654079796, 330331723491370105966668270749148296967476106022091321055837818099118629536026803362], [-4594087522727237574826299810850141644834077763896418170773743106152852066736070168165007128403685166621024454804, -242739949952959145472150398493072798361487546328162686195360936602741292433797028180299755861746924620, 15576817545900173121535237117669480771447143713766244775976807374873405700944972772665154228, 4372358339440578824191692768776224257680817379569200146839738165695008576554186887214668, 435194651395295375846960773617784342898047097616988757995201200428048691117761076608, 340989133579536240525004804367030344066271487394047561499410459699523274113683942304], [2076507847860782812161030486767884158431793141241247157313862153758318255085817547060220694077503217372115055632, 292610418090020662002191219210100488510849910534758783791875083813823055010428338011751965458792664732, 18892953123141824746848916538156167040943964576080892259538770552578812217111246066676886402, -1342177774954663770665345081962243544325467708264904923943696575664584460953815655721192, -676991262674445818062666234920102958364297441948198835778995229394303972174641339548, -657082426048330728873266126468533443043558994634858647372461991857358711484554090790], [-2609527606180613949610319944371673062091676507038602012979544852022942764106807993140057157731310783891627043552, 222104428383621060022084341195826080448213023870283952551506426695880726469515925947839402620399518466, -32050260567670789698129992700474556601967303491013059440285275780967345294806524594907845981, -401027292205321919819328587606854781906061393035668826538395434622956632862258914390276, -457871926374668579471267502706786025937770368652609955981895382132754751474727868474, 308062631973974155974379473072797975031978969398100897803077332629935305182949372735], [20761389071333519600570320113509673938688486485299755648427210741646285761976669276371578813434042068675324725144, -146120199706347204323630701839500986285133204219697968414770834087391780536848547246370440003031753476, 9109428021786928702917107646983170915987485976640902481737811667115077822582798510150018574, 21718398037657549145251091061946098689219014443165981011336047298990995547378028985176416, -109595842148626938016368146349980201213820927330135843512904992619157863395345167124, 1531095191069009453159306564614078146085336610415170645798509055190735031739859518318], [9289733375785580909419106776900903361343927836909810176956951414617712796744849095166887851903669162787873429494, -82920066999279469072405674242508089213403339621532339729174448683942845653945149687190525087942508509, -14860504287699455602280689413271460843981335633189586808635810177243652671098227419700699330, 15344842876475840819824796675334253990987842387945094609967823558830856072583085376972967, -970470126277314396982706235796188928722531492676756668307777870312590872606124405966, -1261863737034539936278219634385305273017923025222359257127262597046901362253411827411], [-60165076857736851246031444319845282605982329531518043889606191922229271272999971044341969891358408597230777519260, -690792268233522350758550902767554251479830221776585612519160072824018400823909555265795781014370152416, -50099611808825751026466968313676214964854121330965229253100049741713140829627830970163838778, -18354247897460063910355001225197389965398580755920217590654980572495739903700908543723628, 279819417485779066575833224800174611653510411210825421024412129242055091556096096772, -938380373580336317019829903426515352370111454606606907945877022648990824583554040774], [32326962961344118384896827309741709883529083219959327777115546102697455171191552422961493276871553510750251908176, 306168416424358814960709820468713887229270898260260707376373472175820901154190743110517185622592218368, 72252785065495723442599619762262188654658033300371815078979264308714923081760568899594782412, -39305381386599096175006833007930643425312185239692321963504345674203867228871798675253144, -2298335765042931656150148603190838032016800174876803073766401277532690497620107282104, -1228438142307709222268937105573234818613475517997564640642461481095956153879618337292], [-12082899551991533838963273178246874865979339051136797229293778127316447163249475277543771057078242138550641960526, -974597291039433497424232552353529916217800507986403741519152902588940351691304065637802183874535276414, 35141397087124031384391609180442563021334706856226486000428781764362896677106096169670570608, 42307434798630634400822941634800065284714965273024604669401555165896367177728910563576226, -466281942259389982857464217084912728283623504222046929602171749747438024041833306956, -1320838886187061007158250648975688334379066447540785798163982263571603747188699045630], [40592638965536075316736318449985259286731537773488487564316749099292675249576974479631980777601326166013912555502, -784083924898064100937224542297485009284602945816251494415711071054932520902841314542776117860141591263, 74693875243619190561051596822044391194941969442894632770513637258957199978873641455938292301, 15058000736314736674770983070094958687423572144654728511641053353825429113681201846410183, -259763604339946011857106749687571088929494405287946611723871638774078539783198216616, 1556368027680149090123790154190417550115297406812127153284145863762304485711048720348], [-53690027429482925435534739464514547580961206974662458132796489442017479306959698046604949903859833130803158587936, -1297839158850088426479769887508433894888610185372219357367919711281187422020545009069885345297041761906, -11155622734131000737633456428400477307587201487677393284760533552814723737163329281935937811, -14960611234493860373379478456867719835011348136415057392374455097475859492439438055964812, 1361118366823561898148150835764485369049206033723248910362414685145570795596233499898, 2254674417720190728038927657798793926038965479932918946358981459947568507439302703169], [-6861084262662433114957517807042079589715990253352620832523876418756983048672346971753174284565728573869785039550, -1126280265787919409786066350250350220892390182952421438764933040473874829323402775481875248153376896508, 26967931356852319054927208338550297587577840471835721279258746096129559478708396006268373980, -23729309467018631503164657144941621540253398867667333076103011477573927034756127359103412, 539176195984423578273880727417725729043746027708417087451613888395991052523460160784, 2036081683109140776181885929957331346855593572764157409358568721801841362584827284168], [-4818202439093208172888786876992482529500051402330525607623316444118643127217979343683543663931161380050324675066, 4450420106658033605374367764964882807631025515457526162177125058315817212111840167554624319065587011313, -60725855381689615291432289859076916889829749565188781393746817537932829486677032024524969031, 792053728094413392050510215723036777208226598171286907800264975552201774276957771412671, 1436053748777213764163935532998395681201053795830545003575179108053373723692084619072, -345551192862114872955077356797470809424014054218569524390101128331242485764568171648], [-37276571413083970755049905177761761313081924058224975921389210550557919007877684619953584039081673399826155386900, 887943793442400365091175324379681004962447316279129277011273731179451561165070555588439860777395983388, 34286450636660405407306738337823469146849054631758994937881770434590329914887154912856282056, -35332198461926102678610371333370707377864424234940773464181618901764044329604574464236916, -4396585656273490590768300545130181289345854976720325262428639771450993996181076770872, -2560109558407786733913461538828772980330947537538778210839637107820690027456090667532], [82870874704336108250524334295294294797125877164858642706520902129866996317039024522696161539237658441442892861434, -2201804789250158286909803700998502513260214612310342230020567680448450922521100769666023065732890985880, -45078056411982905681753854017060504236929795351357010304788567595473796023820132010727421572, -8391620303267432453600019078235995987644561958497533919701207631700039399305786963382928, 106715928251249256041760817261202094782491490546315575341006746335521178965353697592, 142900152651163920612513338137149403223344237958787478481471231284856824569109480556], [-19672039216369229534418108321823621516027530761088232172853916847621139522875713511197003188413803272132265959852, -883790510352814144825997548476126991180025187151976381416315751486634640703784252607255228125356232796, -85887170610202986714292004645523096184957484631824875589885932348434905451345472505147165544, -132109923871044417787689146429252444938003950851860056287279018425506973966244897155284876, 2209534394171809046122777113747291298553946360891465279454651843428169600319102779896, 184139256763650440947354132919496958431052954813251617424533107622664580212753560940], [83782800657307871843414820628129149526754847635699966668791327435149092936478402819259261740567432867576893399934, -1738903926923390954698290919398016375493857747000975553922858634889522426203716111254981423354665170989, 28108042622849973207237785188472933842428198006866300152264401712883420877186321451362050522, -36984125788357880678624394745381099363725083357124689348601556725134584119386182211285473, -4581613111028871562666417680089795521787377019968802631592062182620231951927102717254, 3300330175473811410392786471665485181182326316938295573600900325783293649551078295937], [170270235128199520281820591258143160174493528613680402174993151433218236220848796591381824714659538286848207482710, 675849568484254880860215671916767223448044082638055157935558970135618790177288714959729715438245306377, -32409041155934346454509415679003628563819934823450711559290112387530702785405736249837515907, -2530130775418390982705461723894988824352922085167196999394153896421506107976092676410545, 153057408324703778087909666797099649881519633633696942424675086803079362333175872968, -3146656025444232921673610771768129555363387811188967326746595838369953678763160669868], [-82377352986020593714434371543315180474632342832747042029404699428969791767770067050749874775146510971214041944088, 2936647221817163205323510511413409745348738843563067774140700846702577793960689934424643502635953320838, -83211870770514341602963332387229190928234410336472758323703210401561008793762964072107626237, -20261570040840881734299571002639212283955346677428919927948472050864864008449555766234176, -676366231959529165575581129583449806772567793331676717673370836899196293794513175058, -5664405696866723476107488960141604000860399776507472101237046074837191790435631993021], [78277007069365461738503436861139149028939350389655861986251429124135454064314756623457763230559890841092825908958, 4707036682191262955101832800369365138981077702757367398533798770932498850497892038584921083514432580061, -47362258292274775055305376385337999505624234999996856264961550730469099258121558482147823085, 51223329522527648265529064004564586123018634245702446970744518513505040268311715967716215, -9513413082655816626886639882824332993040662461314108762336162261707268610350704904172, -2774444030697269565080359919768575729387786263763653524345654913033474343976599067438], [-455770201556166208846931462073224803265290926854825241673380794287517489262419013757403418433511938769687590276620, -2278931076574677401309390501008510214448754574239811825935286537054573302038202950911666853703959479294, -370376325191483604826864570292119564051111899032155520646805272719453985947035851138821422838, 255121613011361197755032718305385863614561678157539804793662795835952953360080478118910702, 5649272417344556639940299126263513414369514546692304855433093429458050264063730219568, -5097624757602181959316220957947297522227458760596805193523451442987377190853874626040], [-612148987637112349619806455789794020478361101949145804458335429539488678552696052504030027045558514434370342420308, 7844340835056273911852082074744191061882323982010783242811985248469336527609959767030575867887386655632, 508815031501107684599914179041776455152459493794125093563805550319039165478700411104845168286, 63553671849831206279064003785683824690390980090944862971164830609049288626574370222212948, -9981244217040298712979235585485425251956256901406161914372716621173558799562334906124, -2492795110347749955393392267725512969401991220137041445731461218125796653826552954414], [243597551316929706091866150487556417534656509238311538134182416244541224933969893349966850434738551979832427801706, -17143830665013403768767900180605405171313692394018920993142147848494366930533478704600929977869281631314, 4238386216291877180713335056552237413845593388245816773807136443226492169783515994464127676, -95245644420519888432704294906374634122725480534838911021677393709393189210118902327065034, -11373870809214386194872783247217114496809890642399339323188337193423302136929263747724, -6902582181693803023406763707540411486180011920136227364942132720397608515654916750782], [36716836972721379167080456993238090764129445893793909357995938502199946566413056849408641878258543785116763436902, 1475725304243363596479067290079190886505891401804545658257230633513445228380561505149894133119654373937, 450934703281806940937470296300701747841863037430688705987010719171892976988025013854865398249, 154492066097765435299823473975042252695337945219346362029265410739601306428996313488829855, -7697890615854220448053422401879881995077769629452767041421994644657352546704609815200, 20150396472284341760544633823605175029817348461781248734232818866500886873709803576720], [203503628799524780368524474460560741389010967093392546185169004741933710730961120316595417011397243539891649800584, -3532346942186770787741069628659518335942343785770542634158581710314816426998740335580689879214534850582, -28925011463271414606155773040226994880106936070006542090086790284030091604011347175791331967, 2678395025661917403075541381515124978030733181839253728770706678701832507846230132041640, 4594338163256832452839221791527137490047950455182362805230812979654592041969559787146, -9027478941707772553446117975986818242382847230707434407234990638219720000965924838551], [15794093056721235522888506118889017462803811689468410536793531340163092482352802194348664166121560999693129587276, 13100964899477289693686671366973717735187092421615284927213900475721327753359894835426310012459109669184, 446368274018145356639045745089290177761354128447041481234578339587823466311806499837965192824, -549938516318350161754134486637061625528927688547547161061406985574636169203138326286064560, 7374187521761571879526280630494188380225649142836111300836887710244741869559482409168, -11919550867575206841720957083117863761099959908673089737201824609152477359230036031928], [-352317014754552313011137264967147224043337157649237985788898373143615806293037593590949136873991248827620022648620, 7388051960387311518910162851850085914572740151634636321166413444308525838526965797054357759919306061764, -358469749846079162170665710162265329391709648508992375391442012166408239226387202558573388082, 34410642539441272740277646189178609360153246397515106391402533289009937490413070433417000, 5299667577077670984362986243458453271645826505187880647395540761972838432265461152028, 32708719642430017344812909989473670780746033617481642612109498063755476643851854254902], [-207091529510657162603449210788597550752229369771415335784904893800677621584640383162514785476461647156851238126782, 6905387834713507491802819765409708233970502989260023497451062277875740343073103029956129312303553335034, -687419875059535086047143550010853225092431398767504933302391477060834545491422589775585533240, -520478651120427721704910465866158469368131353785104394269671924276124140796608746139306134, 2876570275600767730099337763910990393151730550995058260058178389963817800723998643956, -3316088552317193738913319567094687056970508787055962447762168695000215636417509452062], [-615636841638904674204839614707624220519389217279456543413225654854993888714234647774760100460495833953633671448220, -22630148768575887634366092616168009345775624484138261492499992506528594837999765488720649323552264460042, 742729572944139939189464036424716177641227497212521510381007249320405046801206500939429572830, 54738704011860685414692888900038242413399435104259695982395967658441750719501259144858170, -28733670738646928399993120077158821911348939475757490391999046907644175829382061491600, -1132752569332350976604292929224498195667469068614522334050137154906298076288682622520], [-186204203516291199647511292069577176749209681331380852321262387437654686575676907697045137552823698626773641345458, 4344840581087886321431416172697356931873181142273766383552594957853661460681426580762226541214025080223, -74189259966612928129702908850946236121867153350648323610811368006963038192233259461163059612, -156472827881471011320149240990180750352769595445274773192014058921310329805264285517537193, 7835556681789157617511838708012544980654645817302442881065461174370580316049152267054, 8573307896344425679187457266622221443839808107927561461010563191861466105971472328579], [-38511281736221278529780198074745744536380210277165254430107916181768868209081080060163691130403133292100843072808, -5915974488357527340897748178188953562294200679270040734905090213248536918012405290935448800686970674984, -1229347312171945128624998532116665356539689868296025935155509381403520879472478645136962402810, 92041345865140382565144286357083222676407236117080079236898459683116239735235281234859852, 20890359368471746783212809552054948175620550169974535301183271162626720983773715471188, -50504430609223792485867222736438066213138582748075110943258465290704104771448620663310], [168611301013683097666928569832087675399393005811853121122817812079892396995116343502640661153965629429185914948470, 44452001317507612449631570325868098545446210207550113671099184307512948668247131441666945032145637459171, 941493027649558995394642688068604435884365271899157121809060500426510481651116474511704777638, 838368755675477165219773845212855495250431525542565244291160486385122181628713812906028695, -37517167247728016590338188976966787670304372358018076090044886614635853626378587656926, -13285731160144747716201078506911389357250169628607656896749706599980250034337668752379], [-888572533170185771873671447648418672384928943906298277021176312217029062062275614850266253334699063456986482409040, -27674736662550211928976136233886886220023673553268249042610858949378520998636572566132366225368429737412, 1777535192083199788396106303987046727886784792744245147391039844080017195915530054281690267616, -121259539781775043997068313930270090281414550225651571341300216317273758552962105468007300, 51530954067881133834671277626021050507873801624417809801819666183750557573106922677272, 8600598208775742916048206828338736753897303721755825283560473992279903089721303770748], [-620234535678387375502310244333397309839961692928889517729523836967812803007304803571613809489139260526358120375618, -8993219386696598838713886541798061164998657799774973817051063168031937780772951393708355512165482292931, -1853852485011698909943381414980673029785293479129492177698209384696636377716581679500417038701, 63987187731197851293905937210407428581162482290955792127376414189306239746505799348770775, 16345172394941570152968624221747583968227058721566405166775437145121635007995966408532, -21742495245092155833217037339788428976477849833257796133880620331076129726497400714062], [-608248844773486708635539402331920060701277753271625694026627783943478533168185366267503806993261462044278472792974, -73202086706396737368162481923648169908107830853336636744977962799345065538685444008352558049333212660228, 2040216215783024503417389855854254382149689531546700846909300737277452464760643249746262335966, 1077467826285928329570563317399054072197910432277730600162985971461591401451575600566443328, 23829177636429619196315353546570445580038484435840608108180182129396691261791441405740, -39771964988197755581050788827741556524282862779596690025044672426446689963363912619618], [773634287777967207001868579217650978145421320297137544182570729820022139475806260338347665116186186507738802840364, -41538395350585512702969753660544976266643015988311798195095803810224545366425615979654577025254330946128, -111291675682346487854596550367640111920617840921097114504420709079244740181153830467152342942, -1298497022291502001027957294203960852475993765341851533947514515544563483075307527734983700, -12098531484337653799666576986364758869036245835504445936206028689223069510655645565556, -54163574065347837626048849618709952325250000525891147874352798529988064308161158807954], [-355862689700886221471296707098193698473597674802081668566389344521604114278926929102032796484356922737651112597320, -21705016686739381920601575867680760087365050019755288154098610262452733208772571691483821585172208599076, 80754304844065611095428644469038130285593728392960824232792280644054199504368184722824580540, -950590527305045388438473494512380667264462436803002387400120045243511051827275100619538076, 19317119900617287323750182984323776648360835431460357416041224033043599047308448461952, 83501468383019351909530755083478481293030990438060885025978052978247751148750815020544], [1448528027010988488368259093444132501044851536943018852804138760456781659286810040188516033320111893379110766858762, -19622717139087005337498723060464084348575631145105256909150889952338466472013617467233909008144261119192, 1953522183476204479164027317708540256144120823650229988285717602508433507269603867885314111688, 84411054666117443925614653106448018037113307546331514195814537384016162280739478070222232, -79175288400506194098444772034235271721466827470249873527656226082759643229487675636800, 9804685951019680870128184827482353531635004309237635981435121306645717293831677476768], [-994820765252108509951376883017927849844451409651793080598321752539473832802438505369435701613392335701325827801396, -19296990140875168400574868591456604069896035118552617790156749065665388348194320317137501050104011611528, -1228635455725670435243762668761122867057896174004123188520430469723632069837372613285398219604, 637313111473859367087500501985063409229546680861179428992287413502861932079203219900823328, -113732050287119647354388490602278311492961601945686844521976016595013585887709352585736, -129865206112085393964345708681739322077077720711370009061099182641781794597959332864052], [669446512752622257283012044496756602509831542984292751220191320783383050660724182888015373169269770597714018733392, -34138174141157211233280173451836025284064120017241518522481833368574026597702556593482351086638715083652, -417617914713384389492340590652611899420805007241200976117833035017688530192787049661600553578, 157911035589865018549924825777569553523666568203398121013291359966280190513854588653395920, -141420417677274345397373508213686864590845402484340157134236861750550612246843997935588, 67471443102703817081833595369064987273053257250858212976594829889000509421287690340838], [-1742176915146283409977363411801561992651724189257223790815337316548817876591382971035835243985431563955475733786878, 142441958405947242630672927448879382128038044996341915477941138709030915264654844773177324418698315945690, -1898047996139515205547937222343452567224749314755007026119888912686731747111032858198052900132, 453665849927369491784080288612792350699421170664835580950634736047839344679882725962266914, -6556043571271838689102728548129700290968431214711462096492161534771344024901826392852, 147400307480603803196966230742517059497290740970224325285219773372189453350140562126318], [-2309725268794461195251987017338846502812758512637601184771431135138743802661958410147993226108682782768318091785166, -71126345043970333524215827835193536351350017805885654760137403371276902178959137989713846188421967827792, 3168175812365073685026653084164652489837000229976052554356664422429123431329299394103876043244, -2466447187603776298056703185552493321570840973505752699743628850543911920068491659063626536, 227471931720755070622187637447370119142458572786574903387200764601246654687380109697576, 128040349756524958927067853935631794717598215277764572693552220645146693554562445033220], [1749565279450431571702914835120224771390120976358900896446577501629620161041881769117759971645067177266455409148236, 60226832925254770848850212961062252858613359904043525725224794716774468111210445623535433770083553991760, 1094258725239782629380585096223432212267422520969929078977314806099016322894681656908430738984, -3031169853647033564350397533442687416927607886946726009017213813532068714296413596980607488, 69531374035050516665506218721042199246341538881438618048006321604944221458546624085264, -177652076663916633523235477537082518403892725354265913259458426000577267819446781566936], [1184461446059815238487133126087850201300638143088384239876885358778535965470112287733957435708887694001400924819514, 65741575605897500754202676175016754448796330851501883577408870792866984647474974773728406626084537134926, -3719566116015627795921756412946467277557219162060553185764194502256237114996851165690582188580, -1641282177357641722639595723115979404304979667184654655294973238671101764482652673713048682, -51574731154090789919046291059657606297545412405426827415703390788806482399040761291660, -248545373220834241431051077014187784613377546447022726910288947071479029623640783620158], [2574136516399114140451709511700115854334416120681072757569471641545460361536235109785282971244962456300137472141894, -8930510246593974844560615480040096753411033494364160786338310056260040557331445478887358291451009133723, -6583136340385564639333481949344856139450279194374763731765783384602803338400781078336602044705, -1578557372878489739839910324635683648299848202002093959324391966905557702310110130498372249, 16517753247214650947313706390918834597881463403851668270329797603697702034010832391788, -71780373242062713756181896085720679817883860486722813093713811998588237645447571170034], [-297513269880267858415607039422194313865311811352568208985891975801522247267204494172748706972004806705992022899080, 121491075255029688525115363844285298719215573717250369556440750554160621716017432719529274236954932598282, -2860477507827193524955455276003078533936068621751498922175217588115976640131951784003936038351, -3981229831295797225191165719004221321089001326001897367416581235028935258500334265139699352, -175172052189013242111059225244810061805664265970512164252878454807909169088307983592534, 209819746989790737329820697560315590334750409695030145045211033211248399129043684002521], [4743446818102022248495100291893303307161478936588446591803916667159722611565670307546192554303424832146551329238970, -141365320694235014014409275952053048452040310846595941895054051030485283961694929628386650185180060674500, -1525923857042100838077028792893620851753237942775620945037507023705005560221850774514429778846, 2629884860858656206741501447477769814904480376819106988793012200744452937048992343505364600, 58225056051617256291697176322852715294930605539277295007679044293623777058818068225924, -66562939746203243747170386400348434446093314458066270237162393985363142463359615768934], [4844053295153275131268982078800655702792365139436837013747119094037992104742945117581790076330585979152610915032594, 54585105481185962837990927669336018066029995685446800309890778011983975930684276983528113947548962663596, -251177281855570568377804226619443991025172001243216543076216511149707515326151719405389932212, 589526713469503767033297527144482519580053875720403880156762159560164005013390176283828244, -254391630903211986441954397632985368662374521495289543101953050678198499340786681401664, -455504309755770277885305042238685776786995808503155457259296946368272782368391450579520], [-5399305913145379772205358520536733141852105462860745416216196479152344029891913614493963107904507104196262091321780, -150393058321956673467928377150445726346838130951629235149916833547227836258928062916396611142539081675256, -164070406599251844844277742348013815912833003799501345269626691212080020236448443980916492830, -1194858296957840489988375589768962317018633030639969636115755932780037329908650877051844284, 345117273620810661501219521698290694586014663096243388083671575132720707013439986446332, -149443356314464143866314771399171232783175243425345465470323401819102344718393637888378], [2900021361979027900227352687048102239643176688033862746660090156490094847093488455279614095147742152467306271115604, -338925607502413850515997781116665729548012395471948605506128306865229230123040725164319374398801676478812, 393798844249966475991817410113348877080462928319525839061972684712005280582356029561179344934, -6359114219858762922357269857174878549227179071032923137805070523135624187135819045208648872, 261798272669495618862090283810731466198824253742104129669879178685062228876085591546732, -496886160687565040843527651063803534294628249635031412829562555712888064144076720196290], [-3631341594959685033127548280672425241938134259504446690426675758096207797849844690602090130771781820075183587781408, -209308478244004641680139075088363694032231275121700482594223809774551028409087174116024544652095960979120, 9078324988858061677833859125206039268638151931490788861477364907528836553927384941155126196912, -434779461775316758058128689970248911348219971965008606270240816701878323512746781839331856, -433134795548530943370813504573119444250350289373901915917186272125118698079248166766144, -425185061595943237885847573583429263782933185736534018224801620250280534205340079113440], [-15209117541321659984833479035061630708869558677803899402086252521731548309251911650275034824216506826244107277256034, 602209851805622403637901129893542733398414098676289239669044937359885727556129959162363142969524415757829, 20053238666557398567457727687593229220438195986213840671158594548774014509701152409065753802673, 7161604494058421877251897421315053029857528549766575529217754257381529122401155952379092451, -225227470047922821831387181322454932452681464002018233125648031894817587816867389594664, -527183051745883561187955590951715002404632989089853991128692320155999821597506885432452], [-12959440421181307439502603652439056918641426411308624074495680961569523248324146928986509817544131064661703759014738, -134597012797340487563337665771385513925817805055241760801802171829288870538081377459961632593592426704469, 397480149585081279263214891309666708774354146250798377153883587822635034984875383059100055240, -265239433952972909257062489768941613217438379751939546788580361945444030637311996621292901, 701871087282534220222782783105069814305199124917520800194072809961376128776573548470654, -384673550552026740618604441433409733933863417293828851622850420579159259132695703821813], [-20790085751789394826722173302279149409315141321153792272515880645957044511189597469665488681280633312472561893420042, -235193123846724315457369602809499368568169827668239673051897436849949425566210678822914760214684659829027, 24002839176950823293337934755369572892877987174045471448250539366678945470674119740815609473701, -17571611267865534071136518656609303161200991842362833095931534880060025839487860543842093869, 913261748474509581472547865455891727171290624211405128836023189233029252365504284231232, -153787689970484812935791115464620656118671366579184016728366869964593696322782105262368], [17833474711137498155248378064283097337437295520666449758786041000559522861539042521712169873503326450379237885094760, 1217232075324507843557033066585983785032649800164674247375336573116600675336558317952644028571943680360102, -5939047378583701246074953882234264229607941237017811692927176411892370684391516630771262051185, 7582235172483929499463773457724084489035087146263066217594964954648271362967021323689766088, -656634281944287917549360274383185345105866089540133319158720259058596365249229833423882, -186349562133866058584062190251623950040145933776644158904994277408976710532178890231401], [17608494574853610416836859668058211415088970500304991102888382331142746233087805650066574709872301529007537193217148, 829102369887747190651605390366440734437312904026101058069962194578483081600733765707847941924270798984724, 23677529305018615119303993018021595582395484561712107428665223163435803835616230226649875833116, 6967347107083659310363497732111719644326212745695156258092490045516384166449934769841385436, 762588232704579972285980577267971308026089901209083064087859970382419763065862078887216, 278440701068889617103204501838809757580584238023025333575513464303918587694583279510808], [22836312301482916471953036074607779442300498011640956217108282787956780027338701558050004359572378263088827101597140, -673465688061984452644546792574615618000499566831172018542358385345732910157322000311127206095919995884020, -10948682951903604841303096790864035120884512438977604429353728036532749127622154804189266420016, -2279197201149455889287637355356829421572002542649612116928321779859449532336402922940973972, 441054692039774786422822600320680892814233738124958158771834378064175518556263926931544, 66652663758316790230953974834452268382012563607414417639399906316654284386379429525468], [-16319066564256486603857796711584410044337137733728693268375326516932247822427501301207322257392076733687762237042348, -34231675196689765870366464472668248085284917552169705807318615888069655597872313116731805486764046672190, -37470662117166513547940728767029575667775058794999477146547172808633664736432590678787293655494, 15387178876497639196467358618079367272142655326693653409359030683087636073841809069428522830, 314636161184244989108617527649139381489579472103806279982477435228027996256408474998992, 542348486401900591773964978255846263131523066713913385155531059151509804811817818321048], [-43647037025049466344050712445010584509201919827146023896308655402699343632983522452988972496230676446983127065714354, 188102750952428903763886552410619142599371958656445647331232498219529377143664333583865978778990780477535, -7365035275938870036727591278596254445425627937778228928163966532391383987885740327903088697878, -23981750950935063347565644783557376159281267401893545268375024533143472967874344333091776373, 1007346533257409512954648222919137936740561115148113586570204271077268687915723932952594, 262713543353852558322000784118967188998372704336776542598858504148824994278602527821469], [-1027136301116243063191889971318444615341757262163150401740957999896203349383150422356275413630862260399488912286974, -740893675958335325952871319652877963557617228997473257828237257951914196832981243157504343487185871967408, 25800266594811275239246890137507592516592902332785405373295218519663263338543974986071790884524, 3071857974651241528645868681024241555449149100195718681254427253235540784133483504685859832, 486363599847056639133762485003636314132763305311570166965410759293649584496560317823592, 1488187296237441158756948554791504240912041879845743701987787336020454187049229241831396], [21860416715091880751709665783997530431092137176753103790028319337010698575671730933086963505392664397679074779491850, 741470522020150198926278468256437743620483585711868826617064192804738439289652570105543321917640812154626, -20437122191169966815134154211881245023643550128924628795665891163796018344718771886123716679276, 5603279607052236428800535423247055703755568622262310522757575922580531187937536759625195482, 664401039036925608569040361116114339413018657867913203555775148015405303270416277320012, -706039526846927866401987106395923952764342891581582371319452974576927292814624308863074], [17431527519014021624030073579615369085064618705960212048019194489679427109956435197365951941741300611785548622080728, 391026175724736642404960564115593450124012447142509827823200410418020318250583694619585470162465277820462, 67423589895327444753382623181610841547302620317684577830933983320378968806534841446567528878763, 43747292496930871638494193593402265286737984779387916972109802479327016469178977775689636120, 1047871141137652171323056649404057621712084973807276901235053104065679038109894234296174, -612826288279423875120473643376666423346507016050638335146575490017348073686921978415229], [-56685996165484980024074097685711734401641514018656855882402180219837607351077969841938707436390199333581941009979450, -1344980708427676014284557142529160821978913119707945252977513075064205711398339124229227814810622646666149, 32877115461841643600299092066082717021987069666859592232264899001779452504542899054743732715458, -27413654765092343263095154307456163172342599011356920198863329897615480430734039148102223145, -2019914256465491868588798990380716582813628690056738520676030814059552990061583812779270, 116835234184073722662866913265477304045306326437507634609683962803865355494507865760865], [-7152856931082114518375274454099938612034873287254061090828325897755240137500111008828021656172926775926398146822006, 2546961806093688271964807710743202710892494725801429395606730052597564099741346867661364099680349430228576, -41765953697805787989991505005292924694837870557270659228808096675734374417223409526925694274774, -17807820806154550195477551146374472710854639518659869844562942176494858103329016853993880308, -1567259362604586299534890096529794079688835720675402068372495254799252614260371216302564, -1533396110343933911999628090887028036810035980168112205529070305364480881474875254133418], [51449633803632923251217900402531530701620576880936041304476630058596121231611982857287039005783574521866082541187118, 381670461815061902630379906009094084059094740187990059817859052694521122745051103547249859881376600872609, 11211198827734966215587177127878657948664045419818055917577489277435020984311367459944181031555, 13622971690878594889240718103057085969739701435538697089872282918731445101381726737981479003, -1769671141509024018404402764276604912004786924667676998998594267932886091060411612973540, 368671673524222877738183029099788200618626043096693001482408072031041910632819217184262], [45028899976242438157027767775254784078842044400671544825472205671520365399319635476924260252178252976640287917690272, 73211474519307155875356694871687077938772679932636712260623533488382534387340364471977137100777446265634, -27369324997798004435180200209360575991373721207350020673298031047505513538860360593241619775561, 42323553167271948329959650117417232435526124575082051533473075280476851492848925973802152692, 698659657231746587749300521837419541279934382110907391042836745028799903262196305423678, 2096388808327521975172397247062186620845031130940016488902355227840766772837328171492235], [-9748892669501529692246341767306385577976018653408038361335662897691083067596251513483364903517476543783249350540634, -3058449369091930666897558570860180608509037001382603787718529400351679777185577304683282211701624829945891, 74110593574373373789076034898167053942519073388218490824090610798620945663753577811561185472699, 57308122794433118052551849740737405896217661136650782606065426610981397310677986252929735975, -956489774312470539287057638464403507129091376338728622138509625441714629061256826949564, 4955792645553838052865674463356998642435080634566919647899701077299803209573652163733674], [22452558864377737070653599979631108729069632271626794886678708791521793238616810752651858346816649311860286533261740, -2363987178510503735678374864494371404566962976650212412978427785842763111815842753782829345311131309080586, -163171186710860042564472547610988598151697062568916054506612612881593360393710742295735868232162, 29364040093303132000408019753378031840634023818046273064838635545628739722670789628429015738, -5169211184378801686131102887449673307366057116326307907228418407802081158556898336575760, 3011121514167426224622813634936334106840457271098202325504631267645180942443323360724872], [117728001767954982942764416754203648921436836301681552583379892377944776274627666389742497741115692798869164201532070, 3987134764131848478930836252839139716314037936992686557185310439626058596491600143935097268615844060512831, -146515123591132087676445438882473111069148927760148097098123301389363762817971905402974289116900, 31125024065223857438210900716826814156101704192933704233992957667032903506765953603950200711, 631005704437590705455784671216192526475973358245629144001014871185924265676052822802238, -1975517873182635773098979350110246000411305585680705549525022845070936273569465081563669], [-108287083573290378524169887092968082257586075147912658620888981293934032083885016020497192159854740134711107910307884, 5338641884183345740360176253910644740134803395740913622806456917092020361870227710002072449466225056986812, 218780746531493982895480477672633398402804243684907481710800819934665114067672453067783251456388, 35832611754392105842471826700036071530732433776438428488288479946489346441106467794509160372, -908459406176044770249083288104794439055487216461589469708670828100058583950159149005136, -316654556258107833566742036661056187997864523743294397617930760131457338020910346805096], [60133859312274959376744733400921137781814317938414008379230968998424906347960451058510016931944650559229729240477856, 6410510374721340485246249612474113166787598515556068528894568758983532079328295332327324530143091355193532, 2898842628234818293974726815569523627186508888869943194636851857421038957254655762041174554542, -107539820637518893602478698373518394240308902744126402260764563326917844874103322610667780128, 3611657081539719079683873986056741831197019065872655943245254776334578877212579551000748, 2750689252817171530956662282444660930477201190060829699143557999447198109000206018292110], [-105559928089580472936925030083367574655976608462907823538573007604447060597366114479699743390479316478228278172781634, -1454817191998168630759974307547956157062946984348665028471107953457747310097825594773836369817946520247735, -23345068275049170177543165675486173541049545602242916092908047273505009824025809600206581363617, 67973135913580476906225233491378773132368228102706450959243304996224372924678867720370344779, -3142711961532165072033991715502527327354786583382748933349853368594499347799309304641836, -4336534847512708720838643850770773490232778532249518798531536793271987132678243782037678], [19385478232165780253425829226480329185283582245489368600698540037775151968484150835243249268972979548317115274665004, -1289981949312351575355481461917842780057804003206282607627538031705182816014504990452175283852668746417296, -282355468546088977579597059767397519054340456346941434095563897867466718119230547850714811307138, 18510424694601404358190370843788956363537679242854314678006601399227954793071709442660956532, -3698993032615440767821085682128343142023718044113726446957218094755758778073814550269964, 3546523884756935128161368547887725135688369214041054984846946781519640453864664577727442], [-139573778475787401400919438660309682863962292592923031382714907067925818689200286793486533805157261258777625451583414, -5848481969018283259713765066926509672466817499094417388332591118486286455434595036432200057727585905263668, 270166296847900404866182325903121702298295953586626006661752197941967265094594382900591811921964, 54629046247478163985872124888866748399097252407469794438418706911745196275724788273608434036, -2966957812129940416654296258441527123707040765523910716306609219953237374205560310951616, -1452446269665299850527457709613784557315040780470045323709943710028485135882025655911680], [18825368837218904948502426172607960741990263568388374152158717568709639865528915702187855799397177217970089583068566, 6039841098702127968377050918373116703322939726593676142340170915856461541266179983963755842877491449190757, 15568865158275263455290659975197387832934145427619096156599881582282043579177659566513080881643, -78362049816296980112492217291940618002162564622935928366548478009412455194272116793244602289, 5066036064504215997564273275842979816642346288512644307949533152020570415586232909615796, 1896488152384832935951936249238522192429207805858345618816652137238232719612448610134978], [-231687065113913827500709590913276487645457429369072492985295798122346755766366377075220877072745576206205105038779272, -5171933363991380742374904907080078165539510462188252346374589543123453073797026564900195241824501810405226, -206545326107304252657683270457688675697615500492632459545424930234923076690499372926285331271813, 86579765459922654868566226609411522832616741750419630725806427370635861653865740300101737440, 5380846231933033062452986741064065237755021090544137097780848947710379388995616161565918, -6981711623356313083303973766314802777785846198466217565406429637796579481429431419970853], [77272905995867172548481563585871963403153870066540802908743230299490253873130645656619493860764903769304376688241702, 5060051037175366179338810137411309971117398597642846319512430102021831831280174142330817656457550596209347, 107664005363450983206210238867298270479642329455104579139947667068045743647336091119075268892482, 187306568797546601744233010320490280014682192367990005867331571506688715901279040827911809599, -12831170495746518976764320932405577696758225833448570849541702772718634397900127482036726, -7765216505338199797892153199787383721481041547336106462815928391908536351722356850491383], [-44660594131492950377133008089204794327954418773683117475448753345496234302447505047692921683072876320931486708690694, -230621720178232984701845404667644559909599562494351713900962599090099218466538631203577722206446519249664, 32756637721678740141154812761084838305167898271781793278033389370401294102986616501635550061976, 76339579412409142841463700993496641848666954307542761740577373338435508716731768374950923216, 9770274828359259538271638266654018878570488682383916087899964653731674206285719117627536, -6180716774895620598131800089037875630170798615127642844781683158361443101435414704986392], [-316303418801078813983691477226302993261546137206841333430229711214618891446510450560631688397418197866816713470903808, 1444736118467679195659348565715589836679635671415872620269100426613219931839388209694615041291066952927836, 88445349466210223162917444274667931234060057328152420412406161429316746093758986072045302797996, 16621594187938322269639942522594380005897791968331919287947901385694709117026810846933614596, -10630422023636876563352492869629941245523932933244547085088300288831348572562506180326240, 2505968004842299338642406050358910160195388336493856491387338936785758201233355454144144], [-43090488050202281733641917127281456565113659299171079643676385683602139980723188984728366885754286211073998557566252, 12608352006349241777298518764396805727688219207535437259369763961326511998246396072014459192977510298183584, -168621019101696138552142625435531000649935767041960361153888500642529150151532491965118327568860, 337184393424017131106451926968472370442173703045471413290054459120584162803103453941976698200, -1893354707720444526900472560319841796468517477905847380846449691003935459268433510665512, 3270109607118756155147995978234522688097259486111253839866148952299674291629442667048892], [-139048655447249049324271843329622199570609699450986882898997649029763619064685163990693217234310333304166137315273214, -3966976405871481933836061255813701054013911646320682871816962845063656608544099441239152019182615543630308, -354994704323467627607513833679501726304185863760216079979836517843783959238892597383319116322370, -201597745638464603131075382595315898061200704873559996937725627548951315557628109600446477920, -4043277665971885046994564997585835102745265077624977117301735537649834264651770611776340, 9706959637265735421001065073112809514651390719926796874792071492210336135173625062706910], [-86306697340256860923830541484670849260212052067881947769592422508283178243619060367244085070977727645314595790752984, 6540720794489181408048271326942912707350030153248507567007023345796535321206880833934456781711221626710948, -108838298376510292062059579485489805955457604822277277143565977819419730344022433879895570773132, 25256193964745495118588570988215815306412572409229278279478113340085949599591053464175045052, -6705051479317512408341428657537182704493766292832716962592432120712750449923276482732000, -5277390567015669683447649362075903375303684514945507677510836963143318334314360899915952], [-112565619397437495488751776363284144776414620401969480268181033457531287090119241001693668272379538532927714718377962, 8758803139577723312269300929182930126442727116247699053477272323409843108898462135330290435562170582098495, 75797529557848892628497072175076863366225703856286572819015108079696894665971409025056050829658, 513117779980745668374254948449294991528932458787435418694804745823768639921185690415314576267, -7533190567301863351881008532597486767583778471561544175657717290464876927176322095797646, -16758539077327030056281929154387403245175565204836133655222696638504561381340529888409331], [562190633508444093111430753618037685269287332073770679837832999185176616916550481273288039157262369600030579924412938, -10785211241019525717466055165877823820869563560026279131246826546420069855928707226174777731209164999255824, -188753082734417717244616169260003640549823467709237758791270340581238118341089359173178873898028, -77374472759336124205139037993862829995423361243767529419442112725743811683907789145423434424, -13997524011576912672950622240655254078157701802277242382305009803258698217815385960479080, -6491153024522112920600280616776049934005519963052024806263072675142226872861333926901796], [-139985737147605997148098172983843451224187464777561882489795310653423183164304503801491618336428869721307535287544144, -16258542487935061934544858745160850144274381781860759318979251851354073682154145797434108668811868358299460, 371440906485261858096905326137821187724529628118462637804857530349412628354213650102472028248464, 135480789196772251946293815842056039281671930853798519171661630142539450601880163944608682908, -13441685160109488414525433248229289116250411176790905719698249997284257646042516753199816, -8640219485685383977983464364727100863878479936919573590691489791870075050482212193008052], [-311722345085203914372271741970329350363837724752605129981031167403830979376700719980442835207656212328282559615977452, -7917311870910747885719145105791944816807178590733923324195856930045094837447759450411591577165843209681758, 273935400772726245916379830530549317543726251075308205786308995115233462966045626366812104827146, 286796650454913592770525973340850290515476080963884040326728490251262319019230099534809187214, 31434737644578666507451597337301841001582194911683941872073742569868525590133778465222768, 4357778397577853779410526506908731155808526095116457269128853115761812363934735187457448], [-574524417850480506699044153939193298638667696791646774014973432625598967806198710492343190059281129088331714711619620, 7218574573282243820134356155100967515947394553324378937947748239028856356201293833534108373217254011802272, 186545814678017431146648751988587153620168573683381636762090027511166328340923741999699994136940, -507200587696987339306327537265252589689901325742306229528284909234214682628355307630297118264, 22515613762343568091712790420503654693973811679079580268311867851243275396451559243845384, 17391489174364969805147158963801455890549605373239236190623417320271133401928328920940020], [-423204596187710763852149581132468184995111250617756928040943163750373956224934980145426956927805503957084703816854198, -7367008911973941130632587042343146553353159570847817459560693544370518550484857336707830350061495908567306, 198738937651763910796065594677370839360194846487116349064256931577256756328907846043155388879564, -661687758908373545229143848524037887077192705418742894388590572731520566571930898393968259746, -23426161782511242635406487627631884100510121048965051123209452968809625188204723542569820, 406187478878671667353648739287767492828498632890037725553534290943122957114718452779066], [-630059819327015856862714158082761454132257308559078677300862789786119445430182992885251536531442785722238720538215402, 30606723776118780491204928427622827534848378906743764088254525162321041079043343687713447744117724840835617, 83874887018300294794739452014394790093261358354384900111933745192441261892386654397290297308527, 8324539635393843864238364234796198774846723288451714712534684141575197557703890835187872771, -9406806630054651976443058374544554489820721808650721436357883775352128061197993612235292, 22551014014296269237108666953188278736164175045939667078112772670237790471864427790939226], [459021858576816277448525501464444095386079405595969327815700961211271740517982851959482730314570779936928884856592656, 3100207695766647138850314240963413104717735549700176264687938334216150033657513911457617301870983554564046, 625074805053526670017515508731485728954673244181511502007586360772012087074601843881137054177145, 396934225128177716427748596941927155538798566942689831470395203006871519911195599919859615132, -54514833622739245584710170607786578056866503238907499280617380627815278756498069287697086, -53467195351057858568198926539532554701123234685841159113516676248052108019688084224761931], [1269398596749954544450603529141824901523421611941876086403857751990608698066844710466071240068144417985414114143337914, 40949186062674987875740440106761222123029306625077429089592463035106540075574714082576948259375697856629164, -1885964219813781455625316658724992885809330827311072122330664379242591462007267874269765079878088, 355746592392765702070453926338456156730878700268616912804308240788227199325692538560460533052, -1729738202053298083482106546867056878700278094251461709325804604341429212134774380702072, 11382492407928622551214507062858567037699369110809731916375561496823245896239915753566100], [1042289127327890883569285484611887243507471175798516331322990752525517697874472918473909168474183440575409070140890188, -77307571273300928310670254370590325459234651804110520519062364115000396367026423998986230226105993465560502, 1543555982539824944070255237654749304002635069476469238768372036597963423935390708422697208038586, 622517058562238789807135237166126710047624071832614786879686651667634919845194226005279647190, -4770350083420365894188932299319618123828130035277437002946828733731055876876677094238944, -35686345881314887099288929473812675851803325875276370402681188104370725960715009351640736], [-451205879100854586784250554404071203057222376636465844790847421206189092974880674389782881679939139438271855262982428, 3060737897788693748014023485043053824873754464882420137250212257333466218388652389197106223934703117744480, 660331807691643752571568122633170340707079299381568965990499152071972130662327117900087092252002, -1693783111029479722525352982498381296830697813716984199785830730999600526757044004808126058084, -4796202371020392365055591846000369436883550722580929000419655905894315256026614115941012, -43873357239182285823612262005163756296908321371015641773314063169193040364807681963237474], [-2123479584450216073455313216949612809147841194220316949036942455433416562646161917928337631147649526675305873642848048, 31525326882632703003613783200279424744270934406262423326971009767457218131681346503146305679663865665038120, 628480239206344199031902886075794899695433358370559351956505262844429462669841584040417097485976, 442159568389152224113073090000181675851106632759008718805374998184870376919780830263002750456, 54200111699198167448110339698696728927259433948831287289435261341492407661857315299522976, -54740596891769913361195243578833166678824964676047562964722163964052688125504079405498672], [-1901263129623517615248480991962833324209220282819041082504994663794276431031466770709645262495545791064390142557892578, -64700203235088714521116077844900586913591582639148979051736430764214147485360840941438941678961676322674679, -1648656569900025157564986496202451684303780941330181137668019986305813857311275628410922579657781, -1004397773556711960015795990928641727511289628220758454559766515519964538255594006577626855117, -105985094822503828833161104198342642227686806679678680181683593587582765552683711945585188, -28320451976656292513567074896459020170427757964054686305538346582438898724991649088145050], [675556966875088275676153174396579478851774562840415866158103992209797940124833761251872262678546670338849899987525248, -1850854903243178230749393118048016007033313153176597728441322233255490697170211764993201342283920977202794, -2586482225185622754972498766765944553308404165594241827032130093992110660363069642797213337479275, -737422010027806161672228977352389400197253547879135286955718212711499256942971887174918333652, -82130036266712449035109015060586046670703353536409799425888999557743132875356024626147718, 50325868402998677207024485530935876311592378372449331384941999662582881199461008525188065], [-2714421063022091593072128276566163884193656629609502827207310686115266229830270457002437298632371009389859397756502306, -28973012194530055443747691477684208059829465058951403957558758654815388384488835304704380277193847902783401, 434983741518299221408910426346318636400157379905104863311167483525321059903771116724402442421516, -595778982833729840761323222218152326652360524371519637925467400915488825524617467055704641, -67751230704535083972837559571507566600452918887343129664658796734569639490051701107092274, 941693323283764867691756475960985133595921336029060706956963260260798287840256233595475], [-616269346469385788530146968325166747325893960637147178387465248624968676927151830552426303573263889671867230572952708, 10129719356480622339172182182622100931954670929666165183614298951386015131974374835013594466060191941898014, 663396652377965839366961433652019834096401169577714526450470402207812799361605051832778745064086, -469447245977675863203619803735070337361263667951201005582402121244679596670208662620927755022, 113158514815848382987086868830315522663428976461041085034452244615303691776424454779298768, -29104389911150415487318704587970226167700157189449726346566176696586377265204666831079816], [404119255904801696729862753559821492075172081497588916619492626501084992541436794665558484824870014031894543430797600, -2282577604422741704687426241026898247001869962048384349475738540246764764226682210252480256698682042463500, -6908725678400406547318746362928839976869935098622174057863312384944781262384964314727801425198272, 971051150291097460653403616706132852836856033822101381518377589709950988456295192111787025524, 32378411104471595612770129345367860742013928245999189241559924943352715727722697555338248, 147827246238456654158261957453912931375791222800001408126193875250690022283727294862015508], [878884991985168336855470603368877857208265916069311994194937333293349217790069609490671735541138621661215988723665058, 118052887341554549541836188600160039761073356734991583563154786988576238197288449354243570636941276040925168, -444035545092638457720873995474331136616548434364705134358578591543175597965222088755801520752352, -3443277797428714371968397218292555483351310711272169761566773730222473669714159935524569136720, -168932886155403303245380504137699377008063034634990503825198310251151126122330400151217376, 72965879062647764398458719978143434733479824280036209952599780495302106732420673428377936], [489984301320778753432449031945416886261347626514968001545895556118143858769092611874104201097757094511717375598061666, -13519401274005283669388705694654584662957053716652441137520863643276766501565318017146185806535714460515644, -1611444007860681928392378684125738089932880240870773909646770879780314674245778039977331777672486, 4042453067397635378775194997568300587537212499728718157080861269973321443628798033117796830224, 92995557375260375903952846355696229949688814153744801510048774413233142727613720237562788, 12114954377687549345361168560894912939377349880908548194273064573251435120370465816829418], [-8375467656620205719486193567865164388447731769745828970952311255811161257330922557586414679014168592570969906571322310, -64255131724984101960859557969483614575013556060922979014944550075374699977183715102196547610373759380895742, 5810521899357573873084286389540218803960183183676523098418772315922645656560709865020510484828112, 656588768410101013261963769900214435614855028241276884262999974206616152137063570354399531618, -200823930027201705741806726889897033271972199468364564776756829661699580560222313842159884, 33827848084827055404510035265805567701914104220543976661821430954567805514910813568040226], [8652437502746355845881418614203304564826694004699814466575215161567746167026663762975152086250193099500343269301955062, -14988740078206349860825003365781022798285656091730981830579432413687721956238481070510915098251033751158759, 5578242852249993223632353750235169774960507516693545618617887328795683815067861966565190820418061, -2732854454770485016082806695532964407160652131200569757910506020154448000169663716520269094337, 53860334442940787549689539423431249063393069645173996329346386504132932544213895739468744, -54582453090971836776930862776979096245937135655134831862419139722911717298283432572242092], [140458143471051974167608666925388185660266474053163418567217191189874646123393662780450868358100368786099548364377210, 72183346342548832429450780295068149293255686462553721180336865771963447215223805911894176751185031687990304, -9509981217467919535939194151550822911351756233190886705328408949672707566554678007871837534705570, 1210784451875252958393324733050718696237826427335872433109335393188424093693912738722584140900, 231226972754526515656781818022805793967391871299948396810409052336080520581986755844649748, 180693243974861213318974835117610023066715939527568997272820693145762325620167946389352482], [-9148863580131231036387176211724595892820675291154329664767590140470319712102700415460958039965715317584766475087042144, 213452379899665007523524023269477945754469571569296733238908281113455031614410559727580727872144688800029990, 4528526220873180341525670884438281550890108410868891704373487463015392078748081246927719160243077, 2860111243043881700378816415450061975530687684754342178092628393586268723084069542318580930780, 152621007414111464055799067196257298517008090060653466448746561594302327815758350408039994, -90714277446448472517796464376430232293000414574924332653135870309824901274127480768898559], [2641580602887894119690323662366017850617690404061593233173887218445162526853209629566428770231518525126734478594503778, 13579911724375248464363766133072523295492860784702581258613872220381382237529326920895926072594602611905608, 8668454011874294236365457025070784054454434200058276684895774155546742217189691660918070082971776, 2846791193741333812040281410401769406895976530018733041285966973404100005126043512556024959816, 436805106733336185243678934329055159298914053362333589441079729316353530807294126602659792, -125191670395991454904772754431416122374206292204767802268086709658478870408808598704045688], [8833301480848081764530507079956792868011201712429782920102894455832980759901237087786019739594579393175824660766972844, 192103382398327838136965604444282180063519787934823030959867131964104147955360296151926600129949042191836028, -2787187989159304471412239380519474244504973082789585868887067759094377740924137655602003576118430, 3472757717061728989423240313722139471652458198309394400814447173932654891518123304488305134008, -137772758271952343258550572440368039386912139355178689638762964324312376398472695118618364, 183857689814258358163996611974890355647528675488764858208666259096766522172626062882011866], [-5024994892733168961136404118619928473210895696866707191174636778331177871871560218475601635111348737748081361015336680, 278355532791452552586221204775230632390550244699187775095459884129278180482934274065873628438443256170824088, -863308482418185347130412279035240541949955943426624137050070752385959646472204808323838302168000, 4545432666105517725563065269601101920647165032208015717241152624047991523831257856962491777816, -51282768255974416236681832479368107561106954285528860229054813003428485156681864855132944, 369019856286071938002803103655739933269768133935880705096075928341518834487449314347252888], [-91220460669591729385744279234433004679118488144761040967791714755891582783942448343959230843132760153479511461926392, -173208491925938203849353882644917924782040882644488758512181075747368786332508307905938282770491445974950006, -4718492567712873081494752825288082105547333750979636301220437982325772619978963222155985041641155, -5586987534363669854200734234580993750242762464077251161320255353751278945822292862640293434160, -219900469399315735175556924789783750952757090975094341550409359142008052114588718763999822, -268505704551227206357799539811095711260718848128903270504919407542031103175432804257374963], [2275916797971085148890787784390654729054072042463682313347466490099108721554054122429106673164253177924391185649812630, -268920430835722012231547025010887694653829298272877717706566644400765859665893234317260490397563306161641085, -19688764136785412566084422657246412880844748677954411566548784003931901753361338146359138543552616, -8031086769351968492665039055923135973337188369764708802343247841081707872199711601006610066221, 601648698533913154840064651005365228889251293619096769940128397360104947936178610466486990, 271871682195521936747597228262011742015505991035032360393153021956176522140928028140514131], [6317258573161933564024635015607264552400224337568555076548677132523153322593204858012512026889136870167962513362649700, -167203941114956049821748083340190257219690544364949273545965617681032930143151004014340597327180142370784636, 2580154306565512295663170737454617906269892425347533965757263215682330990352234231430059900001208, 4079718923432159658945005809605018160190093529053256137639077532812099584050653390503971524372, -164465887450669693226536745952527988707585346444319266663569223148981554987712686863686920, 224187145646390399682903866285358880603755177532097201417854742710637744352473195008891948], [7755152285845994198692042710973793195365042401807113803628114254651524710637526120305437894151442231325156783209239600, -2397161746267974677278486256361641176744011212283856864141853279057091068989119589618487562770459592173704, 27524655224466600028375238174742230227748118950483658055803967430106494478498554323998811064692170, -1173675131691038386335213337873607373705623748403328324676839547698909911100683121629210862748, -117174567208457374051249462749245043425408045916434919421705179854991822849627765272440020, -48950479924969670568513365940714048950488696132745344736019159739397323078139707146980082], [-9374087291510897416935980677289902785484154542069660315946424797857122426821534122824620906824641541219397303357448382, 204876484002489820292850579839041540592686642920571706420623571498354465250482552213215412982086321965666216, 11932843833890188424575612502944475228791690927210516019329385093868621975315915615810772782707320, 1192735307033053534424227067783439519777902285707208395582376698203603038480766301806153493176, -835491600393192425811588690077820723056049981195823538573767262813281406696464917093392160, -247315454678317875993966245697933473267926888231267216120574436489920107504572882246339216], [-5847960222590248644095454880638186098458012754900261908056361827293997698139011400700881211278953264318087981658523554, 28354074159654076136966683013571699397042962603909807451620677298808558835965568533356995461023376033599093, -4000253931162180067886297325551344198161786477510094702779815181603638911801251437969492135226619, -6847163912492220162645810735894359371291891381156440867621095136973711607757259318375772628821, -469480244800965687242184579587470760476316461665191378026872142023513934441578586011857104, 111615973792331553817764196045431492553421984150767611204015685709561171162035193402595160], [3938631075289023148325351298519329913767559685302203145676369307432443706755256449099888381651088862490169066943778644, -464898692190526790335153686035958070561868190855453702692185674123199731634697921916966173558311689980380200, 18325514343054723591805484561212618564285824057195802726216008255521277100636695523345091115840, -13131511530671374137299080975357306224433458898187170190801509515739865758381625902078536347304, 396155222977849667011930724785687080572531798358189083527305100989157251936382688788325616, 224999618619576851685327931195784991893384305742301340727222120901182947786962116737996248], [1930198740606931360813948245423626117613974090015078460528117215830831263652508354489878459515166300249590227753154044, -389705701087536735607627727744258045232120060087432928298718917792699427030116297169580458864091331512912256, 5170687658516696284431271904854275916158796947814026537174811716902641935090199971621050939100186, -1818440160840784751006356083939092823727559956086443653186625968121369113946218334923014450356, 185846143828280158594404539486983811571380267047169497142692307675178143891514162466447356, 94306068247126135417381787438786266419816821093051001210611696204513651363467930352447110], [20625868597590868959053010762060018542332869665944708528233561165162112199090653168912618725409730809252277102985292680, 238455418323626795866775771492336393618151506415648195147871806837833028476348312103781918436702140586042096, -1863224851713198206738830024115762666679742300899144546687582471337042101534537135704638059254948, -12681504357791908586432580643331244556511860595583143836213519268897761118118352108188232872136, 550142677522701790106268514253497043717375306413214711822452548719188696479585604783165576, 306237490726845361757663379210039174220123893060092337964119497826162775198771157344017620], [8332889747833713295052256338879499170467982412122458589804985125164060779938333213507668996507028708087631730571494874, -363387380992972825308898612873393666612877249411877279591439788850634727797272984690761915584187580740594668, 753082974289701709131330469392891306316283430588254411419945951944826723756501270141403419057884, 3637995451864335484550687770447845756133054764726563065627007890887437605434555842961526879324, -547994274996423218152432388570845040375367666340423875963101684056135934338891075860024528, -604281340541337248535467733280001411981806675288233909884750818328135233299278476615966376], [-6643595852786125810192373840079994993327179677739823664468805214905736036598273086230614601452314274050449272998213720, 65058792815413262983905335279498785768557569820841004559048205040937449108997834206648113456987560922714014, -5404122540895372457302609757517103199665982635383677884911455890449357018684485946307900345929061, 2278578561642515989574545109552777249112091724327792754085351436720556789277308540258077964712, -860565844687196439883682164743775309139011393129697183106880990584218685452863774820009298, -837585077339418884109424716375196391894739460925787672504783579621719708530456340439807869], [-19782164141062739887484484777840515304789596384981570392824074609889454130880660229739973888150823155247559672654726022, 812459661598946291136429826214961746014880499602643920398489632870463762782773809304996094166210160110782352, 948150473866933396490793092857465244651734663900626917640269599819193601885154869874049269967898, -75252104338628682034214724482791999406422406906535643963413618911567997804476476489697556388, 509898325877541039178358020156864418460334775986266838583327147474099645417579195105060252, -45060127154053043155948965343049340049143556769079645256336616628239422279076634806159594], [31811092713419237865230081022540129027723423044637759885372702569348384690609729308674957165094556996012120536746323876, 110059838334063671641950342871105513524449457681303558359179420772990182849396219970496039677005787136513040, 29004348052363363394393237697260602457622652912484615446487057254379988383476830919690215748921170, -5028513429588191358664288187038464981604054190875779843899338068566119402840410065183197670804, 338363764878268221594170212721184919720176304422100739461072577853519611462473805436736620, 679939019662117057367556990282835831758072791869847321212356424895415890408992850675475934], [-22211100529738778447327516006117272753932714950853661004341754002585599243871180122756590368743829386605141776584221202, 309094763617996804842200284966506925874412425834311159945944134267673913454881726039899362327646440126310197, -13504847881685946019572639249568258136359092715237067796386879749672203402245917579231640509290831, 2964251067031649455323643586675488661995722659794369676063324326804865181757995195160821040403, -738697356964217325480620048770808403444826006691151943475279523543462794719386964517830984, 699315097899711468706960095280405390165058454702616877644912202954019463203793366029519916], [-3785973021888682318002484509841866715557416179987326064612974570318710743290032015939938153796891903397068155171908274, -185604515748342507450095670085280755531668643547507261577967453799223395189632870395608599218399819328018505, -13394547886147848078507886260224038210364101765150950366884961843431544090675946737482409185623706, -13223637746123831772834884967663733074937610869758937737401647175059579457074007449152511709205, -137480579776252130370192284562762475937790797252827414121933698050935525734952394693520278, 41738387523784843866553610039628465541362235714797642357412771537902377163089345538309753], [1329114336726977718016861716087440314528490085426085747220120262974244195441806114189536782981588296576976019941535218, -1243108444812995366374720271371097471427688687147633541360840446011351757716901094763470125054341717843133404, 44742200317664533286242176392126884516357195470392053350289454565200587789244011332505214305443714, -21433455690142922568662625176065004280853432326555766589482226185264383643273757544156269418464, -463310650741434884537124486456213767532600067776113402451166662811513960928759743757267756, -414308185082577689312404197924502212712862953057169084009805053968565131688769719701812190], [17517226918886773129252713279108285893542332945913341650328337408016959353984458571184119297568866543777846178109146424, 1067621445035751868031730162498010383169637352094321934377830381908320887259014949359942046397517938641090822, 44905540590915518226522692564506398312041949509285290977011448349636281423907581374765902136680787, 7388579017793761177608221434091470923883046136932658230253211374142294299357864350572911946400, 285992021719568210819920288565794872099443980623220032500849226060023054357107388536769358, 983854218144355022669055389401379283139768790278359489997169219057541025877661150356607347], [3519312618368402864212648830317577901003197958008600247919024258471238049765004457388935220887122509784202853612831914, -631965208788626594756966442852866487866953374269431968355894814277185517717064601657421321686989717481812356, -68588535522428927834841279325049864338943991406728949201271744288386690725373766088764908800596342, 3682225990016534502875387191407606997467276859351363098055649503677730886620807552406930147432, 817935648270628533985561236208168669328177049532689111608164435529225229104117079079817716, 865107671833348807203420040017778895228022989023640774318899844374372537502492799516141362], [-15220626496499618028521816434101564457295575154302401462895437643553042912656466658769927660845428465369861156617227378, -445462208425512282408742357573427452870617206910231849461756420300567286866702600119505917681472566488099635, -29855068591298099921938381063379007181835478908999298545411292609219936267253191294426022075119749, -38964308186696952304902734511605279096080852047301862203619672711874747556172438906273306498153, -303509996959176912567704403401552335919103748607001837209573951846165290732295979366344604, -697202716253058340456249374884255929100119888460028477255518666132935994514226507422190758], [-1336109553410270802012402221472888003279222975757040223372047444935426905245493708122025234278630168774765770888042384, 1339195247674159200504524475971355114832746083811154667361433951033438804753028578740166586048185208444046102, -55222659325361174854858909139379685848146676709389936326762081761808614373434719383418018499990471, -19491172619873234559127360749735009851240272663049421732267810193890341247857521948216468285340, -863314507261659681450426592504995171698260132958013895643640810204483649438732740496975278, 332918837327923308100202971739105383707138046200111904794843544659259245323449971840956413], [-42117884354794406809422215921660715498300297349710856776235964612464278303325341473018407011904255134166112798552649682, 1185913398064264982889828720963710008072760385766151189095589765905778033650432349529599952833322026412532843, 41562283413606140312122444315078614275243062336759011671677396392948230932287210053139518748643456, 3350780039450763240687200127252711036888280883690351291935141911905654981752551095429664594411, 1078872535905064423422398213049288135435792580596600699059537915963401730237399691009475278, -199174456545589530968119221909176348408313695572709901146656472365535764786489826036691309], [-25479714829822739266618105735535866938078059971458038038216710768327952675445733332169321266629197211264704689262990366, 171338668027309543605801459237999797172726118783522612423800551476782479492195199774156845118813924108141384, -74929687967043401794532653258984496203280282681169499633909884109548141490727425143663681588238102, -27686156534866758085479695211309039859999339318788357412461460657344668850153733408217740587404, 109775447204175683706326968621989230643864101982296472188171359554338451210276743082599852, 1693479714247754481486331346044032490605981873490173393113426359825239014368185991055509822], [53367642793289360123157299138607328955605209904192048138953116413789366577598363159997378988179317659574694696658263004, -1153075778448621141173999736372509604508277379272275717448860384082333341488641917194674063093331010022923328, 11983061015432389031490991451714445667657506231001960688338419664048706817407591179871413084783634, -5182603696876632848458019861511038130492252982838992229437154378868918802492511500024012843876, -857109913290357956617766966555679613015491590816336173456267894575056357084200240456545588, 372325355087828490998318183852605342883463758344816088715793607215292816616084756649408334], [15658552369709678694941319187954560257656208311191216108109671827687908260793604014746171989992217050901792088167288268, 622562872975481903140050775738632664697667333624234365348726651625570593154747850632353713948441731543165710, -15833429184960217802876613417621425635285085287085935177674259406354666218628728709272800273965234, 45498171741753358720574277967149425868851691314592981848875603057541322640150069332378739150706, -68309569861051099304207724111205156788383683431703103189907277723580287509855324435945728, 632455869467922813558225812134073960386839240121393540591994133142891235674566285413250992], [-27662477792240475804475701382455632322001657998211767603781185238398176899011828237769439280548020811663550504866579182, 393099830775145865288095898326903833167044947576467439414274128466496911996936095155541791855994107344842502, 71812972387280295479087794427213999721522281328169083670089859536743544079122669774789434313912308, -51665602994168070971647016820817262799593431242875906205301995260397779798679909570444592985314, -4029631504645589942752025419800560867276915398110090242815845013110575503547923580793128268, -3132972183225685754284305816287614072936843418717792291214113783366709172061464150542770398], [-37593932533873297670557830048808286838008595932164536640451522839590338190705397770892747638433000295113843348100417490, 1634257341178829739512441165860977658843674761910722057566892889413157903389851741921975495363932020585430241, 23021513010080034516221991207757880047702917271914337355654600295609678192605874403270197790026717, -59193226011286657261182219984819248911560031684340675564741289974963300504847275532383180896665, -2570863801922236026142972966123893590810530399313214415882909006678800777998682633206560584, -74301759343301425101524210180407186889236510636867116648426014432591945116678895838812916], [-13514431595659950683111496042756058815671637786086354222181124865378426838193800200870564489596848380328655836008163468, -3709028083966267204481764894376750022680025390990850110085878174903041623278919097325666671187005718935882882, -15151186098504833695845387098615732118756127698658388143609336906431621430615458637234929040905530, 58452057399170202933166870005910404732244453772395909388163422504276125632463833872388579305714, -891908987566197724459525581795864852995893434471710347697528273659554590182938526892662352, 1552407789714553409300736686684076842974719854759784395332609830625695761537911167061337768], [9522347623748206237922990101334694679105465477443524452449501488862531069161109535060116346172587194676612531015623884, -378304642570188658159510779131905641034578237801685237393463969333211925148999942706148603899205545417935348, 9580501542147820599849183209991143460838956296511475493956866609963406141768860709632548740219430, 78544138634063622148071915332669889600289170297442020157700834978692149729260518604274356632256, 2267944114573116143363037621425476185485969697142082532059697637607623413891504892627045500, -2733818680503995826536725659878934913125705955676192898337557461751780061831444178893105306], [76018137579485140883090960651087908360771035350956268870590935424830505487247865873776178705135249211472614599178301770, -2564829476553144775657017912677973750194870356766198870204036431778392030940977781924294962284845762910306134, -223698452238342472105259737993092866043371817934321488072550707697658410559600683234588157540245916, 73713202458194435546626221402808188600955317946331288221981481849028687247887916853338121038818, 398217568529941362833520359530279172109644574515966833967479512995923302503199641327214780, 3815012516261036825913718363248923682706064851419756527396181434961051499572011561774850102], [-47381176612049873547957386288551823083440240293126764973612083474064534505584990536601305006265116290626622890428143402, 286963031310083502023278387054917603030596582416161496966297137735019721542632437554102400081296043785415577, 20451398127237096082890457112301525116723697615610691600774667058965226115247908636019339493279479, 27756478835095908671293297579243131257639329161081226451378779424439184357193671413787857862763, -5748583703929689925340167459106264058931978611420628489173962204959963248470747042959452988, 3397731061117422752600972077723872762858037050610684709148839539903898814199048828322108170], [-7179203234909050984763830397744991191481453882015547715961027177467141819291653986873539369299636988457607650756463488, 145094516455243997208983965100553101067153755356987596999605310730338422426239731334150403571906177725552804, 22238011948136346722339159247130848171626136309178037405188117619063488707118609612726368494992592, -21514854136311317734018936905148795353680702448849011004904397922589736056631589814063897235708, -2648825821843093222733718321959514889836776139635627031349943983391806618679975275222825144, -3194213190235486042524189493851061522267261570481843087602471605675536735717178730590502988], [38962464124971527812127361307776624893947459567929762922130564204899039641517690258653919568324827732684952704908666320, 964604627615627055913790433725519093983540877760678939253250754669682997564579906780480460664910681299702030, 107542749515579877681013429285056171950591699328789439596744441572240288149655979058499878823192177, -103925077621961639001301911785221848691037459641561402639089695074779852946026263911138656452884, -7144967169666512285210681271646805981883444096709002938107567396780639697841699785181170286, 1520516740762022900483509592332594131009443642837183499966846925211929858955933059469026685], [-27920586885118832138133219849587667464065266108010625303105674544314056291531892006769011470158720149186934761688290686, 3417721154437646089479331435407710269144774356548372247425652726107125726533155270581708763202760125296729320, -195416979642656200281024034747036952433169726046930973532674758016091303418826284522662506849238190, 117240918813801101816533229691342606077327733630234245215177937655759340570281985770681540516164, -3439480301916664325143210913689072288691943640624340593847649535831943627948611542589758116, -8630292670973354986755590204337372047107940999469463716821997508657890984262886111821390858], [32360895775518357021479392545430528119435669775448449874476820785747882932168767240491793828115837673713473350057847928, -44131118229603156483508843297563148219380452768417667346263474949852410508842680497020213455669184056030176, 124421207486857224348538443975597598634843899486823952818590592989145827352018747759476217365605174, -23698596493583946884630907542187455365428656011396511547782334221987064207127125389212540066252, -1447628854567349910583533525538105825947976154453142505442267011624348324086253039126387516, 8823228526067743475918254552451144309979602523682652227605457909993946834811655626947475658], [-17926463213012842473234626457837086314611940546917326916290336526728925053141742775990889126103021775294510001447299434, 8664839039113230113410252725610801225595813222194340873443038834925928391226627986521878492307368751557259349, 291728077200471241512270340045668724087005109963415477922042110245517041477042420463075395039290053, 90391150044900267666515203475084264144088095718224446452351660067889632623075339809624089012747, -5660697456600676976065638270044045371984334516589551267775995320255557514734348343114400080, 6971487281097999840209604442591633293104260075432339850155084777509273747458473181104281208], [-41223139984293575809901716438567313702382787492064773089057135900315748045906976598777707400830518584170903357292681034, -2508518111067887515761091651470510764590451310044354780421248556134255166657764593969360331475094262823513621, -447755097790224868420370496915770285282548136367124804151071165022630803581693251697638659516534, -113414411007538726099291228760542040418351331846097392069641957614844550779491143595860835726633, 11197813050916214239391696105572141608013653135866617544791965260551760839561421160876993354, 9526242557256918904053892165788748291034214221208486188957898885209542168594839972409238569], [-55063309789393569228697586150363184694216713879294795734399475913696779511848956832160808693925642071457387705887488464, 5190812850364836651644915324849176436460375829345238969735385277171838872034170986057492909114649953880616144, 102361171517130944319179754578556619346886220651742549069046951419688522138406455016407763400568172, -154614382297130632898267964179370163630921322527646621753573574262482070545492376439930968138504, -8197502238560190499335860838213184926805024889702234336044209780932834867662625963691338072, -843265120093247630456053375188691800167684809651018771417557212909087852440412021812151644], [-175932731867728877551650336535306980847960823716013949849151809288703134472846936585366493303894286572988339557920395852, -5376099438158347295059559887910414583170829681048856234087206493123376436730234647130652338362717686784146322, -78013686105519820659533449591367176549796317931054859330795503730892304907565941423130251312117902, -181784691891999907299090137089007681593229415250113685626191589421130396387919003019287562634614, -16474786727961625992657515775729279416531509993508743482011106040707593344809454162847495336, 6658828261007175442575435737918115395236215554001148752160106111203505948162038228543293740], [-173130732286828496653304466670565575451908431353322295868178310055614641035032560318940618070112781425650669021907675862, -13593161800613943739835054756572681436797629295632550588262229222881562141595967627271615607568695013754764730, 2377020733071505922167930044682954822942964058897610992816984720865267448553897240926566328179628, -273823343178275482029932083887866514464109868207896265814111148182342586203643434687679617533202, -3210152632822936406904707941938782594751275150340053361414836066036528281242198773561485308, 2684196818166515678577246157423443653531356519361727826063674326105866339394326415267173930], [147829661535143057005957654658910349809199031508980555533572436657848450414292997237924350296582070478283792678548964150, -11407157472401773289435303004571714646579248777435925046534744119441284138162994713299673996186418626692099871, -555034413070926227252681705193977013631002513752617573137578521899831423473840616978118422150955017, 115663229018554557716129186103814113054225381752865666470458979588233490336533452570016645275571, -9808913117276195984123110475124451303381254429737692142381741743142310630568600392839253356, -1120911743823080822044967717475545522622926976587794312101426062566746355707627392275303150], [-105897931530904329857626535597328091981067721351521599033231102747303940153748806346667432767212912022636162721409182308, -538381378095626122949815897856976984687087768774270032309040405498407546351707397691894548538907264247291178, -523200143033583137237777182450147457783003035171474448285814121424302754799918866765383993992510478, -111990667452316183212645750649942227903060923637055369597401337663707600853696750396386435371022, 9026553166914815785619259050927979541144152696607032143992338855763376321705179087423514728, 4653780605415595699378825326047129684527376560099224147257100626592805714414677478460551124], [291652282791136433355475952115044755146606320302229924969583441602199498625696506778736199223751830407104750411443967130, 3059270535304867066576172020420684667727911029853709969916295461863796030755553230954404464656602178526377240, 202677617997462897500154759175290900654455345762608387502469552673689189404947988728802814188891868, -437682283333769899549261755692929518390054725408899327019181715100218295793015564398131823188128, 14430644517587925812397870121461084969379075346970011458721205486789662500543702716961368024, 11956738004302948635417847081144245970151029526874389674607304449920558835396870421780509244], [-378543853587431679633762540832631785012598700848072948953841777466207114222208846824891707339864651124629815749117661516, -8473000871497416388755577173590219945209144096646023599673433884814184336876644063321082831339759752913930132, 275136993005905025584340753167383773651167733373779284790287432780587776032982324509573413661121802, -94223422697297172629904113461969474851171970046740190313157643463251278663962329105992036637352, -4926887269551443845261635553182484765349977434419423003441293458188085217266674010850455468, -1734529341697096815392910336193797834836020624500684245481865277522247780466119046802623710], [188361090256000608538241164219069195994880237993865188973050178630425791461044545047700268503553016880120636916338186808, -32891307942578003158027561715368777232451118421194617814543631960521095352555999235146697626957449286796735732, 170592828638747419949276206669722505096381970129530795911085621411543778640480910826448853187599338, 392213501326731908875402571808080167336476339447445632532089429495607783230880016586849330478776, 11645314628426574676286774594730868147141015160924969788039994430647311934514365621247955380, -8898082660945948127697496183864950574296689245383232540300548619322365930271767605669605406]];
    aps := ConvertToHeckeField(raw_aps);
    chi := MakeCharacter_3_a_Hecke(Universe(aps));
    return ExtendMultiplicatively(weight, aps, chi);
end function;


// To make the newform (type ModFrm), type "MakeNewformModFrm_3_70_a_a();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose lines below.
// The precision argument determines an initial guess on how many Fourier coefficients to use.
// This guess is increased enough to uniquely determine the newform.
function MakeNewformModFrm_3_70_a_a(:prec:=6)
    chi := MakeCharacter_3_a();
    f_vec := qexpCoeffs();
    Kf := Universe(f_vec);
    // SetVerbose("ModularForms", true);
    // SetVerbose("ModularSymbols", true);
    S := CuspidalSubspace(ModularForms(chi, 70));
    S := BaseChange(S, Kf);
    maxprec := NextPrime(2999) - 1;
    while true do
        trunc_vec := Vector(Kf, [0] cat [f_vec[i]: i in [1..prec]]);
        B := Basis(S, prec + 1);
        S_basismat := Matrix([AbsEltseq(g): g in B]);
        if Rank(S_basismat) eq Min(NumberOfRows(S_basismat), NumberOfColumns(S_basismat)) then
            S_basismat := ChangeRing(S_basismat,Kf);
            f_lincom := Solution(S_basismat,trunc_vec);
            f := &+[f_lincom[i]*Basis(S)[i] : i in [1..#Basis(S)]];
            return f;
        end if;
        error if prec eq maxprec, "Unable to distinguish newform within newspace";
        prec := Min(Ceiling(1.25 * prec), maxprec);
    end while;
end function;


// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_3_70_a_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_3_70_a_a( : sign := -1)
    R<x> := PolynomialRing(Rationals());
    chi := MakeCharacter_3_a();
    // SetVerbose("ModularSymbols", true);
    Snew := NewSubspace(CuspidalSubspace(ModularSymbols(chi,70,sign)));
    Vf := Kernel([<2,R![-31837785764170178933367930545887482675921038467167841155022848, 3278090671809876019647849965937037174579399325908992, 1261437359572214267031167076971027990839296, -11470682674779192812132596187136, -2456117855400166541568, 869363388, 1]>],Snew);
    return Vf;
end function;