
// Make newform 1.80.a.a in Magma, downloaded from the LMFDB on 25 April 2024.
// To make the character of type GrpDrchElt, type "MakeCharacter_1_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_1_80_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_1_80_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 := [-768426424275848216319978876834525014212769442584294247793970688, 36020237378286283561256608380952541686850032723239033, 5183423914918797826459016270129188352477541, -13617827867154853888266546820774, -4493465009931118088598, -3, 1];
        Kf := NumberField(Polynomial([elt : elt in poly]));
        AssignNames(~Kf, ["nu"]);
    end if;
    Rf_num := [[1, 0, 0, 0, 0, 0], [-12, 24, 0, 0, 0, 0], [7013256411909823331435630200586455100629185588616638318485550887424, -1133567706345786428042492708306981978734270096901781475239, -10584857959420731462820406471807880078864746348, 1949419810644184872216322297437898662, 2471892005074829244563700, -597229958995063], [-5636350547695653722650116311520020437553229011386033167054587936699904, -69074662396913184502283863666204694953251102850182445531227, 3497416854160423168353384921769632575889662128644, 87723891478988319249734503384705439790, 111235140228367316005366500, -26875348154777835], [680090936111077516374033709222384383888200213584841258707094776359461376, 168407470197004289291595531243077017098147726427956207178762737, -324455418512060640190206526168398583786491956893836, -132989037038325767256112053028336142484810, 66307116569785101256916660436, 23563035749469300129], [-8582922091606419036428140486631152566554588594377675331449370194280531978961408, 462040098753655047191834964855338460056320067077754414190014372854719, 30732842646922767760470315074359454663705687372159107725388, -331758122929932654122303370460381914974231788950, -11088337498782312511008436189797392148, 53467753519988644526221583]];
    Rf_basisdens := [1, 1, 1324578487444785361393434404333662393146191904768, 6898846288774923757257470855904491630969749504, 351981953508924681492728104893086307702538240, 827861554652990850870896502708538995716369940480];
    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_1_a();"
function MakeCharacter_1_a()
    N := 1;
    order := 1;
    char_gens := [];
    v := [];
    // 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_1_a_Hecke(Kf)
    return MakeCharacter_1_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 := 80;
    raw_aps := [[-2681096220, 1, 0, 0, 0, 0], [323695821380196780, -429230, -1, 0, 0, 0], [1015497476462293909287304590, 528731358938588, -135383940, -1928, -1, 0], [-34022176306197714728549934070600, 360493972798686312964, -31355072821338, 386101744, -93324, -336], [54363784583892239032808933057502080758692, 7281414991067680188775331590, -1542568149450391077531, 204943290007561952, 5908079984488, 12207853152], [-41547811298587782731305169941335607815517690, -32131140351279751850542086975908, -4728899062711628237340804, -109119671454410836232, 15125586094385247, 8354367585408], [138259086451720827829751084404513075300580578290, 609784112347123190414722302188852520, 353548049180897460568942373544, -2671493378396291019989744, -512786272826985461926, 223335882082950336], [-8454656808018390740393655237975929303238107871460, 167339837054619694205274877162975780122, -20848910493905207354731065409653, -202515366271416590701594080, -21053781467581013645736, 7467464880301354656], [-174487481200260563498942726605271988876408920849123160, 451391691132034748611442573475102067254284, 218596468077843090701268020061906, -281917794673775493208765294960, 51102805441310339336023660, -31546487218095161843760], [-1186803811043775852155227178836379146850784707916324586890, 3200174117721961369969710904089770912248815148, 7062922215558895359317102570901544524, -4904383509994926889118992081760232, 390989497118610337442411948403, 750072971729894046433638912], [22390839925141255177160719300692194057240710723931555528672, 11617518567510128943017156323395006506462983120, 1889637526780742501089247921419289620632, 40065349368129886775305066853270656, -4228663106541743345282011074336, 6039861371073571189850249856], [33369757181840017192537130646831660273702260095777404925033070, 26475595667762286941546901026381083917387562695852, -5724744572219627418261864134131673605861044, -24428121340219504986729293955648677736, -3996503965869134138174285918385069, 3633854030357196902779337875584], [3202800816972877831873691244166277885900436165391897618539243162, 750765357712670382961044989437235330596044524725520, -221800394742286453937131630775524996219765488, 1235571672401659906196363863040283969696, 897814582095477483024338878531053924, -187814442576165654759119005509504], [18138821985151477341849106891254475549743953080851940273066900100, 12876612334233065253027430069016067730138554705260278, 2272839260634040154466093559799697742946401053, -43692019087003567498177253429896031299520, 961046600907054945400512349366937520, -1312528149572108893879530221219520], [127788751194797536736969361624808362534693229872091545265418058960, -65747166597920698817593548305845427567417086015258472, 10370258212173527842468266935823076593736452036, -1077765864148034082313966915663338438359840, -8078878606297091780710995611286003160, -9119548319983728793110057319143840], [-52032206327451826221767395882924142580075057429574847025633731995170, -5917232588470404181944281123950856633210518829696612820, -415495259219579163724027181493617719871645884980, 173406157850118618733657061353399365049179288, 1901051585877539591489074883323040607027, -9548818512466826637032220802221190272], [4048195297422119031606515839703299173714194165672233404363076873151220, -5243987459515617395069628499289163901463759945488565881954, -630027374898837972471763052810506652614742896111095, -11130171840553314756293072038628219702245125248, -587603787752461327021230425721797089341280, -191324799715568189549013765709902587520], [13426761737637808813346848927447397519540224778139351373749218135936342, 12833509722104319673980170703534701056579425034294533624700, -2325331080870337057843841332299227579055297527590500, 10400938484035022865447171850625055994070899000, 2437344381913545315692232251363403651702375, 1721500041212406067342226266701861955200], [-308586979495648988752216197242619016687876222340014209650807150650586260, 252032147705033339624302933988919528279580987320915010695250, 51703640102406898219230631325773192067181094092834639, -376823007724082349708915545475350131414872526304, -260311748936629946391250335953633363640603816, 40589683184986755706066470145442687868576], [6417900182307631637915868371527975345156620811481251090377428600756877432, -7307490910680634759747617550244583430345889876082773949327900, -865568270515661899065065217420077154844083060307050, -3633720840993081424043336693612646514329780472400, 207578023041171243976799782081153161247112900, 424365840707222533427597032843278291577200], [10187275701064343566718406477163517704563954844917180104693766990026631290, -23243799946470953590443247431857045736519874058727930855404856, 3020784024955827674699006521248823528998545645190687048, -31123356444969738551806863020090692118451803316144, 204568144838570438540758583496242463933907074, -325874568601320439113491239002626978566464], [-31372453913227317212914066183431717846123630585365021138147719192574447440, -660107378742198647455385149564849987311412040662770446577200792, -33175981406582818366309287041336674341165178680770547108, 329384675732922490653008280656365312203491702027872, -233368611811386042803266463541849347460386817336, -9147773299987636790443888671161697308442144], [2417807626794297473748992078487912381068954651540719020193779899239937024220, -936435477209650419849926812708885016916280003867030426648688294, 34516675905940104646975795375904504179282725474287886747, 397551339891791873271549013882619836284807740275200, 480095973207613298501127591090394634966916124800, 444506743267622661076276786497169435480435200], [14798361657894744445112312566145325738033685987356228881130894156288401249130, -8397503554254985735619529450875168461472744849684537405361785016, 969823472555471287602468564090421236803680876170941178312, 137892163412690972929698211915438854221409162244333904, -10450006136430064679767594630379579574937708840286, -858389760173460758713569221708150194348724544], [342313547657493984300156068475548290114982397643873359983520770797082317615010, 1133171103399048907911002542193027087846333435226850105340325339208, 34638730389916185411838303098469631419184537704967456823240, -4124042535926918023751154474647809232461052476841978288, -78046565418734365651214735794649849906713550047902, -293192537064069549878704015531423169079728881728], [1192497162071276306668802962394086110971550261890829368585330644603750620179502, 2611589942033308162577773301521466612154972310559207401371241845580, 9117626675634148619173599648132565658284871370347120150508, 12842808630072875760772463522566248925581918467561717464, -507632605346944829236314474209366995541690796557509, -432464414898343071097344287405507039555432247936], [-16556385447381037151115380211988764753285450573091079437073450673397913988305320, 4072367808359998275708230513864957813272087917961718454604506305140, 2860053132255603923867125535723550020977062169501767709295598, -10298974535408949926096086326335482684803794088748527248, -970683048124419823981274803812695283074833461110892, 1376509410174529901774368779427877583759362648112], [480899457721596495720605904150008533514542307352608210876997730075444157458500, 96453290734605372488919714097707173975591707521893365175054674955574, 1803321283619007226275775863121550556056020148794308774136365, -58964547761141263306468286898926663142630867941465344992, -2801586114797694712396501750999256982768311654966568, 5662039696973691045384292724185141121259511052448], [128666099512470243215514039502733780944229572676100028558879453199156919057800870, -40936682136445784095288963808900348557595826031437682814615603906484, 14706260552457404007511626498883256104481208436380276257216364, -88688327096165873710412035144559569644586031775938543016, -13501424547464471674538568408101213303267061897197637, 8222325281075792003084950037300522862794822948352], [-354424935666878172848560792319574530791903682104230400498940686861874516006241390, -68172909959525737910598095167731123516798738076533513544227074970688, -44786855813898977593804933390415371022617115842798306603742784, -1354331243911041893457599128603358955531160140443345178752, 80365929083115048398285421325432883784680743093070192, -2279910605849997285638785499750161657840027917312], [28190736964150055925904150315101297976289093812044475296089960584874225007484100480, -13555252333846952535004202516447451639628322933953318452434026733149824, -1954424223145168048322643488548708278434968897358763113357748192, 7392278182059292651022505479958617209835342247533672190144, -21114252308438045495190936225748353043459546236186480624, 682026475392248251376562962690675763606950270153664], [-15259273508499724485106995344460641962148255162075629799417040166201578550761827028, 411513028876623874697802130905066598969420979128216070942149880551626290, -7239392618499745069043827441256852282332401762517401952914566721, 158398989397557886768937888363946751225778468582264060510432, -60742933969547888476494316908469300268962152687234522392, 27301640649197845103132341210425895381908210776027232], [808848482122100001590466114315962797564092765759438553678095005338615720616292941370, -517347963904470868016228820110527657005697358253073270396744747603082288, 260431591351519481441794792415461965145893363136996933256898700752, -24423151934050313645275288325413076539986476006836669806048, 159279217152122123566348368958154255874100162286596463508, -168907885032321818939561983368145449001753061926793088], [1440002438509396791397208415755499108713486386537628651225536726703553424046219519780, 838008809758191295793850619838313271465950779788376633343049676490689254, 111970926178838360443619608915817238972319064215793050200939075621, 1348530287866341817170059464901749677483211061435191003385536, 249062653967597431496524107400696371801498108889234860432, -55885060704809190815866118199389374858316194464439872], [1652433929140315286107062507455094206254646288651165582649555485185885553735754906750, 9801069372628608880191795156859650995857492280059793714925309647685004700, -701719354641509134220907875341131365170392925147536603493446054084, -75207622440892542430392145416721980680251310265609018090544392, 6389607848108295442746513747461508990236073173492336685807, -850923697874457905807488181901626564844903256008751872], [85480462385309163480646228990028272062850316471895468034349771592681811153050663718952, 41266999940292086607826606603144159457839640408617803065726574771797685580, 1249114967935547079058636429806578555173211244744332106171020777778, 20538113540392764885893503690944960599359905577358547998548624, -951567157278612142797646110352915888211583597158491229844, 4596162656704316185636650863502131846181673119605763024], [32693675670130498399446994662356292644212561846355074767879975319750496480157847964150, 414983948928185078764222547318473652858789978852345274529826577432038616604, 7362943698082135110319069222813874812406145066395005513991594961468, 171782984171887563762701820277187344009111132716498642967689592, -21152104287941079103848625892394199237579710775546702011057, -10453378323983415040400604296875194915378283088552773248], [519582515420320957327695705079226178217517970938426368434464865693957076977755869634060, -1094665726519567626840556810172442396817894147786360985729826820089507939678, -75050429863939513460842122416662077175556598499590610924312420545417, 191235632804591784514509900623656860547286016322677426775107264, 655973215145860804308654143341770641698636354226448981280656, -30946515607271250128062171934206450145964768191437194816], [4295424739874005917563417401725663826537640063315561842932092312126784427471377328329240, -2131990680789999205843251991320034521520544191822265837747565365315329104940, 138858897074755124880941566918895238313733656841084077794774585112158, -2162765272737314814882048036819926053531310556167308036023439952, 463961523896067286873410134442381122046722609633501788583492, 589546555717783823908972308934999608516717884168044703088], [-709338617486137504999185258186795210869854680713936483820541799445820271293525495898010, -19188369151970501098892907238652313173715866537135845164090585757256039127236, 2417351948212242728061612461885504406139937745613063283029911240382044, -1414395518222351582285819896144819087614782133709397781381313096, 298979063728395848607926076736366945085481196289319542850391, -1247409559968380100900530262421322480704622284971303874176], [55065193985460105097659992199103116585731660654513088100008259705303208797683036637089660, 41400467896140866085445020394143499638596700406414890642300448927943293171338, 986195195333828434223824519089287756785572198901954177913994172406499, -13988637787159888295963156107108838109144391614688677349825065152, 3191898014987022930621465907950573651709919251198961845446128, -12149522765794928068674115511875983772676096855881305367488], [81479631190135367538453086920847353252717558635310405748277344424799341986932489098934622, 129395456561303604937914219751885400025213450046569122055184136198053783587900, 6578240836734050873481161539126787686220224989069396252002037118104540, -59704892296905625510864779975738364837246529211906174144768916680, 11476299905646116550632257039724465278501400480482884386506455, -5177534102507961856083915188023879876005076619755964743680], [192366926113406128453038819309297011375526066285490796869781390301545722418649122344187712, -569431095874221180555874246065708398691720967350413664120409489056031497684320, 37350575070681272511337318701228336607482739397766701151826890722290128, 1269715612304970274946652618655091639998199788551342200990200271424, -60152091780672132849620637001527307337891873000341146074088144, -82491519561164264475995794408767390044502921537775493520576], [-41098358321065245966469526013514365211618498950639623695668568342628611594942696934684350, 135362022676410894849461331029574614707152315764310359839977811279927737641608, -61308119292104433589483221537617392733514184907802633665573320353522168, 529718514460317691787685878028771617677147117564590085356079847632, 246296970936913699810433946688238579731488688580533361155736178, -86229682466147905825131360458081929251253699286009139167808], [270513780172816688131170567738149076015990150526153118230478396019422028270508585968239310, -2202283440008891299725852981717092161115004268198468662819924684836984171716932, -83139539354369395824185461351656365271008150749954622532472885880389284, -1764428846451846175640305991526864631451911086229709776599665538760, 80734152874815383664745710210202812770504578272597345776326135, -70573951290307461857671333988565649193228113855249618709760], [192616061815071647667528616554445756856101890726706733877476967185008850960672034785579000, 7018207838524341916290996539346073082059810341736425644250255447888740359011300, 42473223528287375177995619301667029365722561604951714937543176774924598, 2496153530202831953486505612438940068561159889348580677743376291824, 28264065347004897344550550125679134860972239859186250356490996, 206308607039707057254845113280252226442058246385256872260784], [-20156327909251425159778640315406828506660893011637416260774761581760275398707202365452364708, 37831401091172034007799475761346877735592813531731607596521310584012738603447130, 5803287011865306167594995638908375750933362901024792837498600551705007163, -20515120880606577470136066987534942278361822076564133037552553935296, 11438935728300348060617249802351483110269774826769883387402576176, 3465179684682356044620718031539020289143724127659146890090304], [4481894221180479803511141342262887587952051096821673345966740655238184789174889737514686240, -310777098120299755904758911615785882363246791503212555595483527860190708555364176, 37847969782696377979870866666854803219204405001779792550734056803853805608, -273036974502493535023569626853287340448284649218856507444489872953984, -88906379386994357784366378931699668461068411751819375729003447136, 38030307832992581394026671677457709339274015804559125235072896], [437090813100142850874545809400601371294482754000258215987472676079725243643661781156435269580, -1088240031490438419931407889738205013955764572636722033998164822957852664764414, 58103186119043235356814951892418207139052483469377634180693092975969987431, -439050693805854611539640648912497459624752652475949081539790641247232, -9949965496227893756301705914048604283041436905761841432401308928, -54374338999032604743005525689394349747925300915140131823547392], [1070521185755508775106481560932810810905552326281621381172398193884713350241646842078071841710, -658064948159937657248578174885688889716960941713339520870235059520895533683010372, -145104241315450116680720396553566853624519520142820004509431473522590731940, 748359849165037921735637561934177639159702760779884205065103898499896, 134002487276960443821300254463766653662050014344538734264734944375, 34847663809958181077174174258130066581236823050498203909100800], [-829842765634340168190824104720786813844438246446755078628273088481595704654700932629528584230, 2332547821061528900242715678070207303273496219923815718904368562281344550505635336, -20770600931265782368268314741415858457435857987064742766391982829170140024, -2913925152823926121202745440603563052616545556369818463836373669881648, 470292740902005526292574745720347489793999113180754418136426415058, -240240331168428937583267315874376703004387441512099047464007488], [662448727558965641340837066757689313886519063892805817867003085673712394812065980972892580880, 2239526237311198277347815031655728132027869581813007196219553240144539231924604984, -91834406247140404888646518914247527064793178326202390035365349190970431852, 2217235672467459996325874744560783287809094858956182623124678720842272, -77219365821804420963466425685211820255089814326089589281076828264, -750045119753241671258930487569122952959507144279613422824994656], [3941590655861952667885591583889415809362061833428848879420772812922124888224781139555523852562, -3794026204372830150116922765253927202495526320605366933289529140729689711564045400, -944684223432494784198316103854916746257058936087978374494890851027034305240, -330390579432176936512092085058996959232148526105929400282624762983920, -452037413097328088817470531574759633330269204948628969099677812230, -517079858676482160931565195845787759820882091071907633957849920], [139152322426166491206616866505304013327374817619140734887847370777535571822887475749147827252, -7238191508986064674334642188670256816627066044767389409832718919007760542763058050, 6394204595498066599565337621798887418219279912063900837691319022924460655385, 72835330959678121393075591793475685762638610387411128282070457338590080, -5176929062036069220914172546657274967463648455845430087469296480, 490517381415430728443643188510030079425296832646440650881079680], [-45637657744151052513003147754355466995179975524536402008605206196939036456829153518426149073150, 26746229097936800092613229037882057710040734593850774752480341505732721300649854464, -6193326025246185902154157840337387081176668016013996674603840486264288312320, -65609616450102105093363541333332067440652375399844831625155938654597632, -24262932174448976669482206626217460406402776072975517326866068550528, -4096086478911629231901611264238066920117373759582670822635489792], [-130421767254940812103861205904307130258906609965468946722953112011039910828585875684378562157640, -115888593386943776872241292606196037096631388402925018543610998076526741689189122108, -13134658359417494163401473543783575664109509371800695136525052912033546924762, -718504300787441698550278140147835093141756860520586116379146400630455376, -14286932723159158789924562562898102543463653131466296909090617705404, 8170230286712013123523779766571229632821979752418057160007231344], [-351277825460343442938625871729650067956794780136234258936794014788726698185436772377985806594810, -342679632180113590557063579160257439837896902000245985332410890942039041712274973908, 71843384777599474068139365573700490679877294867526619934194423244606333626444, 632571445035002166881227599260958106466141398500233566048350120088227096, 91081807206490779827045573088984977841408180773575174593207716274483, 67050957711237898778994673122291607439221071852130481156150668032], [103151022840997402968147662112358065644289402701027662766174905597395156752795929457356400283632, 260133415110799264779729001615998482825956116827772736168626459249882377519917770120, -70176578818880065354636892124964422068624460257712325491679240131114280714068, 1026426796687814774794950281819613995790876891472313306382156932485153056, -313076459960637954639458289186256441241153976803093363719125019373736, -12776171751677542029962437071072124673725957819295865860512923744], [727425088253265648726913611907174881582099233661246581586987126469191034743951778802932310981630, 875750104076112343966099852159641370653798926836757973747294598409971476560209196716, 53116683660045462446279904236221561306353435462550746687462307931380763577420, 1378238368238791608364359753510079595953321818485327218683243784981423000, 140316249677528465516681436661081074799428571781620086449204670568275, -91133822013561498174301458926084977635230989742208185332046889600], [3803572072732872156550759626696345042621986074819502542053785551441971616823219042682687445514922, 1184739558238867617571754285003046633691011774875335586965133738679848210477186426920, 239830794154915798431286200411741204803239283019283073406892116083040312382632, 2808650258708631588399100057513778647202141826689831199599976872022768656, -136804730595674297344903908615176212706039167819066174732590384618086, -99789124613502650410239336766527966500659149436264671580068577344], [302983099779006306678503258172956374601890353736413950860013767880809894903953546329596808390420, -3914975300880309120200155740257621366143716131680711627606008652242452829293382182354, -389212964854666482903671515194205213358015952090608269721547726126506649468399, -9374937367747073105810828906431583749654385649040452229055506478051921888, 533574117866943261660831024606193577425518152413497813776795920953048, 129668819848161315265916666903801450622829893136346761168608730272], [-4985801347310234924047216572967148391601661729135614956633472233073198468810645455406283192840850, 12365567359561272246082800651551276932087978180225214426966629984376476591768979749628, 1850447199765337878008900085914359072827409428717681164969822437499030702110620, -19184448266030216578380271383121948268046602052412702040296725873408097864, 2049428448029074064645411190959647495738788589075421238994667719658119, -237086164447549129277408478962325697619732199456982667768314185984], [-111139033152797075469785260792359800274318355904971198429995634128359607423021420620642263842391300, -66954863544985494804315338720945036162213720619560239598034750139347724965139621309206, -4888630770326058524605191280043158719925018609379756817827949070859616373539549, -53414181982605259421515494085555282226675138356073929372784381640367312224, -1176552771455152718934453427014426073230180538276524064494259967553096, 1827723493940082410017619429274791790783123603462660177607591815456], [-68141234711139990562096766415584616125037775649096653716880823228268032540835901247571712971622008, -73354745745421170130331031517555355502758975854254568809641997536621606863030017650980, 13496778625446448777109406411048013407272335125665112329479476597347423526677802, -26529418495343640400705570903624403583846851893601706548966013212131407984, -22828076139510876903677019544745489956487720542147993277938279087206996, 23667606852394450449181580912532640184241353290665132880278561118416], [-32762147273695361383010946835054410095218395423143175723010712551189404093128830471432690721379190, 152804599121998254796346975706527915116643687792110667641313823659448448011556699691152, -24754457447378618558476815089085905847534658666652623224177148571257921698054000, 322066428309681083688160135128408916356157806706169484957714554373989764000, 19562477033227076252628429335594886611549994733178126669969115396658500, 19125373826055608774352452378273712837251819144563890611249037264000], [-56230394238160524896181493957453832304022615884019753080455765802027552643847717477719952510314410, 200957290824255654563128879179782204276094041825115914589788154919967570783230500976300, -38288418282531354241070808112304143105790848515036785503957852556056448139626292, -605788290407292153926793036500004753163906630338346964853761269777922145512, 9460803835679619736906477498655878890277803994974525869772465706062227, -40932610296463710872598776599411224718136141617549133397228247836672], [-288979815234060820819032163862090607295046330069277191255461371103441788842739270572511743704444828, 1464121287744334952161901465876821517359249104887995516606504511544450608098310856654310, 59305881313829874470544744842023384916961324183165668702394677514522437645041941, 898795878414375008195600345147631456051654381225698490316475034507372183328, 68909029375809013340715861481698484789164463583414170211040773173079832, -438499798981385950505903207626150662120078740196492617245600687743072], [2430449055983726041184141076662374727045829392606401953696418162816386345544007476340473941956718770, -2580686727727734080547038805137506418659222584019050870167910980890098019749211208982368, 19009163452998947767376055647493783199187765521396038475480441009285148436970656, -6601990413062715306986692120963485804140473080688740027955538256153448081856, -696565720981940312032230090971934688852729087994570307810217781056156824, -322450312552232347306191831218485060646542008709347109369757974945536], [3169284242270999943011990066238228746359827400169682668936235411269130337312414689374117283686223060, 4677951667372153226575643117398885600677980334145039265603372921146695317328566862051758, -2480443684388151971386349083253455755448974755810596921347584067109945205931141663, -1713954814557410557025387397007720208524909522045586492376507699694936393792, 498563978867543228128314249852412275433833624661640520329685857954654032, 1061995371324356059134511368211320116821449521511587088758351871776448], [-8775293476961452496894153873001275380222172896908547211964833405777138536783275124792651640749621450, -12847265188597163604210670830302501228703793005840155572573124071883804948347211019745460, 1368831440249976112666667974714976686838405196867622624032334208512528557009335148, 28269602485078135170793753744989680925726005627501906727234404913064705487704, 2128690119816304287210606001269524754689949249581701028429485543559653371, -2358686114403883248884489747443811729039459584122785801541515316930816], [5501642889459179343060633605464818332000762543275150200051565549738971437960550617117384660494215330, 6531722061906280065140040182294725093921384096344293063387036877226075628954802128964640, -1050947862959745404181865285174113125747752432672216876904404970142865516291271136, -57139683398064342103081283508052921588644360738194549407763736605719607559360, 219464302595326512926549167062065967920073847826735751733107056680178760, -513902535000247444572382877308088343255599339449493454436307670600960], [20559628685122630038195097934878615467088783320749839699819222502641660483287481399314590473108274520, 11703617846933913721262675218195662900595811464300180677297265713554311734902343743528436, 3574426483099855046133435273137086561755020573761304442196760704723498600082679726, -22792764102999832715304877382829255872866989547709639469863329638219249400720, 1057222000950036404999031125017606439004527692375826597819905654960198612, -12918209777499811011597346361756423798518407142807678628844295553030352], [-157437102007687021638982399365605650102549118472695780071323601338086894252776357762492083225410331760, 4129478007687137828792623977802391840084709255530680124205327174843154385276501902020280, 9537038717248658015812388442942351354360892864318686421003224797264664231613353396, 198753692949311594922441426171331799919229577124871650132829128443987966851552, 28917402521074596207828429387865262868647599420349807670105681211587762408, 6219043113005016471953863328290423801213760570416847801189614229788512], [-218132938596403556787364243031940826192341601547206507807623793763236275526666710549341879923793683810, 170940167544281766401640622379158344285291016886500803322803711619142248675189590804093004, -31956759671158327067481875905132587096380364021580936183812899662861851838775206932, -352819698828424008301909973892692222705159885012095235567232454545912664835624, 28693882314504944503208565549230688697984375973898488663425519835093763579, -1178321519803960305147923742539998456286154760835474837079749912348544], [124332807201185441361344416108175166017788507506589707197851798180939078614879021018956466368900007860, 406864024436428335061060526748454094787568055704355402298554353602817039242201895898681598, 70876954192802481752814585078776104288604211374629405177908049584324905812959964473, 181813232507431907636503613604546939457403330403015338049967054540175056130880, -43425611517038942047989302909837579371661236087544732817258149708167985424, 8225298814810407083300299478252254097286962059770581293187118402314304], [347787613047120341280136920084981738549228000130339302759404291036859173252704883647034082842525281920, -70803889665634633846138629690808012609325758236455720827971916155425814561777593890417984, 1394656886420963304615369438444466881025220437711844768047938115985488450656589344, -1153807714312065152112646515774355526450919220816692243797024892272617919308544, 119385732855604085072866032677014252418888174344888676942422426208635673024, 13714678318882536775074597287536385750264815507777553802926169683271936], [1271961962825443726219441019753287094330496845375355702850479749766306776757180557157756930364708566030, -1145186225779068330506958898458129808880813935768917690242343126276720076688031704612482196, 56395653371726628826102404114753128797633532379838494725998319286629049805399632396, -1432903216310618306677680318143667323372177753859317583402410578616941946879464, -159463608272565103254563778544766110661783255037006414551966750095140480893, 173609880910787516348040213172342747548746749656361019931565011198361728], [-132632526478512689718772003795060117461385794854307952264432074689576796118566406641263761856077690, -714203936649264910266080561183436019045468588328693766354287523361258723553306129994940212, -46022990950856240362718066669927096294439556017898883079260877836532149126782168596, 1287131974383588903745005639170572162540584228039505929410063668170549190681944, 798015042170936018570628711113966317562192986694771557076175554847119807451, 265316810493243459912446922696362074687104245213791248909298531821118464], [3095723792765188111496115366550671357391102488761140310430871296528847166464091916179994897321768012402, 1462199182075749209798868401432219667463926757400499322648376075869339847663799899210680040, 219609662545592197899823572051504078098789083723770867578943802983320868904748492904, -3286594721473035652948565614242677994182556622334145061062706879413501507507568, 785802621451277878012982901119619760349947701118912158497782715761467286858, 52206409636797568904422000420111522781163570974943545234968540934039232], [-7357307052130586795261004608724696724200118746008153653173843108287217654514669064550892368335126966230, 161323951856542221650664246861299935744502578996781190973230270509544648128055942334979536, 447619789238124471548701336188777903384090946028685252723986643258978481813670846928, 7486676478818259590603078841527218206174187139729834901118467274071155911629856, -2274304556460191607544016091399139068534376461470084447742666593422839298284, -1593359585377533050698189742518441572900309287467349667193153984128894336], [3464403056539795800047937680587061252076027009448053501131832867039702562706871569371877982008952016140, -22120969802227972252194441097162988718658343599869543935865338411213996853091400403245284798, -2756529187741436651519658093153702385213724807152993963261839866158952566211085512169, -6278761118773653273939703687062659229748241857143405558987006905191776869826528, 9460559917642898306206546375729491786049290272450560558642866044788356969432, 1732941188820441265028602658911326308632277723340271224084493403879994528], [5823280635722462160896374401138286584194020412935801850477272532812660004238546529317670307519505823982, -29848100324283019161871259319381607203288837467694700446471451091668924209424859998954670180, 1667714705622530189624813802366195532829631853334932915309485820011044695901571244092, -27051954611016431748673226238763038434180348823175205642999695513672465125574664, -8724015297543557254619224428118641534156345351596461339969723642554788449041, 3478350567362786492030909763677012117932007396431539481535881110067163136], [67522976727513739376047706994044369052209982922183706998042005581911573540572669396549665477527374672, -13259460817915671047491243390710120505977843684640838947938321995999362981353510668381097960, -2639813833561746502612320207283359692040645160242327589160869641776586930319189976796, 36855719024921195169190553765004406946996492607833071940204088021529013250764832, -5607199339027561558062303532257660285826993252843337787122535171889293378792, -5005356058823418092285926117850791968347287287571851479834404166686294368], [-26230311364144212083280701347132116948429412550699001534867847962925472713269940447433451647183123981230, 39128537813544587076593784253078156069939341513515031687324021444501106060629126916472659176, 11544645711070967339535665700075361203991047082867360095494507051904788575428988799592, -17761896929151470033849194356559597604664461331361409143741156306156825197847920, 9084440121670733451625648801792370590573904991268661316272769644919607405770, -1827334233175429288384623208067790320524680033575379060502192177182592320], [141137562451388863299223173306630095071522401738986312072744687408822716104744370619814551889454705750280, 147476254933304483671690197195327512291651147183898615930540299476831057054473930309586277404, -9449447484785033773730741066045154979680305054819494023973952054347346836482594520182, -43766730369859147472283315248767910338543468697910089981030380866310885443260528, -1623592601179421939693461150221136777307972316417057076271945932263842864724, 6850224723352568100766959731714170101937478751638869139533204327228215504], [96196906850974854483486099345440070735784541089456412703365076147765894181379570995163113578853911395700, 145657173247732834983869829201898505264715163674001300016823641080463242678934575269770866558, 18286704710209706936160783779456788881365383809601131657389828739738325604856621135369, -71397623343513234733708483478818832749154054420150957334226323051894092071147552, -20092171622701212464151333394265775776782106364961121838455195126425883259608, 5631018552162475355418791451416289376706553212041155669972438659726568288], [-86194536595998070989622726818763458559972045919974210254594458113240251274830249278426205711782814959550, -88438414429258010742607012476731280936518474565864182541049758073768114145656758922624936440, -46285761202053109496718741952949040693583797128620075815765828448419177268255341021816, 192133667369262766851624231303549107797248859650259501558390413402615468927324112, -76951062447978986421436946870204081776628271420733832856244026643444169598382, -3511236425118958341737642729623635352788847502649628631841956374048254528], [30238915181562793230102268453135369004622779651228762389069117190864617558399464691827742441102896870650, -177877376650692854073273735971150147377912748001685007840084469425434199740197713118090906416, 33084466931518501476466654749432460674935526421128488584922269141682889356646942298320, 209469484107492205427337561063049475907834618918064192741179286183688252261567008, 143228132503401412789946507733169320809067393595005784068013081217994686686932, 89463533893748279555892548972011347447555680765300731913380094249002232448], [-376914469971361786859484044358114562738009308689022818938823354269464697294524247982336985317354604886458, 167989175058916048359904364742361237505393104865864221453961933427441544116792254489521891180, 53363945494350556460681452746090488458189857099872332529241614909347288558385033571468, 50548852561108019804342826990868410440435530579777998030329121445121951284533144, -236542274378698153462898997781341890830474041866792344823830461828623680118589, -75936450263805170625832398010087249249476868409909330246058576467038784256], [253547350933200356249281907740860034292553921687987057645058000076298869766923072366590474166740486483760, -1106090767941889344910570543180406498203108168688711428710326061489015133711855311739656542168, 127923951264017229297160666806817701303144204760365245018481899035197169098667849650300, -886850281182637345963009122603898077838169716814938248789391777947304419577538720, 65222269630188741677681531084782223913011221643484065272041204320523760189320, -63023365152072078742359806063530321354991009638112090096727478924871289120], [-1631871136197545705673765564356435967192461058804124612739129334176077331903126526647883891330362498231460, 519195367487032389757216912487979714231704583909524321883738344028121756518692277155887509690, -43822506840257548785561257308796014931480025718357118620600759063441154146178299499493, 38008977017561294968493432550310075245954167960557505341968773197845558876558560, 34132708376649173227321477926448337178236381453389971025269998640583200235240, 106035300046144254937270377650594382195399338714659158275009999601189387360], [-1618989343017554936740086534297757957303321284212804406434447309694116439431361001343764699876075915561440, 1599643836575877634567424232846114017098738587697377728082273694051955261008008884442827484208, -265386995999271634853992079043409777939230941117088279716255700237415876472600406233112, 7432048714871580040133738809594720128194400083085020761117426618573645307431534720, 152816676436929347855153712820139846031269649576111057297475085463081102508256, 498485938615085691071011308494456418303713234987053344614025291455520349824], [2342287987609885866338257092476170806495630553260881430092101489663744309980967096858750010065959864956120, 7057877644590256058414647858840873232829762609352715945514590259855912034999925047692571401972, 703343398908069407505153071075576566786704751842951107208414660445018555043102255866446, -9102162624957061856821753252967106935448612727823862948325200215799438125652822096, 1981107207890695018595176052388772581621210920986597426959484151237934082603716, -1102100817242106065681784904740643623769569492274017049559321518128822392976], [-4347137348745512846234795813156280962817393138156580755532388156114542196297642149187622482896090486172988, -15268266577057808768550113911499983831808404620406404426575028745024343464258439792637360413290, -460390633807761221252273445919111014707349293275365614241289524141811982141070065476179, -28675901272383029319935082277965334207938974303825059784763010071811772326108293632, -1127122662803190240541244354958348833119862684670519705358431007580062143553408, 172962315651923276564661272635247377158570669135341183136815317348032941568], [5419773436812229047748718288871662413495040213106167102656869670058781929240512737540300782938642191779900, 18903479916962713389000002123370458555488205918876552550921629647803329763214994150427479489770, 3069093208025693690401861457913389721761019572738285320053215804292085715800438856465427, 11879607195661676262223187275264205451828164013648525071679967112925475558843887616, -4592686947466655179935716616837586007471929132294589209699700528196466476938496, -1288343330418915094965426570569010122424130503088060871838503553568345872384], [1906011733093935950659484872169175186226529519426677598363533714852732435268926737482439089715285010017480, 8004119765901963713507834571026543273579410465382205322434673427177712600060943214275013751420, -1269731211695264429345724702952200860137289289228183898805818347699389012574128169829638, -7413571260819861788425094546815151589959960345569438694792464901756785929145280816, 3643815636487865778535776914185268016959984381887452059082604814650854266094236, -1441934988490211921280399719690494614251263755421155009747669265998611206896], [48948309532375963672638718302599390302925770427984532589313348885792868934235610917165531765562667425496470, 58494941869062720714536049853120304091952935458792404823284818619338225732944272137195534559196, 1082002407340759308757997171161307431447193022207099161150037582481272369939570759557628, -10773856637744766503933979850997780009655726074498581869848311731078599298396674824, -11368313220851853829615373265643601881522071891223732293592084623627556230697409, -450103871738094990089108901946023771115245527726863116615157583554757943936], [41447924865879145049689301678338821797885239759257911600910801000457132122500688194738028479262902879517882, -60128552573257930249874315406829448249423629869625076342743108073669840892833227559930684154480, -8586505022778798250901739855096512656670219893313441637792700604092160201641642682080368, 307781970234635965648189058147116903542956772208520436462303804505782538745705418656, -31876539028134841272458245864517711859752790850479690499128812207830670835836, -10769963124920332941887721032024192432688185121162613144154012884139920911744], [-125947047451011525890865380115241959385659764526437361653143249134944274802558458273332023994257396240813660, -2399881197005026323690751207500601916361448028087808386198009871916685820488321145191422894266, 7838719824129620093869709958759127097334542704323414683775830230024570289278242706972581, -139633516902629826576371006069684924609137012718562601936604457763322565318322385760, -57565637189433602703033907209656137314258947959288247389455015098381926920106440, -20774979409565658088921637603902599634592874856623626190939472813437779700960], [121968833003454274633658464462631365700412263990013712247447174262807525120792627250813799300254714143315062, -137942277963989019522327628498644093161563158816889907195285442782359262913538032850292128278660, 85371496231162386189330003610710728784798538933916243619552093928042042868069885022121884, 1072603702154872559001289520562544098330754130994275829155597582259273618616521193272, -44981486469371889758426105851860202660555868170721159336360278436131501915356057, 51766801822360588919093271184251803101764279564078871107311802691699272915072], [-376177838615592039070006035483467604838752872185931388246198639316959170264876287387804858175388523393351540, 1002397145006007639508151541883723440089337881735281680643887343850368769063193367742364333954178, 10098879447126601536920896307400467415519751374335465740842891637624435139044621256630391, -1111752560378213239654950578758632134290576316802717327873334118011320358283555391200, -40398767635940001057381743488523462736574886118560296811061238264596708752817000, 1552807398993991138258781984451032026227131891705958384176624827359593181600], [605313091901471111695500241786838323382361550216939540864393706267605386361629453837957812585731996708088550, 1164001606170454790960127518305860500582738011427476808136455316176173094627816346018377768734044, -3255877498640272890988625854722362153794254940194377228155149039355984614012318078183300, -2536948878655397327780287516776693545757722404764245224970699110937622038881561238792, -1598508773890497082002539617894562486231689369417649360222390181181891578477793, 64600861219397283308093128451558585633885417737669887476860540965408800581248], [2366535193592044774146269652567992447728912333718539986804960233148603922264223412872432512060859029740388860, -1121021676073165187192626989312557894481633304916013639859941819962804699153908800236612436974998, -204254097420161967649683630449440766393375330064729582341572398321092129718802554496255773, 4731382775333279297037675374595826192294435344887918978969221516942372915325612613536, -887609772605306705623600065060134203219759788074429984118246785463492677631301256, -157131291633768141106917789534579243285376598065843252537502617689828205385184], [-5561929209037108423143756986372062894895534846357514384359511203846631616876776543820554031126805732374664310, 1405615483194222431226487685647348114650417283338192347570881392967580320124228500107517251317392, 47359455420617695005349734837000082645273612767956090263641503593950863133301399729063056, 897681648642414190635876323477301226949506785062146390744699353892784922458467649952, 430931774598760515637415491711554441005523275109518997740473662254274857258798532, -162265311448166246925062017911686258416879764620917135585495444484887661811072], [-1352593443456705716520019134118051365119867098835887412853627637341282669283305523938549852854963458652505868, -2453293382727588533769802403157922613743750060391787149317707684204295743373575803452492204260290, -291912135228108525258453745979397390660517815399480744324044940919016033304011988802748439, -8881078477090964752734516524983443404178248556829343651656935681104741379019736695712, -1698841101725129450637497218878056217820371640347112570630529449910600466342647928, 96315178942111866002742770007980395732860427604632221479878335368926998725088], [897822522542609316886330913282087103845493563850989090537866659930004797439906343527960081988485783870945730, 4280733208808435613608677481394960343599881574823213055106890991389789676578985967457033317963296, 97670636657909619410070727952218732793553446602075443210786008135057668348644976668450336, 3528295936320577885951712359749138601682815410362126788399429264641966595493905051968, 27343887422936751951524048828586343486130938957404760419781751843800988283427272, 710222025590592314820650849733121547551710317551997261224232180048345969150208], [855139672869409059742430410858427585799926457569716463901195110798928003233583277848149999830622786699851620, 17657298118167648115543182612789718851198487731274854052286472434434407400727090497323193917590182, -516798001264800689215497672732340979755252569479374454811009867815505081563971395631933035, 13889785922994583920078867003790490689306441078613850649453458454267524653274062796256, -2772529802358360764981776880261160439588763720669717127886436566637245699706220376, -278678953700800065444699822824697999149774573649910237498959649168105237128864], [-22402793269096627463061719294300180531597677783412727913135520072780827360287485470526218380345999135904745550, 6122500785218180975664570823469205658312208499076980865386461998055474655535991397711342435463488, -1974697124435525083683172758615227978376184689377046108094168106338913339133261241511696064, 16114512374864180807010725000669284707435664679822635981139229007637365178953294253184, 547718743656073300512515104885394632970343621357068203310788138107794296507785936, 905196801101953403619890119236052781728646972587350887993355911068366990754304], [2446731943068312969692058241741040356678608976745559319432637003356643341077927417640716627175324414484701800, -23136704452083235195041926115406130822475305203217376265038380297491769293868627893053390586778260, 2223442425301847612692346047357516083394661348780880970257787715036604738270822854898613698, 46213496182898731350182781181710791011064779064239258854573325226074246046953353213904, 4799185006258613739122337178005170915370990277703176280469390752697262095787173596, 2850614662024525999043472980189882949626711462692011551194346946524383025274384], [24584681301993463586884239581421483413054033543196570495392280033132150401190164277794803642600757812493783402, -21967938081429198563690391800594298091725750574437588207091126591683086619011454140784973057532600, -2912756161144141955017082150317545410147109904461341505059787568487931668086556469615146040, 40013850726162331231108939734707557290035158400413793648320984631752362174849976121680, -1457146080382136322758155146965719074845177059281184888763857469508646465368292830, -1948500322155839897301507424176606506134841294143190834237748638380771819187520], [67225308319471783730805352430914357542538543005914420123299194942870589577871123753175133687051199403699344800, 31727603153510323497647147524229609053124431280680261855606635475308904628954615713869691060370224, -1939385123239270167376431802788190338388330953987036540667733282787769099881870049871578488, -40805942958455267430678997068721701765630367934924862682370066316742635727890889119296, -2947296292788975735704550290973281823537458769346821894570529871041319676140862384, 1045014237907847342399432032070440876588178460748471905739964951879275828473024], [8043541525558096824462965018278190797138091023401213244524300341556170202451495650378342637953029865412478510, 56650270784190099721650313603478994305610234404253580833560940980070370520123156531122911322026012, -14157869565553803862383329982204987228476513523233360739984945244922299477691267270079927108, 30261044348924802780819637727650257558701358583619827112750099933694143342460331706616, -4070522305752843082317620784154259207990078384590350034028355480442360747479998961, -3165831027964450357595144215816732927024841651702870000979094829295922990639104], [-45970156031866920352655261335306297065226511462130165132668081981736830261999264161121981373562761800494655910, -80335623075746508562697770052665658545863648320992653347949320674878029233968701557632152562599320, -7566888054322622387577943243051417092629535290198522158340940429838379606830333971112048920, 49648641102227550039899661068864065535208033878284598842025969842039137327078625118864, -7735353814698924305360396464544700888273813875620884997350019937972638615423281494, 7804903736075819576756797990908863339653247318796959379296907060176877480513984], [-32185846488830761399974458370856104543395610093891913898368686011344401944753814889264763347673356678361430460, 19548349624160402354172795591821967330412217272764658811223629504114680468718788913273852059615222, -8271609302401080941901424308802284201321696032153518603924499917545486557549300121941941779, -122672597683379724532137980574258013648440192425035070673828848847952614457342777835168, -3754766012855419312107997266942774103318637917498278543225920978060014747708892088, -3070081029398323773991004131457338437316626773904533747130836405901757494488352], [79103548297747060098462847339600450340296981812980892599377862530178828454135484091389538098340917496463795272, 63135153854323552348798521420155595453782162092856265595033290286720440662568442952002016231080380, -980916523315969226252677309295272953235586098109362523510980191612552433369851742746208422, -128135688388092785433229763420517703264383395783475242332978975165999617000954160988976, 3781529081808687945892460909405707918101105866400709340636395369909626371899113756, 19966243525669294998284407512911796584679061831918209727100225693557569341758224], [-155209736658146210033660368161340822115856121671697831346557277670813279564018329990170406757393053523005402238, 663107838639141290184368182426663406194494023915413054309117009394842722917909618714074003333316680, -41148138085215657498548222674426384164496950865008759228396642967365501460551539532876568632, -75608737821926422999952168587382732243659121910984743607050272091872177522584199092656, -50051926707804427464382802427250589882356962792949207662599952340490882229921184414, -28890846170139184110014624503383386230796793943696314205565153444216525920981056], [69413274531693196730031786207954487515124797302089753100960383720543443280356518811979657517013649170524787500, -47923438830169819966800106517188533334846476635402887052719479997649439088834979203671739435327502, 25565006510321874920774897142197942829830541238496563961030904476967598286938760920444275327, 966681305405056624082222993918804898922083594858780103963393608819770027727327906886432, -9956595862417592947146448566864355984944463807343196100817710445176513297685008872, -56546514100937704402276092581704748898009225468767390791173817521070592471719008], [-83267291640424229331256608622195983314639676585821509391915626290425695585023746167887901363233985354996983240, -255862326193914466243298642044139332892903039895390299168357107788370210617369744815485665227794812, 42191106272315953789670649294241076324336889201985523701751065532019609742189057636466615622, -1284903509590092798694235466143747670445744523184536285241756674760993099699505707358032, 168009403147673509728540331994312129323789162271593300413750639580159686658287930372, -39886145897783196566738595624185458371549310445795693368022791172686015281762192], [471682425354977274540651727298635103536958559340518121343432749811034167616850235034076783469811079735639396230, 242363071878021930153502363661870404525802470112509925583836364751406052313046525134222673894053100, -54542362165867814961970719931669502971817633147092515890865271350425026710563641838327766516, -1208501420620149019018903624155984064335157307764960688129772681593261531032560353761640, -379372801726680773311618462023200320750464596182547764292994375793332998198630257885, -891348830406908858088009178077616498754941452469722014439055713654569239607040], [2162136973393639436929687460398765885548336951134943944008033343228612873228996473547745651692430672880994033820, 40373501258511283064424351470047178217722377344139396450884049997084767496588590080891033443669626, 814848192123105443846378092250861978600918732105200697114663305700007643247218955873847627, -1171587152099820366505023132895486498459781819536160431363227757538995102891403377639552, 243597909531555026982588886124638336386404470742825243491301816100497348845542453664, 150551967344094740705692242518664858117344859473675396773804237670618278578435456], [-875893168555291755794207666784519869930991300898502420755743819383000479239620483626299285650176514986737769858, 1450880058878620332856501072378396381983097452683786424040377693326128091342110406006598539008783420, 13304207405289391537408372472036803615992672953536660360849692897565869404453022880955524572, -1861470275478552802676181862074388952728879197085362364518236947302428115740955460314824, 88317735153353498932448741504509978951809976500374504566138581211669397258580968919, 68987986042959066950422531516898161763197444222659099492906552074722960794763776], [-4013737449131681586374340753978185016012452451882033650628656504657431659421085152908951533291679230759527050910, -1988307101340149996913593165796062594574100233037624068291492442331946956886522642251279546239049336, 54347118862544752487518676533851768705598974595993839330074111532851201667192612281174083848, -278494800902913877540829132732272055211343415713762896748538610087363872468671355499824, 189872269176109581698959004836051744391717176176832084467318952827643964246940104754, -272719800529073390091671141049628153484787956353569906298977746119634761861998144], [-2882501199878653849614575948297575606602234895824308105998215655731991539625680485540604205206425262804616983570, -3124480525708141716399040211516835644774791722094251564678980227778558532220753356697370057540154644, -358319332659367520411690713410956164635533052111609848896740764828824477325680283360365490292, 5896130817974643665735789670774124393500133182645231339275053202525512015566218368147224, 466467081782921067093361878600885668631207723288902017127568113071278005621953846371, 215600995745222760138376221355914950273697879583584398037565157217068877493858944], [-57437690988299203632557668110791074234888303377538754505508515925843524517980289486718350787596376104486902780, -748235520552558220681763440549088319848813882045213477610050366108800965253847066788858447858465674, -366139937174947437798613966341452717843154529789266041317026538581774696932159691958891144515, -3705868390034947468929943565954929838628168545839164638320402560155264901690340707152896, 1941678808002517535860446727793541764000657771429803417388682428000647753401402716416, -485068266733479945850419044288991576390163394206272207731479954218496605469541376], [9046656892967673693595217868213929183204749407256035511499569858462059148684180325978824818204229749712630521212, -2444312535780462133945338278651468220187190093905820540304050082431674961863473766754463170712247670, -748606942830684542636802999947210374202899067194329589799566927706591966694681802082433973917, 13600826706822173677027367174419479697813429974164479608009705913978950588606359966592064, 2134715560766067035252160781972426074080440302607129757694673140088080010705582148016, 1441631728005561332759384896771711847938809617123786680143215907914325800117177664], [-29208506860012309093902810304650879404343218147228403561292117681988538463117066426141137344094102954118832384298, 9604769208423067042049305003394991098371993666514240670694919373783967138127447191887872486354501820, 1545337618951666164047777104274088762204067792030247120001070829432132986519813694969279324892, 6528896291329827988790504055719581404155473680108714295356815665182092759155046277431736, 583489580082911537081181931635998268646638078289878281754522476354775960792527957559, 2089862596953066416919973321515353467899552614825540089434195325059078385880593536], [-657003273672134255488554558022847512779972344065242020600444917862475775038157533115313974542355288388101978930, -36553042270885153947842253141596958234961974322041826113439350231335930023018157425001256414823067924, -630752364518096770872916952746003835641395319435038378761837492614011637328237034687447892596, -22361855856995564620127787588973489256369589228630169534241825379860402079313325288518376, -5414485977974284977154228567335457797056128502926592153539783594402131731068900332957, -1392260003551190939825202107323333038167707821219070197895193487779092143262739328], [25822740787679500071519347216534651057000780919507222669722075731972120371825922148989232297643815241550090440240, 40511373140991799238473615604561764627479088545128630303408226157876128903858810945482217479617371432, 1783033647642188930688682625349072953920008739849111958524684385610751452129046453880466831036, 89064399457482823908241483546301100942940941331835749430377596919795692238175609663733472, 17050527002746051765726395665817562125349676395942011967750690330568847112096303716392, 818911958634251867978435183031837475742861691155203505155021136709848553500163168], [15706159982592428353870405437480018393870032034480502581671298569906281112822768736856931640044683040293179144680, -10747399721120644675815952877855667298810885037903959234679158713434633557545814442839665383182734164, 16396449135252220479500547758843404284555437352897374976787484132203574464408784186915469840930, -9413530277062847119750554631498986278772929290562746685149305736042311895055089144689200, 7966639259749893670496728797098508938163673033921776687792087313617069884973929905500, -43812771077741820780679204387592301165740611101786099225708380748784632222524400], [-5650646759450695660356255434487457826308681479205633200618449173226146297543700455655832713734912371418510009930, 28091640564817971038095682569377114316212695081558104382600916631342772227374504219374849789104093036, -6602387313696530742803691040953807165778046568019735535741806280960430798991137269658293764212, 220980962351932818304872510999968724104105291119330125091710512571593554247976298610748568, 9845099536946651993518938269748030114707250900995421729285608323152256213682860858947, -10557966070214349127125666203273643606747730505822870832659575001893569550080033792], [46912754367623607721549497779712977364719527207000692309657386770931161331840764759414843333428471669261969925580, 94495744719579969360066707873279729128950712065037967102515055170908942471792991469311647576949268994, -16704090466051662458844446048808005433496927146380392994369542299897233308251829507127520152601, -163877871397895782571808666091080488664151571186174796211586093447809628823732650890456320, 2793856297030417933571983818934401407839021976784263119915037484380792189743537754688, -6840609311835774214351041092895900351774493884159596919024976713960402221031944448], [100772235925040504611800177572994077704177833365325594004338570523030448279975141904091162187362417209832617149400, 23356845929028733586250483747828232307899965445747370152723344293077489954818168015918113752864465268, 23232437338555067315593671860312665055126727369112226980308214401747934857276211725042489417486, -40880155067533779244534431871191419053209615493722016223728312991576986050605446820294736, 15421630272522235438362086183213432568915385822249360738044576548206315412912149929156, -12917024201237866424668485522290354581756370201328310009205690013988962528310812816], [-163797643825222699357501022667509248155871453530493758502479223397437064934366872464010337164015821280358355940848, -377041206117529276099049546168323763010700498006065033609850731030302418259792508652108922017665585480, -5138535202918659356713843291632688805194620989009113649469075983101842886678854867207519279468, 244623044213989203280672903099691216068757145283799843630110242590137668400198442195805856, 56761911828359559674101080531788619592512247202838077566164150504524326410947017513464, -2005800825493889284518137963027213428940568648431668550015741167932144431399864544], [-378669312011877699223384510854070470930852775877625824485702476740848068730665978568012214834508251650060217409250, 66244591032147637542248740884751863927118931564287427497708725927760387907228662021449812022029702364, 18467037919930398292723314327518292298354908340938065298713386800451009734370970381949131343996, -33727150675426428226471853940524474295639727532902293691676956167293203554219126835793544, 2959373834959553307535724484697165793361724305566389304596703108531238724577810267199, 34723013389339384948754564671020327712838676120795582827858557710781174332118292736], [260482051410170992564813189678130793751717327196690213227930678221936132149799349220410411039015895053200963607242, 25195523646620621066944018845313064547733411486156708526580181840589750026982539370577382372203297680, 23946561652633298785805190875646108276389585236407309530764729173401314956805644048787763952528, 60970858314758321314952235469332898540814981880601085100250423202563903921855382562910624, -109102995934995809876206808421751461302114139761829800266555033399086171457823720910844, 26799314531658414913222233047700477471695043265314695060505895613761623023173866624], [227945250050669594009507234161289808543144747988435871860721529823203962208670176360395978923489767734221744466690, -680752365573881572242935876685190184110102937020291293905904818986715038740573609158591358308107129208, -24704614150099944535713410290543408483463276398981544677924052337788632348326192330824066292216, 394129059962086106352447885491039832849475821243343324520108533723336155991056220713950416, 26043804145469781873157554109199675993194597293927141871500179821699438172352893447538, 48722599431230493230506645511018478435734496411632760048142310242747206087604834752], [215113611430680601062144521710797720483176822597438474243698994545553066005217691224707660321708855930767369870990, 661808353476117224269115369898451868847856652358325045041312022756445094097880239707961886652355133484, 30132481417509870874930585281354798117293239320964588238191207607389639374600119781454108912332, -993261464623706328734963222423268493162680297592010230722765018187353753918331942966860392, 73261233115333162774092847622428629376934418610771774508470387875153355551429527027507, -71016071268154973982964886745469272116902849657785065050722712895256111167174305152], [361444040928908666459385095301805242519035812519220508234366298175966523395090646460800022478184116945401173333020, -2525385791829031555537393702711689637934104977478053308273538225910678771813111687889054625450532145798, -84063555495133995149222503524430170424023330105669084650051324905368344686050862821251047614741, 610744823903821248494266333901891378844346737218171764555105688312272097634200977574335168, -389669787171401360276505521798072140762400164506297980742441997062716144555672568559728, -12888544805581269523703694757257525491874207899532429627973087234218294530437411392], [1611959402543841347651698742527867195990254240800133556293493094954069866736428153142135916094489895083092329345910, 155462524544528139830999975398143149375625925707526707485128127468657038389098746360910703688547694428, -207546943089803017548281632019227376771270865710356106639369043149847322335674544488678136797316, 2468047448838260343476765130937202267983587315803968572918038093041289999232312920947845624, 291789369229544973872698852383967211854622952875676182063374153188834880742281323453471, -224138022884959332028825747066042370990673244030273811445081106321325609244974614656], [-167427225265030299595837839761658759362230175864021196476273353658542733967819616407578052889257231698831694486630, -580510914999776984115515413143929566005968350882625647225737196092798296223081659324681487282451081584, 260866933405877572745351577432689047048079341075473129708979997194893058353028581532656415968912, 2469258667590150693144716240957664215876858019700870938855395400395266346231709995537147808, -1467596868056802313726566560215355911910222035320046901533327247463547904387752282765116, -271462027111469753434582426560379070144304789494242623254045850014417729373249108864], [-7476573739670396134561642566963956765226583762244554993166753957509985141391803922732001323613143466658925299779708, 2774221852886178164861920334489958984170123140031990773308125410256614798232400779752435326162225831510, -57867886624364469536847402033637080647958529862698475422154730751285504899741477793765571227779, -6402326766541956144592507025345938516442986712329399136913312966907900818255363548957094432, 844769711557533479219228813550054992751603907685642007883459132379818254628664654644392, 259290015699756797335465392451914938829263790053862376589461910660064424587521417568], [-4462409811957996851644709286660107380722786469824543220361408510276112468057607096553071850121890539403945469565218, 10416049297759902547757287198571243227595967154675788000992736223723403129027960864929107652831230645580, -698862247270498139321150730713424877034660086078214752888082992160036971934295843506415571278612, -9347688073821178244883331656877222055501542440785320816411180698865659841081201897576083496, 432573823587591078112853391638626898003718583494814257693588307459720654247600130344251, -1418918846567336431828941550785021511852670007958656576959356412016391615662789837696], [887995808791914621210888796744862049810624405413458964295586213556036627387757409261912459269530347273815571650440, 2678042910523015907070758692712093259433421408704882843883845322285783391566253418137607224161272065244, 537004461656944930683085408245047965865164454740671578717720256613505105213703894946254509473194, 13397775160791066845258557639409920249312669402009616373916915160985974118160694167509783184, -304325535003947129109583340184602547054925137466742156208194203284026136519829642399764, -983230858442257954424162550722257062972631056891177542171433833769106181360558542896], [-8143629487419496525544863890630128981070534261727080996948551989927969428911665506551103505471575338179005481771020, -10929924742330843890355430716770621041175620939169807503037801788195817523602870968675569039397225825154, 281766216341990687385350058297121009772333935344130540496270771814297803420077739548579210790121, -3356789650004261669529355023578959947441164702853576089368002779576575610867291974270009952, -860137979038285091112145804255627724541140641613597052561137837314195723888540036352008, 949001245205535899660547023542149441640600839281860952852047444148970729121840685088], [7145033598513341741146595870600410299848368106284299251401639878006307582154847356749084704246973987043460565031510, -15426425433673116341140881805344030121762664585520442052323693246195904488995898003412959828888039399332, 115214253811228972546329575446227694446388346220211811700579814211882570351570542662540129642108, -16195155735494248718187288971662933528931592635727548843757690265734677290635546656452936200, 853823380548095458584933741439377062630489773009923891264192481704351074478816669688671, -1607104334290996497512523534216689585107908532302392800159269519190841048195682738816], [-12661702102986999378768943788368815350173366880988384364918681389123728772518149964917674896235712114897207683664520, 7916045421143812979490898517034457907421591101909754756956404071183494746212988410842863611359745401764, -2173830416682935418369251060878999334347403836094178958912623351270793672855649154942523995859050, 5273088579061920982425936701281280901489474445032116499469389032421291808376830710407069808, -949437519206174822782200622116164751941478974550503206745373195686559523387591858719660, 976049221875558755586355278680814432880549913499865966007441738746611734713997651760], [17548590710655485634107842508666905242728471502619885988976889183253870386728794324944817785884597235097175809309630, -30077903236918573971110564088574224441514887718336810456425882644929992396722154097417379497683048978260, -655800952535277548515557419444171273027607752503652707100972819869081434167126908720045083834804, -39814570276758488858616332885857670138452873061972201095910727575481288027371202609630842984, 8929833783297144175420050402122458230816253326002089547746040008453893114447209968425939, 3041206527543846783384866453203388184793513625946662669433177794443839023248720500096], [63163693326744363241609520072415768715556729048350482705341188952777781505474502177507597678682654978558140191276650, 50105082273346390781565006576166387360707723042247417700466507878661391541426993174467644511236267249424, 4912328722429750085872166560725018922659047462394042721189922369514969519387692172860566762261776, 52034676148295844060711967825321503315382585517518874915072838911986866292811725403536529056, 1120318216230988096127095895163623109996471444839788604901162273224584157187367865309924, -4414968361991443196423841147963739353714746418129631235293757773353784436618097838464], [15568479430694496057316471161143611872825777215271907412811279909343466124704640176205934103265212469899530616068820, 17778325285545295572975942033930784229255690462512277662934626502229128624083168394700845988261344647726, 2490081700469155552338308292645666821892614694266920075585910089330973621258963170120792820740065, 92412088234410080247846478822906220514442931213815002473825930214114336263036282624244361792, 7270049488685598465669439578753157770615931985823141107119891589284922027336076566049840, 5995419697553666094137302755621148190552979179404157188592884624925513154315555504960], [11452717896406555508872924294431372878299874583033747569900497799084822855854764000521366738592824709680246738969760, 21483233500977180170532615117378949854689885806800909178754252225400769104054250981713863499056711532912, 6817416444020385826647970753065589467769128262073160059359612162258801761047999099750312629465992, -120521149959191236096234242641092557146799627666303516328340063762854737552910179301377571584, -16499506025203323170363534775156116567148683976168889994676183766020652278205537340089536, 10076820141492224915676728448742566484971049333302572063455972007868100697488004695296], [26339977252858100648576272473246132147233312145367548111621038639667716614013053238590612061464352451303709954718630, 111480841833366915346027085975513603290696371312004919140537912791506948691376623473580795078519795943276, -15175828049656266066111068291844006656903767289620929004275755422246563654860500374646918291191156, 205129297857262173070927989773895012613640071974697853144599554172877471023693790565878647192, -21454561138720505973020879633482451025845506641979717569004901151080146373282527410845757, 17314751080580450428767950466333608212650648774708432099500258300421736084912136362752], [12937572040209208626909386384351973505497431051992202216911481383257143704097874606098382298646769032211504453554322, -99453812788149930774632683273151591367744199262832456271495816820839696364120447291505236642343881846880, 4637626085251086376247703245187126374566123631171448388070873395779159573297176947581495049417632, -230736067638504419564752431718996121861958061251852199227170581464920799571885260081677073344, 154790199225991765744760688541850888262068875886710790475026640734638358297603650234664, 3355655033116631803709113041608243723012628429152378624934415099520615028037882265856], [-150050668253679364974612254493802892674306890937714284859719817958170304902457246380405604802266378764856600393491780, 54509845225206541873334616290763765298046660502820553877382398092070124458688362433049736370842803848266, 9253619543133232430686541951490549397920337182404201139118357231205228870901869610282335966191251, -290047698594919633072462487547822750876745957429969133825248316224842458661221160526902420768, 24417657124360011561375335448995060242649008864901802368883767933506687129358893637588328, -3437102959239024612725374252259696297382094759501385881614785205606522778011346466208], [93946265641995254729914042286751832090052655186804946284478523110831555727238131740002208595697439247472835855688520, -31357587977695475436768969853129220556326140896931839860233102749697455034040894035610247818714411059588, 7068086984570005886631320779913723801920120205262201012451238908858313353525028971056634823906778, -936301055437166618728938000994489767567575179120550907370370948842683768387609996550714480, -19854982017017760210156558274288710089244427879453046362575510268776492995779242511924820, 6188202718959427637681662257974824995968375267242230121641282075597753452363830080720], [88834751130355450268781504012208055799404719438374986962160330730235124778333848431749349064255760160965002288651300, 506324073357173284549211707408911716986102175344151474313738442674161617595034890453294170453798944002854, -19745100612172211673477545795767584001689772151301429361766043748743349749733092730511358493184091, 36744311697639480327355962435625557533799951083802480066515057789626940008125157918903732480, -11262397903673201053782056768350819467485666116124407129368751985261598152819098697359680, 873353905353857470928704950503863412685844940444393396191984393384642823287205633280], [-32613968825665673095393545176325434057260902558700493057733119246832742376290722524405342845849085197430972860568208, -735755647811507130802163126212258402039915300221033423756890905240399627450599404894663145500544747698360, 374514528578389665248626958673899992160754149050596390901837916786664986881354895815543223922444, -398610649686754267839154989302602189015097587359188036719754981310966317206824676333530801248, 145185055369851975812021549886630947323675254332553883939639168795382581161917350503301688, -3723235707296849603022797715645704069465510029197839374331320335095936087960062561248], [766689355157631331405179528471938987759221337744402067494292392961667423492831138876002755599178763692874136148819240, -294782994955261891523495616620718472451969449083056687415745605166102663757225947032955029442421610559668, -35407361323583848233761682420186417211583133867220265561165569288108464336992248308227971795217166, -640812426773449075043872670119692040624504108477270766345325305846063749122146951483321259504, 85193376004042400087179488443903272478884969090736159574364822904525987123978686707595788, -33128438473873187995642913542912048626493211539053152465378638514778788468339994537648], [-998003589741451003680113481025619939964385792222086589429679693397651072104582815893930799645187549096024682776280990, -330973926485695886923514046825310439295318993815080994386318542114118750241645063699829294800698761744632, 203800223209820934020200817273253246346739437264966603088072762814929592710705674882005652486417032, -64184349775062028123677821192906716646536738731817029704866600982295241843795712030188311088, -143522663887261858494747644582118449795236280207754138334985115514034296378996257380196206, -32050440272151244529635946578314472553355777386285918935077770233044959831980154140224], [-2031341589314232596915120267073782997972324244470856472524098831952481590392043118183493228255419964892856112703654630, 1118834946986042853786328298088682178140941398260700163631948839117813318829137249002460252148883777843592, 241086479672104623496084916343020620879927647625068356563372806682002910152928326248770623192518664, -163093035996662026714213908380224598587306118439339931604920406042591059653305525974246831152, 246789468043077416323054125336305489812680924398873024627118087314666987113944312076677042, 180950655820639555977441180750146613664354260789981361055631113043521809405758725047488], [-1339130696612974458500301047377211503040038761260123313409477033547106948241821334250530037535606239329839148498333338, 757597765834939010129106784394672572438203536745282073073808335602041736086462922633487533485125079427340, -279047238152990165754936744883622449440898819850728361089316436271517435030356632542018534269322196, -604008847999009070769931301010739875662912860779670993738295678874505913139024076473559331368, -609045201988810564199153191233032235941345305651470962345975671398767256757298658570221717, -93418681570470914037621364844480509976673855380518633630785068856808383275331950112768], [610471163452920919520541909414863679983793326504911365778797013815182345277447601085466866021288816234439972334324860, -1020717470696257662862289309030053215773632029751638241738623794056738522133046895225561144398691177668182, -2038908960805971318031956270018355568961850872354611231501799328561359169555221692511541191350397, 865891785752890838364994478940710702233169437062902676079580919215968077991384449343488001056, -273189870738192422317735862982200926276763898425623568309166347714992782380429280422414376, 480419455549952246879497714483150002345251137195105333258559255675652576024860814872736], [-1909027176841914111710369172562752199909928920347284185101681238182244133078731331894919901111217082915090451871188470, -2571374886972736673531362388306627719621989589135605044094135969318927249212614101622293832203601470686640, 274192004506052043835837583361765980189378807042053476485614917261649576620697115122640532718873680, -82401613241315842904624581832099287416877849761702760891587123396640384032329880815289955552, 8991374957268462064810701922520832875276512224813464364382802464132201375317366140259892, -170047449090992856507164343125823524632641775786106334312311963004879342873623792675712], [496818631203232722189398220613321926665631263717689510728551050430782774021329024760867231927263293487359779499400440, 480772855730369316160557712762442654093794975243587651221166007836953662763550722365937276977636708640740, 602863694816610098329108973659966946196990991025444011116840834885412728494244442233378365755310838, 10298016252211967976849799006551538689065915720639176950323073122277024264796978706490284825968, -510380757816134180111029762763782270146684426844801879817620243229349079568741728666485228, -154043781226985405267586983720888741603662522393410864452115572607003434754134363811792], [561014652927513233216939119246438486835549597388781634021355009389434627492586455048183873713123684422023623807439332, -860000747349856279764367206115257020082502403142055583982416239473644925336043969588021321750819765242810, 465684696303702248515551018246904589790482026069040413454902567044524352271784062299351546773251029, -5193141355130053713060809837895996746111243041388441576140210584051301365256373034651735101568, 1949722739042888100226839300221436106534747977265987423916985028659701627759784096043048608, -85572158216292332875727517327588383044429119315075823461585278163542524842265132618368], [1595648609523791746027556556706733242862081511595508844785107336257354761284043469148649150355915656282282175870714930, -6297498526650912598919741695941926172345114790771649885040850510996965097994792140804386083790648544738264, -655777425825463460022854695559446747828811944948802629940472098315433773050833316938566391573965400, -116195101275059999277897282520860027149239073845431462864003487447140589354474134346237184240, -400938957390980532664834350063395785836363334682670310697220034313108731200074918887239910, -204172734698011760480227005022671791672852830911023219589777686272641651147578310008640], [16326976001934020003653849695301722077890767274551434998575151455759022245707136601512013327609133180025467231000742120, 2261062826558210052896531387306779022433067059516679153149987813992137186746096825412208932261032207857836, 735258113464459611718277474905912268833813586867400557000460993254794729613073323260710332154234210, -4653913705885023036645055643897316742352956897964429953469599882009385546524137702998360034736, -1383057023558279066105833725086622132310574229902366517120327057421662365897704628095243844, 136336871346914214612966569335010399416884305046634462201077136626348959636807913239184], [-2905416447902322072339128644216329488155331757437621512425156126244726411539649074993235161778524301475886577305861088, 17428154172019142111244698549297924705421935588199476031579670591248132237849035079952081545141183768493680, -1817290631244165968487617843881012839828799950488563787438978617942626968657046161952779247944753112, -4559491561234644642786743853308118563652200583949655770446608021785793292420765351831300290496, 211695659638288431916306282813279169510710073597848400944550449751551088502707569854755376, 268791973008272481431465454744917805453307824450914774111708695694473110854747839427904], [-13118725665397413337556404362224841920328854926208560095796854245922527902230500085054133949393758197369637163263857490, -3352917340264203364020326896697421785530348115660784863729987443368898543986879171142068100526464795957652, -248324605445217325074895462851352956484634426297321419210208020424595001522515177995453593333284084, 6500900284755525761394756244617517133220933854371255488702735812505825131157133802883728452120, -5541492286950086295190712094706967995195691848235496298858890879721494224312530804863949245, 470348606296191972769324322904808088439405299615210588071359175743700683920930394261120], [20516928010315655473234950697307469330879835382142098865232214700088417266503352371342027123710886240177312035034097170, -12832353716147802204547086989434040674033291287310790079154033171035829105508228535461604926375594917417944, 4183195770340361175529509775321917510036725435818822347733836208788942938613880347325633827720090024, 11178527264107237933077393169755144518822632290921602948594294680519805345399338648682262057744, 123632622273251240114053083428047914784503529051085392619050119151044356170438806375154458, -3358816758254255466183988042040083578410919705135809389237031521869431077505908214799168], [23177949121069857976335240497972836304343755760008287681250890287586280561680493184791781660900034950428697159245230110, -9943022797343595159115966003757375394541017793761204299047747981243666945506072769064691678408917432387908, -420416316231968953184444978339638698873398563565632022116315502095769573856399027596746587740025252, -28981824034781262178349168752897629607331841329620328767317998302897001306100691142732328522696, -1885707711948843913179837132948290270492276676228034613020085204153370396692677379743728009, -894642431048946362443560250498637669640741736933762951400811062925648075867357068491776], [-11330425392374854915213964526241692582094033493005150092741984440883553587645627550603207713805400991260034399907616460, -793608975438739544013104135106038879700633463645709693383476502877296830769003722884944322273396556545378, 4433053386410316611895949949711778179450587202511564757172750671744103352641700113508193532411287737, -91870357765473353200765078443546729372748914765718749204656329410218841026780798416319950681760, -3986626087046772064042687468208837235521662239581035000506905665761378131038909557994294456, -1056616781282229294524744246036716035556324767512295892744024629036195414306093444136224], [-15248467344435615580608333169487422808534402288469655132982810200243029907642221627183089086078147253795435793591386218, 20501921936397945631167340980772529285977585856994984716770512641693335115506734555207944943594781847686540, 2551416376324408618335823163330767868195183721745717216588626203826112902328454057460791754143198124, -27215266249012497890288535332209595307883720416452766888835585227651039027573821633657719072808, 9866674201401910423332663762805573787088539960838441235737522875019358980643477459797382923, 87741399813863028734588715832551648900025250042358420486719844383289527520776100225792], [-22442499735951922371403755642541689552526375752694061340078952167789968236719751398226888432827758236822107479985344328, -39476824469268305311333905187487912253811866481707682156805080138528091198613521625672253830005935005905980, -6747606845816038966961385564962925793163899688851153355991643824548635248034959162810970150321821978, 108680475000022479694721615321491703907639241827379987089812517333655039866365469465742518761776, -14429907511925987547716183362686227253208855802278655217674855059393141547873403198269286556, -8420340638553020880253076191878778148740386112869349392973535354091686147223357683019024], [784803168307538362250516435747668067404491774732998551216207975941095091839948049441067895140403099690030312725443770, 64967510348734530044841085361057197299834230460738279503567236495241549804928155162533126336862705018221096, -2178628568567721973500042165795923573039197815251197362236997593304967140838142905737084035528237400, -94665921328525049818812693434189973613490757340676605915903550084991498683486488127388808323056, 17367958079277697923002336666653391051410764645829593660703205055604519532799932657739136026, -1754713815409904527483950416963461533785188097068624272974954272519257345231488072118336], [42900510775507024869315420617412987210209608944377421219002544852665375718012378883081635409082950573055576141376957680, 73134134233344381574698003167031147965759191662409335487539425583565243162925931475528738725103819607129224, 11434274191089202627787471865791840176067048346425841939617505488150839038928583111435350319841405804, -132677016818093245297664315533288722519986959886383917929422526381246652559813850645347988148320, -1440623941486713374382477999931860698512385489007440310811451378292632437911932901744074952, 5859594660822583048317657516651995884775733262554599875357999321432157332070875390658592], [165251961849268751325996864915445862498550758703472755194850994488509714223239545318868838775592556206226860903574542250, 185139054225154439901341707212287366491489973261317148251565798326837928988730749439187915036497974622130600, -15605260990707710702043435502138279247752891793649118340716866468775484564074525159190226041821331928, -79245776140887340807915758502493558848437545412413024360824483324168605773794210858100671796464, 5250062632022359068650444669563731304632660801460068595624919468112585541620519481281913594, 14057671439656997575501375394450438070957539723252947601282312739145527654083335534627776], [6909860158122217575620088972632183704978541601128754796504681144329335575937897920105328410635544119340836696722936852, -316433192919049232255158587072385749242305656069018533576759679690024687649382735641271756262449682724769330, -1797966165179093581328392679044818521592316887725290761447393126983680812342469601026385298052813263, -164708679007940710593086803348595002787256289183046522097245392093132884220780087641702614021504, -3207188517243779841465731825186440325581074280629253054559029949141748349774216557170297376, -2383246331290330950748722176050776844086765942182690660821171220732481165490005494162304], [44263545059503803018480559102667022206170936040848586668365719817581733263195304403825582496563925157806055091038879342, 143840270731502859838034585831737587643000295470284792835902301712510955379708270378637919467470308488997900, 19219019685900373735090720849868278032764836554693875263861594952740093873677148693925995477599823020, 3533557956411658647144341345747458120777470060936316806072193224383512125011507097206031043160, -51964898096343741380824155717387964631087754482670475022463971106523019041712962096164664085, -11710631154201447716281056131766396856814831803504564455731504469500426605751446428608640], [79864936233688322295325433188700787718738916594443234317069391272638828895481409873880900600135055445040606011449271960, 35671113693290879085959364022108018294128417626822428078524359618749870762986731420266630569733136301893652, -10639829484158102437252260087050816381076928267876281276930883419467613737356213696711548402973466754, 246011433952026714203180422607324716776016565493127023163029555673377927722836746832035075578928, -857054149495860116411009848147400598906516862686739524082416400646435398517984826751693788, 49845957327107994737559300399765197191466745556359577854019037225853614197556138403587568], [234273020178405283915911900201662322672913069449235917465642609926442604302500211079986463478184483069999226835724841190, -547494836676469624086438992438239073187545815256832802089373699076628777474740741252331785439175590217755908, 12612350346238050191313874343501270819885961317093285507283638343897153493933344556557171575162582556, -273825219009209542776592090735340024124436596470213296638910945694032141737756326383547788597448, 23979364609528030876945489195370068774185640518492751707377253048923035864402417987445950407, -4331924817598786391063457656243974492883000926513085389749625102359432666440792685804672], [-813893589405155971440061242085293014564768825336274926556336530933792892500000856508696250923643390431674310538072534080, -211173941186792269541376814644943686310566881080267908693089867930511976950306105250567090707328748640563168, -43782630925900268383961230239683135388356432375736838742002650189941564048275182841311986825341708368, -244615295653457954183085446687861017619087321319045138767412325978884999085532953055451534370688, -65194037825077045604969895220512001763148200180944892366713836217059776523375989989919182752, -6612873941477116609722296854500698458311136323562235015176133900401960734311700451360128], [-48784723530976406553513666912937904938041122492543720209316200777263876146997614785688911166874127878312106605562327188, 695627951958979399820799489544760754278763772325915573035249990907006310520201215414792836523120150632626930, -65559170841868553746937180405920606156075984182336212399032829818316076875755307461634025909575195217, 255770782818543209472834905552818828594593714829309564870297069367607677433929036699118936625664, -34193275760092813879487881333344761168623498139005427613431467323526645549686290846410707584, -23082148811468098989875511602095268801738237845023049431238340829456474389264413012379136], [73121242566203273628082416547096518947803163431656485768344360050213824407081199590437574552208254723329960402156131150, -397583183408501852414171285639127138325724571275920154216207634403429553842625540567894090522862844351722212, 63043944399461088142565452049068234524860529276514571437269536380451064016244765101535983080254461884, -115250104122152755280560643818171804080589692840670295722175477520324241040357924299792770380552, -167781832904888307191880905630145765616452663220374453044065349498096717454120626416692685233, 87801884194221474102838483122897752661290667979554746393562033654224984186743296768972288], [-467808301604666097173585447357779426953416667350778887917655632359017411953945701560736169818893427805423122266865677190, -315452132466043060209821610751025116042838516346974707238862725188105196676745227621229813793040917375026392, -59217091969550525840998084700774034920147373796994996222036193411801500617721398318591529305017359448, 771950982491821962384521516530361797331560992910309752043471245536663717177407826354874116685328, -117206675125587561871881235329491726854385182029259454965452742742358191222974712159684796838, -35033610364397522485797850843979679455108689968244977357106049656768141513476790182714432], [393181547276596810809392193370039683357718714644317204360112240946450697694754183267213222299772292249386830247275388080, 329395141355047769733407429976618119562914374406933428441054740888305717792046191232879547865696583809420840, 8041612500942784974164129699540527660313707537296892461278918880630222203498166619152594090088109724, 75164387560620636616734658068218097484980167157664472804392249582994772799282297699833646313120, 314216468448638462917686426609343391298228541499131509476536149678779881861456638716986159480, -123967095267761296312733032350490629537606159858574661478663235486453986763222335149280], [1285263306859190003005642557275653678712089088875593743317951809464114320133135501989969308004560976090050143445768865470, -297237963212761674780324043184026356900308412032908305617764434524638481284180041218773464477503664690632804, 6361424910660212733017290105748373606335002809822397998114471118067578666088667676574552828402410812, -2271696020285179440710326730778827677056360377832292723524801118834716770895236849135585771885832, -5914284457051135164162558040076546702457875539455594635111297827086356346245036733020650641, -35961024808550392110974963751535127756054370624659543160515261854894016163494729407774464], [-750593060812887031809498768050715642396481995797777564226449439456205042218087396794647942463472918454813333534713278410, -572194959831640200521396340494257469826049814545925402456024380201488762438848839400729022906648503390069220, 178761325168184959557537608407024304789415586885303669865122380752480990791533369824341425744880750140, 2872271614701787408381284077057951202946425440646334646642548880837239015272636078979381845460344, 63258167834683879492870728267499809824588833612815649933599659440051474779629489258725014351, 109887586357272008292829932259079921246298926500777325565488338161963132596687850185825664], [106362406618815128154972837974612297835685375476950533707059998685472028504880217976319929395840898270408503510334910540, -525207466175438930206775680998919591036028746579841620396534219192208230453410270025066145836785533205970046, 110230407757801040692135443491134235932920210831845595067608027448491491214117530987094873123024680007, -3073972012873123813841550156438258061926314780047488129621364406617351656100542549515220222567872, 208013547900071149654167340198342074332289696836160776845613261047599453076419890774538680112, 190734726796623736280600544830744848102444295294023913305323560952841063127854942341442368], [-295018926871525969640055381463144799300459847867205938866794151836114001806571058460139609638789599843806034228123911590, -666267756395507281359166597608745784483171465909463482517503682440965115564915775832373776270926178796948912, -136153941638856552836856358343663636028281679779838557168935568157690966360292815061367012030186305968, 8527383458975293947583533768215179075326626565075288806867473360276233009075360511643142129952, 14358177710756563275945919826999858838924333583877537866017234109715311238581277009734184244, -314754497903796998695479641910727383525448303862709407131071080716266643376412022710129024], [514644878413933748071247086251062344775704995535202402900768449584069826751315219981916677129730112377305693373982100352, 4933934282055928420628899058036211442523312735499488429377915643013331726232902494415517065063937832789192000, 304770666071686882005619667981922727376502668534747378940052874666961730464099993845216763638897712480, -1619534728868751474457902242035993679418574376307231349873825289213858539755847570513171224988160, 380416495535138179754057503648079943878732343261588480904657110993507018535057371877496504960, 10960244777283802356727976786128927574750150623973126400819435627425029638811737323159040], [-4765562331185742891863133820222003804461939473123874575881051514551069474027918482317292519552136794452928620949060895870, -653338994022492034050305062958588729701966189129310342415675896908803765365177542277656237986800624479893600, -230596821587818893697432390470541199531137660358675784774942518309483106190597484357424853041072121440, -5583845871994914115399171991693620249495653055902841618814878880308598777306071298554242116839872, 1175050215763672552634092348716555305207251574533493892556602907802111931479897488844585487912, -425483969396560232882481333947703556876625229730779315826748532233065860309670956163352832], [-2793591886515859856291101520518957883834615761325112233201804788779145475600460200667639478061327967939405067045832146140, -8359068757065908773317547716646322847517076452143805014826842717857284059804964195679060187576958656791722778, -149469215664368512881380849155571418616940201432314164628641747940918051323385397730692338700312964315, 11504483457934110305848932600262415411939765868555173671494320558930368442356888550260997863608000, 1645351467100284939006655760684615027011564925332184865642809831373376533212607515444452659600, 49964759392956789697788274377962840926569844891848609054237144541710744615907858193457600], [1016787705954777425042817858083266686355799764741683998236625143208368492961829909330320013048956982764071761425723250332, 2469071225074371746138533368156158476310533134745474632595464217547561885754647218221727972543200290235783450, 110740544640799201484107922154908318256819860390258776522271708093491238470981433198986147724357518635, -10924092798055506330687906211993210957689411653499940707219612920124603492774686038966934902933920, 1260437348880358828821382598737789512056914037589560333588132209474731381852733003053654752520, 1220600847984121674244340866356357365957211818599398288011086830143606585410188590836339680], [-3768590023673495016711130822727843678769538846556271426111447168225859812515034407831421863526446769269282488212130016778, 79409359904348515828718636751771625283709320509546379160955451195237601185005560826505263608961797068476780, -117186187141383820963553878037030542780467321971230545847906588533750691584327444850873316331465688692, -1932411134970518560637976460846442321396853801844646130475768480886050797862816964967247123468136, -718037839102653346627935076844592278798021817543792423807259799760591022055375093512527406909, -3303092214188241895427716855090072553926644177031149421167930121911224413262285683514766336], [-4149225157379662251844766839744799873947752752156070800476226521111489531225465368867389405121856652701599676067207112180, -5631118201960534667457478827439706313956360447084416846977510856313647176278879432323162355508053185368577758, -1667837794201084441215847158928886973281607389403522002396967710322720899354600781205811382240988740873, 7615919439384268219925905083678163127940992584447154234582061185980018476542228807333333997268032, 4093425059621291114668914754355238345705735101207219602089109683054021882810152490682272535728, -1763787568513975244365739904039651115377241532207005579470288984036726009437841342259862208], [13081700550516795160319867366153120693466930753121732325253478470401672777845623666544171280841664803512081450282923777050, 446062468292823096121690899252250402905706010973075873596698857489729998633881651485724330809908769717103208, 2998034827039491868842039788273149362477124057722630030358872025360607469177453397338363127458968316648, 50820542783674736153196509088905794134794354457188302542482375911493417874146267810350947124696720, -2900372046223978187329943935517409707559998340213373645797767524190426680049545028261377827670, 525264807660072740139195990374339354085438850684300830406514752268610667288580951456003520], [-7273884097211136545473659250842122414942466601684347606706589174584577705687683296621216822928796157614795994799790132398, -7185476754651111463594154258226511937642205466198223840433590128149747304397190152859722558067559902891776960, 1858117092763234142353342021654373986747370602364704825108237413714918471190222049150266536019459589184, 17758332769915849838534705893108198887279757083576385123569414866091177958383875997959320200364672, 8091876080464694637156824308142950554829349505721968715238356373149364963915787905493799713168, 3609823685593483917047076661572413175959673781927323240199703953083031689278339071523676672], [709323409047235062434337859716457309309578404637912218077775804068321113427312021340841885317912976158466012288822455510, -13758046580843999541381725686567952442314998105320434912836154271379673860387832924532259675193375071862320868, -1035094222848334637869413577520583498390069523758430794364538599575405604290271601979735403303287471300, 26114082062338030231362050774636887049109291943242688365123123809293644675556406281123252072034680, 7779312180655424536399566439974284432091842674208425121508919462489669803033353812778406055695, -9968723737557681356288487866364266546968623004839097688524579947873110938153942098266632320], [20875057269089477880053939913636775700021786155984384434608188059052523234319884932256475206604847172210622181664543303490, -29444986384259962821650034850307802161576962456725081313174982207340885438577947737828210526016455958419032960, 487850515746633005432529112019251469592401152080829802771917608896333310074537738001513054196958866560, -56100729055279213187342381885063311097824751271484445201048389543770788768637704846948533166881536, 5765195662554566842298482628385128654005630396090103521677699709711997920993415097007109415456, -7243199399450673902087571180740149380958882824573644586612473284644473846357520999051887616], [-41663994863391445396815329652809103517412474600375909403125714972743260908560962813813403192289898132944151790974551729160, 13003472357314403760269034979692439589716994845854907294557729117346257407059480200324046241846943249398124324, 105960102084271997835549280829926586904772818228967576277560727068776169160650789742689260204282810102, -84222437096727930436394894767301410570488569906644507750816889548909893795625851104666340738010192, 13941344752144964707417230986368996035512185787493545353486819127640123387047511174869254148932, 1400770030382822117238430553091204626344173984338997314714397457972976646189990625950216048], [15095769141621867742439418324087499890146982667509599293389967074205803346324730251848763558427744854592288630799907331910, 21545791169395360848115859424489975401021718244671682185096564958009995868609714070602315575894412017223596188, -9489248280935217767358260205302911323265708351458522627359899197185035068978335126643505666133463318084, 39456109806789343903759893895238994876505395164137456355626618691198973240655968276041753952570744, 8125306979671111431310940191577208466938890486294772561658862652219528098263411442456809618287, 8862314137125142071176827312161678501493222194937629173206356085358041629437176319943186048], [-52115151884513277013980087779870627687583484351683247977579923876359962874403438789078564558226392765543324952588120011728, -75276949861383881295860790542469542042831714362192248318266240872612393857476102127237885528882417990519233240, -18712328422198752426836475737464001896408320493167872489505399649136192357955152689031477559290936004, 178069550291398716687308680175825218025956792017899252426569655915754147431859755554720361340364768, 4545201376728801927437261819422269278081945790192805023738799192752394821613153101280780329192, 4678636842638914412257797189124702251758163333154555617142014193870999805007405200075196768], [28643039485724855057649547721936187446226612960233658491592315134525698861530874924035762969930716834332618670683940433470, 29825221599777736708667997238664080158513821418964846351043771507558339775332867531641409044310286792738933772, -5387252859014254873902954197043749367166199870625423658331453881949301487685238951426316245855825931860, 74851107097616039597166278125949651856220196441302499370003907394894306942388451147771727934743896, 2019125373305162920239662340097600519206694226098013435626067322012247950856374600014744081259, 14090361850615759075371621437413019452396704507412656290931186486342511209088104615588610176], [13168690071461246755469473189044386947463247229227141139182549581172219943755089149919081477575717409775647567602578908450, 43255329842968042406760235853659979750987876012270511323055872266173924984052022727030654322625944359328706560, 18850533787938198821359897422802846679121118719007969808696177121303620857629869725324724615122141072896, 153131249887307819453115020415137922083402131310012685271598665683487801399436438616291138282131968, 27947511520048571805226115601744085613779980582341502112815802264354340197626977851921860532992, 6150261702179715499599267830527939008705114844495211525222442281343478145937427839681504768], [8584393399012619665935815639696599048830668132986136402958951891868879288301240286775025816935042214626727672683525754820, -191100621945026554290872746857060401951138504050733579483654971536479149390660900549361215613992060084014328074, -12492984071592776867707886700195814742260267143819353881640138811753246342189220984577717223417572319219, 166525846047659816903815263488541212360873414784196896003802285930177621175894471691460526071415200, -38380519509883064930914401954496033379238397899480997176288982176160260462078297530870141381128, -18240657064173844909379393953898671270996340126317840965896222780269769540338352678269727712], [54146781330608039268864562437669768192419681582990414998419016705607711955505824438842554848228481055536846485847078663830, -144117761074272743257361114035827585131554673350735728009706974353415903716921360328563762338748271756623940084, -23140141875551296849630266626498242145124789200787291954941424146765549015393882639581699626498376795092, -1098671666757885039247810990366041357772206051028314646903670581209407947168312515296525464096402216, -27602526762724725475429756682697846076390792745124153633855416044134824366276540374118246840789, -17053415137501565725987633461440198273495807570480627628559277453636872601558313472677540096], [-37810334507409580819649747817150247783762321143864971656415851204931099521518848155434037840266359605070558070106470442240, 187311349300352784308195614395527326636846082341482753947846320977653259474624206722805316943457277391802429568, 1311912484601748308373390908724980787940855712068063172972432414100782077142954329951463456854330746816, -183057184663862654970660635703630090071892503779448799660919677287447452117138794343915997855671296, -133763729867684170046481751980486944060547757902663990140068365428241780327802375125055037983488, -6498384309288350629496130935091485453871491082741457348658685259425531807450046450797130752], [-267453888581038611981394677673589526955690266554157345692769050203212588108911946726250060398603781318080742242621398397780, 268478592080225188505324474384592504187105569268089908699830473183673800076329772829445638765706417959146848146, 6542887213268833347202292995391790598266912392197201168763764377030859440843601462707066081926155262463, -89355669005781340045395166718519884287143366299286796499150969569577106209870905947187138182830272, 82307604106103827860051512617368405594569717618888956400169117596642989260901854963993628112112, 36539701814938654407186219817964861986784228820014596330243735574580972093819369446140181568], [-159370140938581775007103750286040760386911163920627723537829996722048116185529079491762636220232197583484361217224030336070, 97598223771529416640633730781544109720169347456400343526123711910215392312170840138880606100567851935123818824, 3769100664022993217443195544100126607936607141533031585918756580260228173053713327287081917118583705544, 142084075615484066158491360241048646984221190630938215347760389815390145618990087056591658793048400, 52450278892052122597735294126943204504484729689930979243089945086427040891623434598404829503778, 91167645551165866613316945530621222606246848012677129342630610504749191740761423967881669312], [-171316889328074611787283925608571682697161372242550942956713507397119698680394638931987573278489102905718025908737557616988, -295003140306622761169736589910143343073828121205296601005878791927530212917200989722009791119471395934587254650, 19245561812817746111395217347844267391750867599747176684789536084846623679225948019739096707513994905125, -1033810945932886542493450549996060694078422191110712620284757788642976948691961499158756534498580000, 4032038692316572267209636542001948845058289056901258193608204635697146816584310374722139481000, -2456596390530454310296396058934437390429512868515910278763623359886542201502586556429386400], [600061112417054948492261270589714716141513446949521464046071248203502943228389567335937505326823069357704338561870400429810, -278936666835614930316026549670096828275715750875447409052480332011943740717930837002172033650473846414398230872, 6676794804916912940537897685563631312671550890745570380979994627344460449826866078346027763774990336040, 60387053794898909038284991845791112101652258011248426035478198362249235713245781521567732351062032, -74690206847674821608289332311956816502394865735101014951165769536170946965488829010191722193222, 9345109393449070561085226514127341533670246995843540009636083823296465501145662500456166592], [-268552731279834313292422069806740045678765604900556974083517929157385437361700573896851233970503214545036207739410100100098, 548505643474876984031918427070044208710137245294817685932981992100205985354338129665924689663391531094861838460, -64474254200748936846070926233278598670826240469431037816265286723424630671644380456611198475440868326884, 389263111696941896506129957014847857604001391432485376628868988345640904263907787776772580632908728, -125094112669668353438575505571315369118505983416663932515832110839287081496399805711953822039193, 15029178017917358062725477818946045618689711588434137250115622716278781027818243066268617728], [-168900598160784827392677583885813249126729744453986468970618637544515065046272610483325814223391869170241376932988231109720, 1931363704713775451223951431739976929938101367853809076549229586309423032160480081450496483645856253575365580, 4520400909309429256559780512618802315284246629351743338398613383000539618225022648971621497712202688338, 388130892233296368416537122509582754055994655672043353220070925228482680814688680400783612588562512, -88434769623539941204160344554654392380007567146276429568912503978050814462542734150801932998852, 88754507619689901328102314961008866874146482918503729416769984792698815052188483462787094672], [57285675743102497707252111081727567836455070748320614167902606475183526921438558042766005208931482959956609609198871745300, 296985619860597108266101757968870892799850121036580227485730630642774405228359256225449799074370031274821526894, -12833002599398545175921471466751250138224762124698184540562236179334754253099410281193243170740822340655, 662385953287667044139775884317423652632716888330037365323776911822933908766158900483171187632281568, 36578620671238830556303055261732727608163934615880719766098514655619080107271936918765424165672, -25924477734808744803479185012164068329323201882054176684269489621809001505772075152843052192], [449874442050156772658217577344912112603498194617010098818004614681359950838712894144733759964773416911146333900395919865240, -401349880237133769301333005576147278137606802473419291488265950505243420850801907263192376115982202117976137068, -15923911689352489342788533537813090722642893439922060902674788284416869943957728791441566770621271145410, 2103158076663255214741762251943247683140544409954939985527078440465584600216349714989416564592843824, -168267879322509176859887789582338350036526327899675662360581841783112301152972530706797555803100, 30791776133717132043120872624132914779632899968940044710863508681403204498934731398878537200], [-499418113024943897169616403727044611495505504574929021780694396170325427452788672053921759227631637942213318824110289993318, -147035509920431468640778922623638961981671057846453813408616560828843342535182118187747783518304400485027586800, 169497062753853465929509068940293035546040084188127989028267792413407381871114866172608414952230144803600, -828052275137445315042673514274056662179364894401255157893224200053506094669123408047337553723983200, -35139943280955511094880379137675868653142226604901457282855751768776075995578405022505988006300, -98463463204961395260813561057715497918194002287534520016241291191673181705901011501562352000], [916166422757582117939119655862062750983854378052203771276098013554818414009194281523132734016184856520646703871942684796880, -878656225338243643590178893394528559025702222375663034868720832501132862111840858270649247864160619643857016104, 29996992286809770609619970586693249028070598637821176236037088237750260005589944730733866558249058365892, -4732865613253119518068758608276365294873330475745412370091361660005157535606666412492287280182534624, -141793808347359383389605803205023593086733035918612111464504844075242143020647823914100633736296, 174623795653426373192467051480969215562163315888464989691819505626557890820264287787954615456], [3654961870929238046982893006002978517142806841191537651563552069405408204723427510799926257839829832257744906866568596683442, -2813705945319077934963170496392814686539938240859443826670785033108251539722644598289869721486095479445870739480, 276281219270754516098097112036561199350106859341967778570994389669965728373886539166269956902387536356712, 2714446615647428793900132826580407893470534453083456373089856050920753605526208141332910904112177296, -147157738602504537799302082287246989590889620530906184456072815862193791019674420850944886007926, 78066190052643120418743619795738674257074034414884960616255013396496956995403614806008636096], [5261466973382209787283568954714474958940752122423390775514677182424809896963459410215888420207272328696965983522811983163240, -1285687922073035790659153355711667666009858684705266931985157357104787444185212912907796452112821005686288352020, -450845229246252522203655897440554873220328536635250362133560248586481679796281040084244804082306976603134, -3427915129732252248091925263104874732503524301767442307672874504973183886564279750333874396143216688, 440475535295811177138970695828775542693109722394550710256534734231701181459152186300812058915548, -550288539756636963328486298122325834584909265647146596231744791751090424806343531618905465328], [2903745996911547277807613652306749264411966688188976398093005201474972915790640634607396086698451471408382395741756876321590, -990074038011141299310968517131845493919506441121269583168209779022975955097752403489067251738057754315412114196, -69872491883269565799506940158178058092816733307876295784878069222473591250337814931567332301840471614196, 1516389117007064433073446656728364146312072398883923857834419153412753292921553565985048067788694424, -1742873077613814556177485662201081301623971412709777168015848749893184969117898626579159359547229, 235005044732129278055306605028531487223611659034296134690414661695588309153329310149649311744], [-6054535244556423104594627835024537755473030538194088436410544210008209383343390239389510430743130133910066317637094100384978, -3809289194320952646558384222335839646809398733392535643899036540819806601715722290046452316753941761204874505220, 679858802909000766923733260224423908039574208360134512584240476630283451708872784349118049948972899315868, 1045619313067869644852469363490823566493752371297179829584589824120484075167940837081522137073212344, -935296310097563130142391067987724507781689148093566438410576186855719071049330856624792769535289, 332166255581626448073004342924879221048128956241226635124300993705401863831359677085811916544], [4434586742932605327166601674460715890561353697595630212964738376976863221807011106811520107207880525800159720960747811049800, 12638331367039879746261071783024416208319072599814300561955303039276892021429334571552165068718943902554088516540, 751401974805925650406905401050169719637840313621903106100867567253077114266237194403255527637553940884250, -3591879255761882951553142696702231125873255261875838213167798444509170686197419430455885654213145520, -1885040632289039131958616986125923190120768869585364258695800809530994067352274712362864217516100, -592484486677292752165706979247452008394416683639146740995348461574719944035405568035926841200], [1248307035004931994506869098116411977219694749354306027406029659413245558000075933017246795102831220985537930430237104906370, -6153266521829441589766996777858703141241462086188552634226793355952827971157281198698527208762105647291119344184, -1655412321663565809699789125229348820856538099285525259255119091903534976456876635872201667083936161354424, -6436885758491572672791313572717723082220128425724525808363346993293362931966349060253539742365725360, 2930259766446803984906691008959472325797627347180662447211360958313091309714014768371592946215362, 1574464701537858072778895035637117358745773430557451986463848436176252998707306738649801178048], [-15912442253148412186997668499701180874817767745811353023553289386377801094270124489285959724118658711085400212962231336150160, -13326630421049536673277011985399374022837949120326371648333283257955532877654048977165062242986777382413363526136, 1276622955051989168872906439110338417364602374091535962330821543718034394177764948252944348244863476980428, -53201939252573250478307535338789016412649651039934678051430207229607371564478148942476465873023940384, 89528418989033053218690809155278334227683464280807203355160218600754924145105702240109540369064, -413549467584477350593969148546626252140766281888933351012314578691430148013306159431840012704], [3180852491018458630359865891324483810130459392865122815973325324428706745139248792126872240869883014264234393822753858055580, 4511207653064446270779146877310668731410045735324698778764147768066863701247848869776490316723848387639048070106, -2943308171505157478743204422140371830480772520620231967838233315702971288028082436891761327853303475956821, 41451056463466410554206168987865078563441310685823162292775265660458806697810258264523536501246693152, -4962731435071790552698977063030210920458540176578181593872640455881024824985942524981772715375592, 744498995309209420839737970152643290397808755921657374454632751498010664958982788528353015712], [25861188093108692385290265389593478926699251113289532045868886536364433552231704818918609908851471745567466172260360349987710, -3891937342072558805404205157053031264533745904707768365644928361450948489296876609094371244573349960976330542772, 307924235560053110391051152110737796172925628619388192888233200636413367184391037097251030559536656128748, 22493707356707446533989970645738833111495110893425183860400965374924767003782488787864273826487918040, 7248766300139277139178852350147024517749522562055787865543305183328548604445355820483022602613051, 2900751453870606727212726214285441048925770222009038481107262285605005928047393582888546315904], [20990982741795684169584509844950521777497544118625961974474649509053828232987049793524326241904743592587310382290290575011370, -20988181847348233311020959263851785543391125742959327246219371222947450112785643923970256471951893161628361652024, -1586824740764659997459836080737245698832565553678306348758596158933125054352502966569604620139249711339704, 3332172813020401202163958624443773154829811476369612651541466762044803536526037996180601294250396752, 3427226793965541170687097826301668785203313032535104863711862749827037108997753954085473779526658, -6068912336574602300401991293277616348466813452098304824339064869423073860630426693112298529088], [17250613710944693977328103907370851918285198552740994621524074832278420318161118319747168716734179792296290455364225285814880, 5632715421731976395383081074555667497578198355382231836444366409765371111090652073981734097594651953287283074384, -4737243900917880688889171612707480698918608796242390940023955002107229875431197425694349344135233871470344, -5450152914137923982724353060192993272556275108098389430873018440558206901073699136134421178473820224, 3473809028335583676407796744712836229297298261725633075220694210330041327374042761058531853401552, 2048706297112392975489715832518794589230004514975081179030737544062777000948911014630132118208], [-44619100624172308813268792321270267124873772004275010395733060289671860121173338251273791454654197006053213106656484620907240, -27746557141023213576910504051893394237271618456306869168684604469730575012416344357081006104227881389681299729132, -1087154125708271505618789985696282729186000430546248980964162529375031583485908889665930005275008385944226, 57677179223936921907078796155650166326495824700864899349167585589052024321912269075086267761309209584, 6733829536307074993807826790674011190187682280642742408297071795281794132346355789468504936907636, -1404894556200571683847004519459908793935849419993047938720338101008959009502890342841661391696], [-15426270625021025034910830099173568084436953433162034268528187159186056715322476126209910112029574680539384556122456455825148, -8493942266074590938013311879220941548717989684216808401495612863027488695505652456975711562765259647612580753610, 4974992498731975722313321669302598641315935753902198117368362576497924915885444240233936874260969854304189, -14606675783438448605839687620065647378639347228808727322115286617111342168496841896576580324006644288, -5900395915040610125667862443539956298821567270251870869907871772157269090441900378775646540321072, 467741642042044066891184573256013485412929097008041567744743906452255844251811598192793400512], [39242339378499508321005942612646744508295641231348945476354971289049779112501679632125203695419720842320462148943062389827430, 44137732257859248051029972740102666502107138137542162052249060848847288597126990125271864898878029799969398186860, 6093624278767047703207777128813430021188953384803811453780946719409291811696394289726763400424965830391436, 56860004418059785359261813724637529845913649883428981686880481026626446400173361360271394089447272856, -16475549978072772028985245013404785434537292417865212559593963134005721281929106874767232356778301, -1311683685885382367029795026023692953749856303178479788543734955826431732627440173736034014464], [-80725944582496268088902617970459445421257789573630749113033100175337733243205006763121040809198988230200032317362911090005380, -5962138594930948285006067078258873062012765410832552238501073046844183599823546740262337089453327199084003533334, -4129976109796048500732531811702284854445385813055650827720846412153208246993585217456539253839987887448637, -74084266814037886342440675146912770115866465051446441115631549726307464742552402049769399292530371104, 15223562073109441253156223684367259939518852467554723165896512228202958500972835787406053126068136, -1228198141623561414150790356993876922793498263399196429524937137625255598824943861736580189856], [-32188922768058256741825152738454720915255498852638289175654711895682161295473074708496628662440992561851813611217956298194368, -58348695186851575115797975262445962686838631853720922972337689118060032494098815685312808873753559464349635058720, 4758002634688443104229819463702645749599891618503439602021443279544654943971565355518047343128411907886288, -30725203597751039624473502114377011119074324923913531511252406339600719302246812305873793721021671296, -13890718506218491827740826306993105425130926447397403000162161017443745956085162054744788645393824, 9766656130905643918689961177796897854811862160443399460545438625979993035209006064839654232704], [94115148910494952515406234625856213653064454914011686609559397625026619628697010969215406714425318818002243890437582015478522, 53839345893522548906206665293447409976583256337431044572762844218318169688951049082745840017476837386676100177960, 10035152247784588209054442127592414398053269751724994806663368591754690256759795927029482694678901906475176, -30065523441372665173569163360383006897550256482416583991846598796064780084800587045563197969652215792, 25328833338334788426827337203419825282803821816753917972108390184334477421121894091492446217531802, -4303821884925378677873516649276092876867433343509377705486281360655317549524333975102854755392], [-74706702734485365208460550819879328428613570769472463158190147151768486097926980024182549035496723081004398746356965351063580, -19962963526692512776871735650999757690249104843896250781641910985262583480377282302459615369148424326126525123514, -8062915211563819268948955598343072386961291709358109420167294207453892008842131868342721755971993614832043, 95242281765514470673621797527625566660862901566847648624988434356259891548885421397784727691158648960, 33031631896782676230551102724714610646247159841858196691131141190885245858468526590119322256563040, -20532513862112021252357995979114477498002108668055049702731059317185260091686992584423878215040], [58647346812136515518067979376135476570904586510829856355903908755600217419450308321775463090949605278525924438563235656444720, -10775740809178193555147636686690581482402572784685888382727482936714339440951055713134528161210207750608802560728, -8060013557668558093423510887147645165488276767196275506423723970752109331455481868080524228455330063007620, 110823604252201931945583589700134979414233384951227126990774350954229118110008849512649017757533470816, -10427592886851651852759246625211831611177691422672238677522857027391937853016884488636448497937336, 15763315955615048090055420647386320266835702586121783055463859873953240517255622841539804259296], [61014974655641332355036875188325313873680953331007104352370282788479471167730629516729547218747076523265052425240902988526130, -19865912151707971444695460896511737476597716647200194352635927660631757550105196654929453243952224927037723432216, 4987941199738837596377093182049188646012735898057520267830633787489769320517230902246668755667230953708648, 77238815190436613104586941577925799882602216914556040770113802458073128701831869823385652740302832272, -24402915561772814552440542941066977540540574781996022279049894087539036163416233428604164889625014, -13843609231243656919891657807621287400736370492942739876431424550460198104721067893462118721856], [160040681254421661747357370503823370396771844318547513960726733342540602816192651603055735786872786894956727162221593978898750, 46866931500839140985060582271477180065626147469874577126128092903411520413917890519034049031101614024922995732668, -15839777523378630587124618720573073781264830408411204654620965204229177975160439279339281174626055222994340, 109413333659383166438731820244201781681053619687616820464070537531297332508903800018568810068474211896, 19336829273427400213408238843460224872171046845326623721677744273052153096216065422282344302791159, -5783038424266600252195034639104212503187896341535335056178156645544013250327578926067509543424], [133292925494156576478831434173173949516443469892951916579304503086306689125874931657868863217371165852835974129030656175164500, -80452636318573927005843128764855541217000790049227252391679275534095994744289904911434675311604413482059270734450, 10344518491098679573353238995359733507971624279728453899161040189929743515578357271935863094088657272537505, -182440049238950637854153502048692835509069020653640999970069190067528835364472299340601086409074712160, 30228893398421944612364625111004576034996372307902959744313320012964239335447574267123068862400760, 12029098325945697851525645461586984893607421167704685277583357508359203012585325291530517316640], [289308223169982498771084804660464115629300950868870190880578112342836615001406664124948077638681930290607266041133818759499992, 166515177688368581737820703963553538369096595709269024171644669952554719782626113316328768265793559038851422302580, 23751575951289403375363308895407774635085185222907501030363029883781394834190488168804769929207252898399438, -218206761098704987054309699490740858589516840586201168065153963835082595272469872594512383437320294096, -10930873154327189983605313058979065482406219100094414618046882982242301829093908530111755786186524, -11376079108569917165756834797514233127590789346379665505536023937100165147750517309138293889296], [232257735721296846787039734885786150397906943801383983489928071393621543730551850528860831319415769068811776363118213195924540, -176997766994290259511374518522342203890627169740334157640147275770559082990931239872184217768994930488827539087766, -1611765984116612976093696964180224413171744208819905739046015437518447970382251981284962338514487103660141, -738286882293247109234204616852169557919365459955806582750247008340391782240081811479976272658003280256, -37699361867445950678948784599176272250396707441619846914999177452505016266483916306621073944603424, -5842325072709232630575118887577839522836139533806695510758043230777202053479980715108060503936], [113852977196142722817290697172774695844413807362031699954415572605215393680340803805619967066683900307344530943968502634776372, -410213210150730428287180097637220782909854182516199666582565180063885538136511467156459951031150441583660860273570, 6657025118366924855430675101441182767310108108356339217929314243789128713146352160136375194796304714336633, 593609103286504507591966199276995740564335385217741935681029611458068313986565451934153474030896450464, -33839770582699105952213513667972665843016267779863828705136964662304220500016621139550774419541384, -27346458433356490208916899380641433412176160579349669437826052705519353710388366667867544058336], [-53027027323759942268957027928926422884641778519071541364146457036810987976738969123665107720618305105953022575919981179318600, -196843624850487207448230451681268516677587859976308252517921628599718395511985357198072679793901244683702619117372, -33316114827340644583352203255483488443670402187720387984886535323027236361737475864308721326723594654267290, -264911952120732361124069703676887928247771144730099052647137041959974096661027111819122808896551169744, -18929745534721311507845660919793353146367602735176276072493517299751354302203807776664202706501276, -25273368377964929690226189348076809383603415188666233823453815925295027264191979396780046677264], [-78080609756677760115598608953214932941249763788511829202763537933045207781227620681098865845772457143716743440013549074809850, 47033213242785638129239359171329921013808578022232623365670107375950587892526665949059098845132890424293641349820, -88187532276791923268099755639545557510859439368980785869640150824083908485653320706657415094526676006466596, -261133994707057756622919093624321559037839777188012963027412663941991598370847906237979263452957409608, -153477605929307879801661680680126371440937321481039945680097735947635035837731976797558185527094217, 33719230250836704675533276704057557716704721387557010607705540622746783462644816124577982044032], [-88729443391364208232213381070124455791324589085594751021339989174870077034152834930711628590776246551342270464594052165677070, 127833026636411675616736448292080111422438336783918710845811612934941379802423489759691962409409344625258619835680, 120276823995557682224535713373178979842763524441049722335317029674195054162539019562799066910160407846168864, 322583154367952088888343915845646514820587716716073622366208868932171496726292532569588547032490089280, -28812830770760913301912972004151054307013104377538560548811214028317599288278992060098674680681080, -37049361247307072557901120370001255770946979847459496260902694141713990103865085957493650891520], [401066088499352488721651433348998099554350966861723294564657448663273700824596518582003576427583409744428085228298653544202920, -72048722506477798582415207510936612168775131875842789107832259627690236362625082781749797618138560888656277742644, -135591011092278136803020324843959903410506184983617270758690818920564792581456773913180974610157247502778734, -404821630111288101557542527264640317643439214490363875915728905608116291196461395610871036844266835760, -50814105832491683150183673388091506949696230193079990174743816633749163030186660511890026229707108, -128711658865152236158776011673083783771113253340004381928731972034042300051308811151007270382832], [316186080549772517536141959562022519597582938057626056727780580380296197577467526308763425951766568848629860306930835960003040, -600042247224512406534413350670696858900290607908488370949078161095183178073267912657613861348043809988095330212400, 47896611847523484320799656525668098692131713649905746167540320184776370358458987326196703077574360516669976, 1019159651742733506996294912844881453662522127538272771666993816023650356885574709577922452337728458112, 244424503051406008912831859778676357532878864889831803761665458619157749734310097719357344608274848, 129001764801444043658377531102024343265634034645645322961075494448596293432990821108631734323072], [317273770909903261490326368349787547098568226899457980868786608646638153429110822053052545376652385280783253656236377507515532, 432620365871759017255888229302232081071423370612738836418937919482922030841760453595250826552593647514103973316930, -20991251500898671860281718885850435823195775875327991472518787305358600189333479073129554432580339903303497, -1733456258479807709430629490764733120059445432288831288920847339374860092241366487902549104642782972576, -274839446484530147940870637071929760981701633932742221177635159618109770056667145613100339625129144, 123265995830464261720064647743801742572665542446602627716950870076203059933635619804146967795424], [-411084639792340933156116535169041669752422231159954417207401298113225512350377702976142502911850270426209344727867178381929340, -413651616574283209752845816363251403973364289352129411942516818981401556598094012724646703667218273226613034620362, -225298133951547872784881798320192946475031013661212511572004515603671048774918850263212711032226869141491875, -1019429805348275748360813762408915838892102598517133726428508992128567822680889987642788559021680056064, -86747152916256481237949156142892587346995432824891505512321202026294049625019786594408739750515520, -57244146927303848320757403181896871354983452843999061942690853090927400455880808326737289614080], [992064958849195099401820169687975764149331350190308618248469879098480433037078037397815785791733498178650186715360183078938320, 1193246246896158302847786700022989274759638192820072587089667883800069613269844210675722362627155022409930935277656, 179608837313086127952032350378604006490399823648609082649941455490624586917832944000349798504719913139517316, 2173426357208584104071134633362448445912537773707814640886240851328227753125379359184516156078196719392, 183224541363568968998744699929169414174779077913446266386465604187947651097341597174767905691348568, -141125258645118025228674234034589114198703651285013456634950247039206030656043819768629428823648], [186340403998938111708453499980624415012007609925179892546008044615790854384948044166647752792167163057005414455761192487469910, 1394013377953128332130500286213636011439751530617832525325256538644213393086636529409995525514049895884833536572108, 168036385158728074523812344516787970312442205954805815202253420721868310899312903421457992049844849651845356, -3705111018283449037246203334415245477523650204558682651165498114941604120841974473559564305704636607400, 55392150786634506821893428828429684777308856500390220502045797585808628937233557700269018024467675, -169678075904377340180476151684920796637986907638722525830622968446689332733846572465419836896000], [1226037431204871766018981562059514466876746269972344993099415756930160653952285844870506321731852561792650739859887747936638402, 1672479760491766403138708362766294265368548297415994912055795850702264657407236090600446473628803527335394314954400, -5914071813847326839422268824014376400727864501052264526454860288200818942337360189397295890820233216143200, -4425661464741636981219787669470446413732664579644151397715946701678115383149145988883477269643654769600, 299117967085553460809192311846319526922064881464418642256982366945787169027864234789225022698266600, 481381853354271341726075992116828062077163750657497685190899052408556699419882719222902680364800], [4587336044346350479410640306009922087230548447000851316393069532178958024110137201210660214780090713554991623447379885936980600, -1705909473808697014144832979333304075689992081027947701334762395332204868394264156271049198702967928586758041515676, -68905610146593648793096575830821086073842061594736437772346231860407671388884884689093142171624987493155946, 2413378116443449832597961778578443643140142806230728973211655199288909476099967686564697707036297069360, -484926391692907093509887591788066109192397815951897446090240766453787430623798669279812842517522460, -184482145239842273703871505425063172656605754277025614837928052205959825475174263397683237524240], [-1116310944835358824901879965163628044709778455438020966298622540029647547826836839523043831263483451934260471527452415241969030, -558016393422296931436717573382350216030998040727878596648836729608627229374350022681939406234714211288259558126904, 13469999706524643671868863480646703502320982297643045081180908443026045601376011823175821225029677627936072, 4286528715058887868244009633296425274546868421396860114661715151138601071441530980502156844240695712848, -146560572969812509418657128798739243549930094568719850873166072156766128093385279791054703875493246, 271000507077411173256201036015152082523899132163704611120516271675760112345694238699811055911616], [1393988639654730138270633642989318568119971463479270307185035871229713966483556627384512667158803402435872421419271379583968710, -5490503248922355653581730687688737189470088524375800013394287731102422863626947385541275247498735923457956477540788, -137094312998690801584156528845151595599616969753837934934248816714864953386941409232410558591898018381883540, 1811066539817488330283600288700336543545223319344420427607269987112548739165835727558581232429911985240, 119103380947732422180829332231362016420466382205774486737580291762058565515040031674918746343602235, 59509748925120942577506731007594463961214147276788958438050646794744286366616185349470195363840], [-1244825277971067452932626140644707332564533538119495634968558383127382229351694646832774678059807894593923438614995073812948260, 2424676030115870370702181524065271628708812481013782113010794422788501642618256973539029643052400957799949368285082, 173434983542028136928431087175095056987941049639653333753316221033550170822786035390623173601647326783216347, -1127469143086812493011214039029530458779744279833328067331552014145466257268368931854639732108433284160, 179507303871291408914529697381823699872800631526155993446166755739427430489481366127303257398864, 176881658023555946776086506443941544959246247852776662227437842074892692303012220056879124734656], [-1372992106956936696098091589687065245677027209771861425628088746813709038066021245939582450483462096526897670369608042973764418, 3537927136030519911142487500634996538430027113581010990987402723816726740600527850716207745524408588519723542228060, -136697217980080001703584711941873971286945211598471499454135526595952773440342461105404178019260928021547524, 5788473573063432883307799781712454610024348645234324250065535783094588845302536678253699612085288191608, 181944226156361068643940108752902002774857684763733600430103756486682676995879142533556611063786527, 400567795275292967273536084564455325444943632002721793406758876935245103404000870753801680548608], [-1139972649194911615734953044752712586160407957856565298842484037581225295891855250504276616538598946535123755013319831419416620, 988364051993853063848526387001560312137400509961525195228086900699396032456008110260489053815399333481412430450926, -47550655058691084099486747816895931185815212564504671960572929067203487993689539797780506173552975015243551, -5599030142825867238369721637782587135473507862351184658665832541051013411917134344040901809577973741568, -812114466823394370312546815050011269101682426176005662555544397591515077267072416641130310484809472, 185743614573527903654418759576595387320181382681924395735659819576829500727913675362575058747392], [7690990584620496710578322884159130864809313361940366719725791600559403209842970027246064655095866727059309426588782902896705070, -3237812796962175549069539408392866755435030198939168516548488969431741024225627552883040197524599357893810568975188, 797917138993211904041506375456921695027757382472258766926200413942345755585551311972364962804498512925677900, -7273625711533445998093634272405333155948254015459976033803059068355867478191452927458770685511321665384, 867813319612347900223733890244973638587586241173800026055322881272883246617857665459521449182073939, 548995315072142362252991065722088457669426700223452797678578846632049436249793369746809719175296], [6726819437631024620114487309677938189614544792009062889355746474137085998132217614260511688469793139935913789628500877207775050, 94166996387342940798806085286805893726050482089153447238226451891934381365204539002256361879356167863707027841104, -150506494147647709209757610849401729524104239378142482926122305731058418548319204548142503629269913325822896, 1630057602589227822545372047765108651757673379211354801669778814323887740708387235028091721657998667040, -636530719573449938343330451658827517619373345744865407838995210993233579524924332249454004708280140, -169231897509105020554090278170728219729302318902270918240840746644367929062933943872259234994560], [-5063456900370484132796689658723176421443265554838087761697905464697616372400705046726458489353730316822832488430750754495821440, 1576795004545058398424862201377809224026117107783444842921155160588163032385663851570653019320830224914180273169472, 358083233487818269170965280752001964638662583255784714232301346057821078149914377551508179780226445970750688, -4390887342672722781979834116992121077962510120725655063378528094610431646480969442694390474069628548096, -3604847830726722665606013659311295829614808902197368796277606020715180502557852696751288440486525184, -561608337218926134389554936343707880453245888732042075622254758398472926532533192884464899429376], [2003445660216089966337557834263979434414908067448419812819614782242670436852891892942877682839826776242036448930260629870384940, -17725395931015053754747900381739948502029096530275200960767951443698034308059551211159091829584010366277170145198190, -263666256877030550194260996694214178688620289585577342596251900978237698713308172279613963864325538152385569, -3967823121835415409933364925598185354920273797981409810189331774986278760936565132705234408075450367488, 3284042592511210773657442802707812860223078418643083131149590126092138298874970586537717376590091648, 1333876617734444733605907180682008159188164842541959797006128238459790405472721540494165703772672], [5023346777995273904425233786050146769738629154840185200450904983712475382179673166182661029140393903119028113248810278746488590, -1184612199784374807091843456949092669589804507478322344403420188032058694189468137420525198145249985316738819339188, -486955714029719395050969033353546479826140236685440673286088756840600245203090166677143901045156397527452948, 19100872578303746460035656166473994430645810502106677561933705827499936520579399511619675564806206478040, 1817534397080755817424990448123885699376221460690163295050749511594581224644363684676526098768536699, 206076156269905843679507689530622687190353737881649906382578758884821072167194054417111876173696], [-9364980271039352328371493790804633846891254309005952784314580212236289187567238293282420160096556858672327195760089793793648650, 14260116214584959170514328103511858604492375877357092020234702235067630227839212234286588129073062324933294870052108, 1729207819470106185965808129215969853498360706589009702489951829765743802608683895012757154053843529901215020, 368124798046176133641570483351579597735735673791916094827423888116977558639523621950982582971899699416, 6478998725685815115154121938293558361031564497432073404721694022320127606607100707628405622406511339, -80825604382724990451679930305824222994985213788541132431032586287270470607988406594526516008704], [-15547061730303306617916915252259342454821810665291966455822946772422782471732689213381323329380700132343306826802076801299948190, 4767597853335286033267211221553343343712732764295106880624670980634944101993548269882925043619108641501480386468168, -1396712270334651606888466776286013078649363078294635813262471869438599848373074402393969960867569632768446264, 16913287481352425571376233556784054155641302428466141080647824370169109794559839083692208300907174072400, 7821813495638507119598462217289734219191537487621593828531528814234996092219302273345724134329234850, -2553811153352823706545982535738656784937689453825325923020171475923389012154634477838210762561600], [1358464360296331897151124626209879488721617534067821580799626441917064444077910526433282106729072184452934038979602031796236300, 9662959387264993022895105246893632090600490636916456689098495810096774709281367518546702108193259903161290360628290, 3042739928558534227735574672809866934208813769870276897992365523535881435159686273058429282232523904980293207, -2209892243745657030714360051338418557997011145490477508596027127412665029071277909624416460161576766304, -7440258215359658502728181108405033920567171565002333433586664332129247732923170738600495197308385736, 2564613136372640627958449183986916859899883915867528885533264155151462963561813334171536183290656], [-7703521137213954113866234102509115259880762695362874272401292786411020000216015835934969537618172426242197372592680256585144730, 26761618315953519579388315912661125276566688043556431038247153602782554875259761272983664551122262304300476189769036, -1940054913471189240301856958951907641740844587994812912787131759081240808264166777104517064750544678403872660, 49578002817172371842079292464125056195118080667852052805787547863289895111962389384077533976846208641112, 3697331238034025400334998606069950378654132981982032654753357496001198622998454521879682405414181115, -3545724026547015464410798149260102994313002725912547360548209671179232251638996446609428376675840], [1754745433491360377478350137487930862301260867994428448452361940910614142432302661165213537337224024835612189998435421449865482, -39618554026346760000589966607646144325134101325999754562340058460209671687715791834794129664021402895911718547026040, -72734518613910966339301764482757191120812488915016377600986679137751920452392574023691574782017650406651384, -23351750372367946087273387407633517683385219016286412466935472873177301765977686737828426620354497332272, -7418771518607760800468715433795887842127950796293408788215368696781481927388367790005952847225626318, 1160719828158288472226635002615505754565303209996987058949194738903962481755195754762790083649728], [8808518524588531745561840071935236253023961989422885248277715815011008131345283984246256682933016538184644438333557932539316340, -28894212605845425471870357365678992200073149771955205822070038815070822729411999463413931468705993462129783429390626, -3017116286726781514267980573644394395767489843048454841170950425554697705183277159909822235472124792976116503, -17441020676987197187092678972721100459552406370485260469137499233687958953788729190369579232696642408832, -1057678116119970263983013750195472368499532961164708905544998861031159387493165359710565731577712928, -5405212540885619913362021425779522876556067985514185861441219774664901918103854162073685304606592], [5873125353373277296875950887990820800268770683063913905972926350903757425912387589421482501723948148187008634855182130049726670, 48696933899959001987820481518734652450466397388183547137732530812344248003582864001657260701660833456174982095933836, -3210151465152425763700966083478300612831584781311153307598148803030918733964803092482961007237849224965102548, 32720705350344939401707743092869448198299469743799124109912392971612113000837730498867847271017602418520, -16044958778525148556971936018489718811167772945412092148794109981252150938211744003583899730351813045, 1492093024489317279064290124556439544887272051246549906690393425665501073206549567299184109557120], [-16042864527585449915374561501170850501347825856773245631637345056610812687272927019329540356925135069222305340485600328835646138, -60921328174515258187170494346857939379395096688491580243029554182291847842812256573261624614495111121172890081089060, -4370675934357258983794350749423741496214484500571369120654372675179794334105975348946355279279171550021882116, 54200592454835449173620271031924963849959196826289987355630345124444586725324843766317090505380104865272, -140093737502620670812957076779290415534619225659949045503527385077027720115906587936282188943237057, 1900748174399203195328482889943365068106444006787349293554520369704381214803187445519369587948672], [5426561742467502989752809754784441043136466705659823549748595294615290994701302836696582673366616549022417238302355332224480860, 36390580710538761034322275281580974219446160904105665551084435405929407130381220316358060555724566673933710858999098, 2801842597211193019094113477361605078799208437875958127506455875186706855514603492562235401128593124476175835, 26058990171798135731642842534846027983063354634483768934388996812228679132287566436559534505291367385312, -12984055273757882709650567539126516592153588118862621658712125783851856539210126463388448083016124952, 3216618482659539587576655017909018368467592615436151722098524364174194287679348782841932614680672], [-37210642388992793648564864590471503528093632387554258606612288630585684238257853641673286895525413526475681010112157265910549270, -33533215113233612278324928341730279885381981038951612642310714162664588623858519164188269696922302765894083355646680, 9833208441128393981897686497055696715012317537382959643570050572973293771631846390269706135920520913314623912, -125461633740572305119888669647238914605327504723966509343897217315480567742877923943232025888971253637616, -6235797804241642988170562189911281486707073955580154906718859727114905375176827957266698050340331814, -1638094157458675902102473971890852438749360560916367428147824749676792852292250971527821187807296], [101524999464591478426879945647840827276239819639868202775569234239038637134173115124643946601240531576309912442152221038281081120, -116682353189412799984084847035714531362641024354636517719275952609001038489708985813281002052443754835381879363453584, -1812568676445218475447446923767573390504067989520049279321526716913145190200858798357494338435404321766159640, 15671806902044781725475829985781787858291118501855881730542959605970198575227523518431804400779377405632, 886157380692559191295627693097574825188468153978218565082071537781517757819923819239791162552920080, -7058467412017288562897193388133476617509535811869675897072236551357260630868949127699399856687680], [-79834823819592229624417040938759186168845680736377139432773842756649923777563217526332434650630023075440284136476160522436127470, 117006808310824522864095416264868174419917655017536108456307360960538424820168649233287518710804105043952160178653216, 5026132685731358466583166549015781775548827761967065902031357186647397403011720605518791585566120538445377056, 352515605726780182248867244860974094722791331718761196734882354957791278680106237557523453077588728944448, 10456143459652293358956299420613211502159719774133589626581672982128985688295010691661365023138085192, -430585962299003053273076623272902673233756891446880345663107891701851774428118890133546343366912], [-49126714753450179925266887375373683525051437777621938186800467627261510187555597061196870000188601830516408754840034922612967480, -89356531243905256696964888594718470103366452960961213440343116034680013280782385550491838052582628592033696281769604, -8581162198776693400630859905724915745193892722719615803193719239264443891235804511768305414376793547561136070, -297994299566941477167016429548180477401897815371806581596228022392190600932059486593357378395433113514416, 26824133766143963036654815215857412517481912183663035445730637642879643093052836387460369691527442236, -12362455788173101308290565634131437192726568089588636533743330540320447706316734417412898437578096], [-26515052570463228748245535285210799452789434124504490118560558679374804166891789690632928087675203245003514873799664690490655180, -123761777863586696913212948364123362768361579091374174409783132877171925151552820012210097586825022571444167836164898, 16932023062724415487315652525929246226598444914340162045209472482070307347178514658871056820644227968232461881, 360655536144553570924247666427825680259487404017477954046384901053770505744053772041616492151736192104864, -18992617677935082321035340239572849419367571078558566149527278543243859391813411244491937265129582344, 5778250467509972041210551851657834831213657220229186361873863336068877306091044047787779780324384], [-114661099472007374915822039763869753695058305218487691528641030526019734604829188139661467459132900848877352059846060521465425770, -21824300460314681435208107385352210293061392250238150566588392239393460727878393802057227001295721728168020260713636, -24031562409630586132604181178058918860183247561452552490385581989202618730713137428479685513106754877388254852, -236222738467657037518117701082665519701849451658864308110677287154016449933817688433066309690912426152968, 24022937135421998813008143130646595400828880156656096888365201950243292015987346690626104752430842911, 11486334160612578630846222840716978708597422572444722130847382583507174838927133941355089041577344], [-28514722556068008424990102166998434081787127312618599250512577104452509866174630928953159763456704823916006329608519243762595398, 188861656539515032270142094353539614451399798916908069371345629146942748554685078466323784586690205323029828345454920, -9271126783751541624960800376067249613462984398340047428120016603581506066541091117857207198467971433444027448, -13886037065887584019863365627299091109241899507125858881676375023417109342061808159609022866570105143984, 24799416049141695777853130584144264942293192613809217322645865540708364161602462487599516970895166754, 7531547019300715277832146685402144692639218847012815590555640539411355703803724375057585083098816], [-95580645638135450394186017196727555201906829787603558662063947061140365619099085765902771121439808177799823468376200621652903908, -187649813625367665423717738792007798014496028472717914035525843467387557945643986868960285595844468588908068186222950, -32849982687635919572835504373202352061950080314488772982177214773402923055880886241418216884922538135981695285, -540331788939607102129396857621175897535026874204645580653206579600358378279479431850951611178362072269280, -39780582194389086003959576884910552430687364024205995005875715430013134906161549858525370118606833320, 24751696938670440588368772633509610714925432219928300897565812513758841565731317720096011972969120], [-489710435678376853525341417321902698884566509005310336070099113559529270949463201227852649687740811652235424409604354199423043360, -112728878106711376339937913535858524187805917752139516931015711820972189724334934803647424232630529596779567928222256, 9668138968681604933341363553980959841640633100258615335595912584167277222971681376685832495763032571553615192, 114687181640368706493735997622420287897298611639891439297889361238191576401149310530545408750900028763648, 17239454788433532326353801234682909909727201794367977221770531036489460379339396752500297699299534592, -34187205716706790752638932625502781576723084026105069742000555087132968443360329849824499723802112], [-182202271573345566953368110720463925468768139430993319654665213105070832675074782092752495489331012360601239076881768279596186728, -97631150423822349712043382238369036298841637871217336952867580973182958916648837202531253925445609255850360142521260, 16787057726802040159775805877427580145240842303031142651359314972435847373646550653958935324346867434759838974, -568722694914325882099716196975305587609512500586396106994683983396781444595012342633662411032773844293008, -18010905625744258501751591255249241837908769731626170805561089150418321048090075748916511287512238252, 26873946807748649055032536342839023068204541701335220678101002199277802176534077743163318076095792], [-200202790645588091377551904417947672546913755774645479619465856339705907204242889535696780207754320915907233102162175876513029240, -668803616667239076763494357817284564748160410366192217599634333221356583004749647935836210037434722829016287356606692, -33651936340866127289172315042978747514592113465969994853891681900272346945037274357207852154452568237966693270, -330874664996688903625196088020323962880467936488219124029596691019379385296611564024599000514162767547568, -253178639040167433467079005875131950690637769494061644146284137281518540933110507576441333369435923972, -42433852905233705124057552490382740161200002802043598031306406503555565329076977717693282620906608], [289134531384430344726623087676968246522058118324941200263699627990241419115495721403612452431882142911785093615642281144370264142, -108520804301093644366593252428362267960198150239592232118356860801013486953624964339866040419027714971087553009818020, 41967207917687686929313310549161772878349620266697959161068230299421055847468891192206292616164194363182068988, -168689780756169567378794649834675107047641753689538515148780544313590053113075679097259126676214212866696, 185719708015558072774662111822885896338523636790075437136104017441440972194523986209032490440382449951, -161366425576750031253204609432866138645209348722025660966935997487858417673488302657125321997802496], [-454868273043937971061151457897659843465841134522698380664189516179705974384325709324378990551945766400980543976287862189312437660, 1404275887707925094644503587233103823146941314119675605879332106024740298232843230122709863098021795947205117648876230, -96210388026983850407747036885926687227923155137853571149260837262126002924436560721795767059613493989100492875, -882419731352407137454033009905847480588752732101764151711744661098569215624296008233296330650319833414976, 164543336001357772119784499904364843065276127775634848903968932915642182810898889404303765172660503696, -32356554729251923101399320738053935745648706198449864161454712595768540855585293069887128126536256], [-635781196122606124644036110982710143634160931238438660805816748536775929958926254330539699275962263209282578840563140838483813968, 980615899515899730130885925465375624173813787340603543289570642516152161228720597211134932892885657808971592586033320, -89023742743734998885617164360098974452403569799647155196195442150646135231725966096073074152790484498393774628, 1318834750580814853142614866804776762183797206385337382850872946071729503396408092903803778891647487772576, -322451582649461312073577381639253947541953300670038613327609192534734805688124553352515556824772070856, -32919066318070827472975330590704890891187220502881701874394597507402078079572904351807975500691424], [274345999390990179179626642641565649679996927296592876066258714716477292772469213773471272507303562776274644093680251210304039090, 670418590987748265745626409474107274739898449575431335655790831994853611423637177975732505449019957910904249967220904, -1592894609683382391307337630099022298756884361055375070573127971691284448072529091425652299299274062898346456, -619419377140663192454129930034611525640498266555696628218876752680817651787471093393997249703706490652656, -206599039678535545726763849125198991980093400811383624555245668533098990678970706500347824707320575174, 161123653669002722377513560959333833369892409312778544085433343635436950118489683863202465252995264], [-331105511830349004786503388973672576867562678217402731889281048925103989468025619300425634173363397792250183941923476860694165570, 136670358341364368092551870296240283172661580946874374585569802566004121245991181113973189930197017777326671644880876, 13308963558929123698418399531106738328630695786656028004432604842388928336818534196287368968174382950232151436, 297975072170859555616025136917208094371398903900125334312837830400525821815829324638003419727430544308248, 448781666017207369796323545636612365844086007251146520904606025380298151362596156880642150980579039267, 103104306473668041624784674798056833244516016419249805631469530309098673546225313388386416416597888], [-316594783704024914729527812015450638735491542908319704151498402813587320140323232837672032103678873716811269643125293897214386840, 1095434559204382405170346927589640940903340792258043356020242244504068977821446861041746946350887086231826832543410988, -41308788690154039968284325095397407765554238770430621352373699580762097318272701344682734463142156116578054078, 1058189046049518222269268871697054279841946951672794338044638907022250881904380473067866758315273166275472, -9785220445364534515113506805782551242375817900691433115318240956214317259018855307981432030989963476, 158637529465765941845440231875629033621001451500634617839778420264190786049125813257562400280946896], [18097794312057892362307660833975442389063641767694851337455497192248619399789642824936286976034208227443664567918147142937748130, -902325228049180731323020860665584749387714298179974954092083121899526978894762388979394449339074787081453486340120416, -56246707383152644824163796116333960524330108594551643025755728766740556832640471121078457740121807265327650656, -2483803856064673124653101609628532717007419804593108687163273461913060375857002203383679455385621393503680, -13013540227682852628794420753370882986941487643717116688098287082733182812884723134680310815060549272, 128014076569717923495319532917249841914790191752291217810896113282603809929785559546465229783571712], [-1342908940297109525565266633181899188258662093269496107356332533074319297633591536243400204260781184448361623714413844969360939098, -3026614281206117653737324860328934365591947802516842472160091034387571708699392509935693165797716085066130356765339860, 279725074682192330851930147392763933284737917148813159651554663690170990667191329709988044943262438017824439884, -1337192218788003422157662500270334146875354429254187740001019977725979173447366518339694154278501663210728, -20514058715152564718161205046220368930155728556760653315180681087850828556616322733866180723001956557, -273347112556921319734080864829202292083455511240650185288369593787364700516366195499475238729104128], [-783199145455058728048892708143299762951784148732561786333712406897944476881406664442586074917601517272704356213936962605443045700, 358446434196923976056542869833367367347638447866846663766259291816359691669217247182565599491609690549311395916428554, -255978725002649756901961091364569198115616736813587100570251771656293581267937184745094725235467685568825421101, -1890277266995625890627771826973938113372818332391164855574295135844499438149475384648205189940695922226400, -279827966062090744132937084864586464577787108375011872077512128351049614636187182870148905070194746600, 53088440004483024983183739217737514172429926938574030684164101254889843309381875188611894020125600], [-1999722636039410032181163214744003636580035922117181991757045445167692480547849386482353886306944632627442443040652776460054308790, -337030804851685692091746913961322088223836709585345990633740862643291850948853983847914670221861769192195468250759928, -358098548720190669746575193207685609587605141678925504939041584475149454514593943796278005581617716719781334136, -2344588803898551134946897144959099669798142246580346196918758381864635996438776141870293975636375224142128, -289067887857331962515345361567309335282040835091868035313511582711235849487971456493343500589203466862, 178870417178800283879993559822628404611329810359670018005723323605070060307503492061959922409789632], [2172475553126810165020361444499402903544909686894795340011821972077428467026552567690458475447449298653800326324846500953058779172, 393029962173413664463069538838996507221276489266845246323606858788641175328956072345631440153155405717582909304885190, -391679970308471677766817187435650849288274341537737833064360786282628284169421250620157666728658669711153570811, -5086144610067788964842910754760799468192120651349587609298936869377881780072084864136504624265276652032288, -959215631467132144690410502058431064657707416490790994785543065082896546158253661889763399193638290072, -480114103131210737782659978430375935115496413436530373391366613613135171586596581282472066334902688], [2981532442612845718985595741908067062085035329795908530452736970500400843773740435563751154170657213444697211051048050606826472070, -1252967307202506647234528934927797482645469372840357302894849178296874465029791422028210221561933476965475746923924, -36006597626210017849116999589451066775189241452849124601604215485051674406811164539117724385658336545888650356, -812884093690508803246762176193725476051353346107804096941968507620125268633145932751734008917862466414184, -414668442189965675731383506660844358921750732987695137026924661935437934364391777569968568173574043261, 533845834298310175540355168542120946198637506534417350695234846653388261381108115020271230000650496], [-5984032089978963522651351206643309577590612657775129035568895533851014205408001644630615799529401663871724424219019578338241629450, 258068251967342080829101121741454400059246483537487206891444359434297065165822687244203260489673743070197714490265340, 509741255920627951675432187819721246818642237293447868476057291759260291838977599297835688417681632716554029852, 3573314102440798840784676742326639461851941513590931518115531392507337888695319320085815484634696008281656, -89521126981226512124494840785224911054568264860887270349166654693527831740701070082864774390292827321, 81860776348382758353475949321820052472068869804075523444443438201383968070422713733625411476646016], [4577986115883710592562500334443717169342798533033875277795422107277838904430022727935432356600135679750516410021080449981654419552, -2108188995800767290287553386981118432246462676662270689663298602457898442108863842002475643987210110240060280547078000, 312586106337155553749484652961445419275067266402808088955679481531004708013913903577210925321441805435844593720, 2255355743199604581137027439748863056919338573348040442780396316481153360805901912038745096551503958917760, 1210506628215131337501514357425225379174111652002450156757593114503413111742083293916650393622202457440, -633558312160811499540198202101011281444971081791054935852980997984883070974500019668879164743917440], [-4693726280720759557490324282859663805132096645204153374119762265119434272873413386279988162493720204128263674506403465501253717410, -5523571042832691866681753611080379971277651319396433580256536756732842916208020131595818059863773983115091793094895076, 1297979576844040430507605970950657983621957341107202978456170727044554068786033133877417991843659403210374453692, -2811013001397398758938318391267707603620360313195244487302870515875509710170985549022976912994432100171272, -2420111842107052360119145456014851810273605999529143298158673107528604650473462527957829122721533987313, 331392834372915839459868310978875257642379706850928703874364534910333078646307172707773882857344768], [-972904155194592622742243770601659129452068630215573942881523383754009218708884763980965738807125744437143860165564558946166425740, -6858124272940549472966367453830809605637080984654845995631505230042275051291811840761197247420440092506594719176774082, -558162141428141151793554434386027063928691143874547181267923334404080885873983782604465007642974045710979676471, -10640604737126062886806176770477830517035987560176835786546413511091126565676788602950349502067376993891552, 2526359846744887435424384147301334900766847886215662366973809182763594577107752043063838731216387486488, 1832832000480609060095024996038703673252305663874076081014490495034903285203273587950900808407528352], [12746910590756461931157229980453067747407314018791463065531995426818961749329113613030157111991052935584551923339750830600301322220, 1514445279122846389853738097888628474442980047343092043205208318002050619513264906409985623258514194016967322724717522, -30064438458607541180022740681270425366197727210865057316529514744324152867398694123573036011440030746610285265, 5837552205080516629401841417591801676010805650132787024017213100875992232411096588493028608569582074882656, 278610380022079097111798959894801395429829108948548702394881933228920967732827321641838436495406057224, -2296409900780567321253550183315834808152921642344928358526124268786574508738874789625279158222098464], [3264043440282438501349121886016536137235032386578561806693159009572619504562770691618030012006273616944776990869913491409444339450, 612947425562528610286882797116798671104922731263541510437878522040064501627851757014323755762895663911940721468967568, 300881058733532992592305502877938745530983959761538326355086708041767589977768209733765988078791807607333423248, -13417021834655197199709957784953850548893282542740757353026425109620182330552006684816142273289938507073120, -1694288685920010233743427586568406615433088555090251175078422658028995189763254534758174258031065726780, 1629652643391106250783233922519871076327091055947945518831891770954543043167660326926562113483428480], [-16685553882306375411546213117797187854847370076515102163778285055703207750262516727592804017771118956380408077344115831482978216890, -2912728356419771808773687196556421540866141820722462291801132730042172443993013046280505558230185545580124350646476452, 387451021337573347582294303213413829388012907258700549707153904853051725340255302936363674434731151836889893500, 2707125200611557708648382925943531043215874067675554771144712018480889672394056234392092356530565348343032, -812385361394921874661584974279938927901901512134859912951507412807944673537572631502612250655841308897, -2312874083638680031559146775211240925622689895161645689099863839085356199145613304897634500933006208], [-13284519637042550220720750696261318409810721092548693980915012827911494205999700094449904647552248212824473741343012176546022958800, 7401085106081846279142627516017707793072279802893667054328766058127191249203984772701886147918482264847537938749680360, -787124542227340476178503958918308389503563071386518911523039988198982302528570257762115612249401562730121924, -15569806439320633938723275475660652925450869604996135627962755524709242132718948545735309747511252475428192, -1732312921923597515776978358056984803583707041696323343275226877086444452033567212904255833405505632648, 1136762744283748656931576065304362208542814897626525600815644446723707786285514673582264735541215008], [-3190726521117925535665658833042649701400969618939049771659105817168950584357041015011512857422038459684506946527148547926259002020, -9188760526714919766513918266367520419139358826853657937608711335132859911489911863304684945404104269745994823155865830, 1359502556455569411640884075448195913393342842710576116795815570165860063541349474258211383501394539834079363387, 12362722195551422145778501549903362023033447957842184742176401009185455371129103824227533384680028783459584, 2165829358305303418800050860070185913292176707337112781850021820387794164143432378634614042376777401536, 606590854555495299010607077071393308130033655185141022675864106303326920200075550712202550315112704], [-2300390411810661775935679797204413251297074742381765259165167184993527039971045357934265893077564202849512181969047346944068756908, -9735513811066000203810586659845930385980497563500557456699162085583148916023131386432680809221116349449884897276239090, -1608962850546160168460305949541072359161094868461484746366857564461868898771715755538076471480109338235500136799, 33672472635669664520543007970834609106423344248010278068775261249553793019013904626989291850943572150981408, 254371999109487177623620295735459235487373739023377648246039163321608146635411027463971678528069699352, -3460071656405316775719284188733244799346075577751030367062928788182398560942979256519481222523728992], [5935424406180119717636184338710154862754830991198656472600240134501051424846682109201150516503249409781154842781564019296165933090, -26627447858018410345394953588816721405646193014445013384876600414830853898117328086097064488673252123372578802696089080, -212767792684371132294772651038140387419406057130235852369440824267019917583619169961067761169506200416684291704, -17446167914030136341337459751511559347896033877597652143764610105285374775511973664127491379407539527413808, 3821533604929200353318927530032148262294475868781000806228769817175932941222607512373063370131415444818, 1651808864103252197221261733887267077907240072926299965551004136463304437164935153571203239812885952], [-5301966367218858107868745254625419183343354404470704021133760128246243880677398074663830273374823352604463001648687729953579170620, 18482714023297162220201915246408207756595759962432417684322005244334370460856889041393884877531566348672390897496467766, -599583231568824053605198785593355463461884686745306602260330397297009603926268119353312487259415375616922473075, -22028901793423539894762974855091037953348687125158346764805655160494419363010377066485763943913214057379360, 7518316006155039798443976201540656907730371458119712163644469266820712924743063405527964928288432065960, 3776288543703318293286032146752837396162457917510506532426091379201572718357852462340175053283110240], [9007117393413610247925899167547845956206899126644497921240384552070473568621841732862361848150302926155490165787735856632153673510, 16421930627367223612591696295337819990950033199042362510551213539236347331954733883948265530791416254740948253322665468, -515336832847006770558088279005642295003752872464337566896899869104310035483410984538192854039821622539242610404, -17973385410367148390139158792859109630347522474547031562918138707517651220189933737818035906886784651987656, -637020467903623253585253960566272160616421909500622762526676131055998483834630351042991355137602162553, -3206488758190620038843070715611239941608699531642173705917673344258376001686411821257775607644202112], [13147398206111554032646090972612570041712407531081211393917272596436634882310342754725596391999038973892366371340666922490356283080, 4932969111673454325204974161660931319439884994437823457616259809552550981592735510683822823287631209553236592667997244, -2879175083154623307448970721565227223657284770090044211970346676413743887022504913372958198576558548483415562054, 15236841154551165962027490699028953634058569287732256182134643963404330224749259549328796310513301427449616, -5232428280927977814988195645650983275807866822683646528157015556150307270661825085526447747449453849268, -2573116851534739027022067551427447198398433773404874923423934132629385366312998379365096320704932272], [-7179603297405852297211371577268346088094435838615833803112978382692149964002676132792480168210296562394568858268456522212495392370, -10176124326534101807442263749676352334754629725210623972797146477709574161702403913880828426198023900689065885842337620, 2297651976089728782140071171448598448407630745385613098092345082246697591344428593255860065380765185653071915852, 77774770265354601207589318964216213312070003100744369349509862619271117173352808499604907149532140341095064, 3038915368254975543599881894342481527243780952205728021897811169632826454588767380416431087144890907731, 7022016495156427770700960179833788362754556247503192652428664908878341624981728308760350627014585984], [60786991087822861191244507749993610031662983910964141017919020787024923338145264708829746285562231294151486910072418448537478072560, 9959800337060599300301598141016704540666535188972308428927992962392748199193691676978648528489495830249131519309305352, -5168462592876261978047412725123356913194066777668557371004700638883227617497338273944520171075812304411633731860, 541629073866344624149472272228529557032436226185900196694196694031666517332475726523464334556473449164320, 12158561743540767041551014178418128636906628097421698077232831817864413812145271035650711046406489689880, -6304247716379708556198705977787461503717853262348413439437224989662069234210150175382451706121584480], [56342690042449484003130030995043673074320728058443822767760131172728631440393714601775756627619361883269753630735909339336276596990, 6792423292171357142017851178949055226301701280043480838245475096647645645094175080082429588635129506171653088324411132, 1004101403562986699915309667403642963185191017134084404319918223823914791546870723982364113344945021822497670300, 10186731833571390035255219820461064022683787711668049677275606843146876007823174386852779199194066407966904, -2706084901612283055408319512318250282290679174933942476506338361173499706340928593057036271953877645305, -612045834429873388481561628672889410253339965060883646058193450117431048103441848149912104741278720], [22959447605415113024429386934008663934581871798504379646640148296204644873760439008858258336938267778927208510001238196183025124322, -67314475087657379358889495878366160549844592875353498017685559581321739019868273397958854494828916607764083135804918520, 3308645691167703095645703721675003073076644225553967913095978757088448906865722014630509971728520959656963920008, 50203545770568569233462083750986696174675060608869837908987036992420436044214647760637816283176658296064464, 7111471960460845045332346957021208430227026354208620187110033178769032440497438500784541990957126798866, 7664902876960636432975116135787986444442504466782144965845789966825080858298489172953354321395030464], [-97211504071675123261178735993695203553905668951451365983807845313012827656367816868051829011922127117521076453497317698891370513780, 39955388507834405231449797493963639299297878758594939428221676774533139028976753176964264526037082582524334421709517506, -8473233008803556172683296847847380882739113898440363012887616045437071457669371104784062592363264181840283563593, 21628985364917039176458924953359393655843568256836286552748762119003383300847306881057994934518184576877280, 2132723736939710544590404222673917573731496737904831355552052830366691916579667608462011844428614780520, 307947750391669355900919166499615353514324296838578212284785093714555510742408052356419465871338080], [-9238904470739146789732152253500342896919304583727679437862548065104532128405693769152225562682759033073249713430632616119780203880, -76463339731189011099809700677610541448860619026094581395991252730185258043045735722769425333926696470294831866859199468, -4067623302324830241708046478323475593631698479093229348031621918433490489765608848064154294614909472583983374210, -66266682710541290679986271264204123321622706554397059059456199928826923086644228122013852652109259731963344, -27976787999453260884281604138611121239470616072274101181156847941334562995685783778732864512362328842076, -1917014640050473278330673780540393048207739815461497742977884199324090344528285934898023258761653264], [-21100565902018896186865229049687448690730817864257154296858913248309299492330242668778869640852852375689857160883926776219980160870, 161088619541184429169902755919364582819530336612137629942810622616617797767291651954986687834191812803998863288751931784, -2804287653250856709134656691911806903579168384667541474972629740673216680770491318346851169695742720364050610168, 46079002911213130102041124612095673765425858585296297799456627430992931519519443097463200853308420607296464, 4565963130177414785842067120663603149202174680604105748411952288538302770322972113329528837818858616754, -4726874487104335334009652334496873692954523868535304413929000809149943172107579109066587403869745984], [12278921382434359633840337558178664489471729547528223328723135660523946711609109510797907680600091810441752387990767524220059669500, 175667829153052107610810623386568970273703587785330414796732613344880040387723168501944699229318386554497212267046723850, -7148832940249043625830654561279702405133919420403384576219313071487428567761023481332421060358008547751596710461, -59935844164327696568573655307476423443767818813286679654757416149171289657190679972454497216572623032400768, -2093269668130210611291892399629952974377023056212488924627619734228820962065259604160507905477718554272, 1289395878340830908610265322316001191940513915048145426335383528122496848512738041439226604649782912], [-22256032212995694498996575415389414334708662530072812929694314287502196416608497615244159059877606621313259021342731557073629958208, -48269288853583383149004067524528105061302030985143898342892724943430759147026877679963547386019121779914344408303932000, 7264823081175136755836939600434567030801430246803048813270188134546558893295731781787946733597629534994445979440, 190276096375883796338371865731514931213773539376679989356030692913089729160966397911235178257531024420811520, 21750419501342798077448548288400125547111227750677446693802657695294344227031745868947950517934017218880, 9007350921114637873604980534427262287694042610712943893789949402664469559941735687787743991040485120], [36893003009911624206460441561893498671577075281121408559895666500834189466636525451959916071106405123844037099631164338621766966210, 23566846750886141111350199140142490756058841702213902556515619758161996625662412056991537284528523922431594335242816512, 13117793324959670059364654017084994818042575175174944771775161531833806650681917907844668084933642554307367234560, -189423530882636350562862430674805364420412194635473836131520043101923740160558925279938584299386947591464960, 30101634488212170573742184956221671022771291901432626621484800119867867046615132316028598601981871573760, -12251437104279417051185721534790023689619945803453185380028024620956657211874400937474309707634524160], [210085583191568664810474056529244175883396557432924822749454186515907978236503604698922245326385611177145333480526931156954627609010, 91177683772519583386908065050545323381039366346951531885117618316896246847111682112071846066407775087360272701203643968, 9775406338939684593381821772479237250190375877351843275452514111617560224487477644746543037155788779177633865280, 258657125395426783096503870915392580335207642733937331622221147519216293479881096575509677109118001085777536, 40698026849206467735756474995147584614534709269552539260559562250796786128445696114029688156401494733840, 3753969374519697597546604412504574493184387284110592105789980383532072089630723293761765963414581760], [-39056305534968467161468666627829535402883595014690405169092157506380642285386832436300876888936716839527464404082189218948704053028, 20354552562895876113164469503221837967157335250603851890420194105576812864173521615335944159228942709257200022163219290, -1686628329357836397165828467366999439472529099045989473863200630947967041244220956719488080422938629946790407781, -243087485008882697069823170623551132573864784065762814181204541402679740474216104515442286449882651644802048, -60458610730432307227225488980912378867290918535962499006202958944662773692819723846497955493236241024512, -19024590428110828979466382963467183604839716486455641223183204657459177301155740727865194102977051648], [-182957259967271161156832388398235702825975628907440534115482329677804805602578348571787377438718964907291734853184369381355865966230, -186038493497377145954485751404629266493424288280889519111929517803211331938190820079028054642568162200910599704872623088, 16756454786431826942619485711698512039297994200294188016580183831715045809571749999972975507258922234806144259088, -171114759951913472388149237878401878380002554158342998479076903330091700210870670831896593285755035729410400, -68885321524638499757425073651940340409681219117609974775673222124288151212255104840874833520064640097500, -7924988467424313215723837719698146395946677169106255486267545554979032803034807553795509772358268800], [52521168100046456256514911034988969889479231457147931835950564080659643916201637288979665248869259997331625104931084073370960887862, -133090086419465821272766705551128388031578028118278303176950710022659010420335413146499938725944670832609600167380773940, -17796904691898586997272058146885151265902708842814749395612722415155971738670063726601974170615074494556397732884, -148120541411513868094687577828514529579347783860696714820512289193285398320535605275147959021885469214735272, -48564438652603473164766339264160285633561015288617201828464507557896107719116737669348587931808529886693, -8285108058893647356022197362610826774782400785565205603833983365843068663719830698783098121170876672], [151238620921682227866098627483316295417419739339600807891897202798401301351674504484241542732873480232531647183437227657727093968800, -232590801155205200887500051142446755452422191078522997644747237890483934100483317698921472934685231862815354159389100752, -3444481442717776601484194291918850961877831735142587794612309455102110768423143976600970747257674636532341013496, 221426017077564566616436715522638325470441746493677126609363403937805371160691918664103772460816483934706368, 32564071217478734830152393159671107067938189630736520190845881386843037173944056550856947709412921689872, -915747630556589864989960513742325582851558009670480453280517400295686385492566369993021810094243392], [62090280137620015959266178895609510383004660349099221176386520960483149243467345316022121334802813037985304193759528453698413667930, 192902992258867722971911596443902027076630694424697606215541594397711384790625098913321603999630318893112659989036115600, 33165695660005790690358887022862956406130572057546217880970857637590175154807018952267267845418957763238164896912, 602659281254277617625273145712384631620020256854673037673539815773236915577763101402191837023934647788034464, -29571421636614660211756833159384274645518447540908799408238469282486045181498429134555243712173887120444, -567763271177352549919695166501870560566680773782750453397496359931885222629418435268354177744582016], [200688874407982063194340478711652162757427140892779485774796288398457443570604710338164939161014192668059544416039768257188836977042, 52756598609740146128759874546411033187995273015846960309057780081654977547870546651467470820197090954208755677519944040, -10240387792987794692508066380364638965503805721929313996045700699567731189687438527342250091937350991879134289176, -201436903903701959156352651666082664950542726630629417553575369005501675001603436590459269373830009608836208, 39281399144275884336393660009414944408841815726340095041308393876850809103522378306116654847175894782698, 20784628137703764124388438578364027078918527930736143816155599246174301487290013980820973598412915392], [-347816284621974685660104891700370724735457641143229535252327935142172176075265639966493766879703094498238040877346079291573508029140, 509683863484237689894758229656529622350634837650473292987704297505973578266238550516565949104755778421905931648338388498, -25028820363739272838365210612849506134439456866653608657763300239193858064255203106999646130984107657107095293985, -141822052895753421709600237300839968781786852961889775576866039600767005032093069673329833447397598874429824, 19907677136485679871726043693151683941958182704455189071869703863391194207127851080099035888808008507360, 65592067192519473071268283443919764560991687242836465154988585155017174376362611044398110690956173440], [207990593608743328477548359634916297058060934284032132081681872633058501345773516410606780002216444142431641063464418657822565618580, -774684970184182286966708266374731841834067887865737395687208830421171682361031822987550076600084628506436523401676542290, 16103865361543833569172137477626010864768317078110226640752976001715575816520708166125904578441948622740646813937, -1431610656761191858708603839229692885275952192116814675176943508461195515944045143499270086613186237184598176, 42005406801092905245594401399331467846853803778002814884099270467553619530208127429356549762841344292296, -35820371713576600266080716941128876577614347805277314736747576700180395441140202273550713454491361056], [448778799212396055207372442632481009149654184589318347279186674046419066492757263180921815825797702918133001607918105798592860456800, 222777950584028980719778278013947374488391401892871073373239798124645063355480383604707441929117002886072293841974538384, 62727164328456578260855394356959272754106442762986458581541319387582519521988426741199831976703891752912059947896, -1510326981447758494293080522795432894963539423514589437337098778459388536676917722486162671728195064807687424, 5054470553500493663005502793924931387075189679847456804218055290471188333675884243320127294045172647104, 56124443444501459405551663586779752608796511661937453233123134503386276865023005873882147203659840256], [532258665035107834224905594916516852515667233952494902610008266352315444615837139352372769894700099376307614922705209177379337507310, -642670415787090831496615876568174414573204312877337339306529510104118894648913785689250557652520440891062538496348136068, 86494693641101609945729382399247149883766628040976269710306205506214577633399343446093564948692066374740066215452, -97389657380520697976994184502695580901084494982805635301319556424967274859975683305574927507805941381472584, 157009800060727642053449886638721407626326596622624646413009888426773487435665379488088383897226498240039, 16675381890341218123804096244661981251327718672801252301475902561168523327210697806322743145894602496], [225668142193135159221532442612875054511784968787779885644947546790716027610858777008845515816402887438663814990200043150034632110182, -91808885674915657366416941536037959718807335090557176418682927746211005403968995088136794437107294428300217933931327780, -43836766905630453994768060743032189050816162499972200291352726840453157512843958204584477118015511633545466863108, 1706547936277057238204294977245665893184744425445055893757830302682585545167168850342362780327357476411103736, -174187608716020640196906982698175709578890421396630818863918603499560737484198963423877499065700997805441, 148583739106829191289774529169191347932383987101951880108523378728793726899401691135299053480229943936], [-114021106906049073567792012502694920710525460217126034122178814460861911233739845407247874699189055922946066371243908364482157497130, 17998647993854604517524619861624586980509376757796624417654721022089531469320733866713668076016239716105900381316529772, -52618785170799760067997503168819808506908691540059743726098283612035129142839105933317162909532115879903279739764, -2309819427713586543211021839342080718128567311698240431220340766270428252822492844540438284009156562297545576, -458018196205882479326277190163384257499544565844096265712391614082689489857924233433227697587871908056829, -143761353058242813896041865816611166257362892358767112325430695150668135749982025374039667534538169856], [232802410252118693099576486710756729671514766415807259770353799632392121720590557732374361918592125095123474097823934136920896028480, -1270310632863896452677266665388009627600108190934098317822687393988666102879286956642476680645762133265066572497739023136, -26767922516530691715666996157074513112536271642229107664833200249537195764207525069241260343098125272325876163184, 2237119215697287562924184350716340674726818978332841766366163322059825723492702733663935873785616487044316416, 72769392525399134360106970779485671442936478615766154329436387352804052023454302688260603525311822292672, -77048672846059106002637554243719933018427675483982496250598830811867450427296561418135109371470829312], [-665886412054162054712217068510344219266165581054502104246538365373841390711815850076958507161057239804898982092983029155076264167700, 70963740116821426881300679483482271515628261213064860525064397396141267209385348650206822631452977536522950521399136018, 195385776126300578453377580674979915828669014766786713306368603815774223693115592864954549894096092413215971736367, 1642351792162120934047930233591197694421279912829263505828520426798843102110486108873844143360763177801485472, 163759904593555675531634063754671416186505722940700488332171687879669863508685938488058394496993370988088, -72092428105305628357678497907784542769229062312403374634855505413535210814713006816667763804120607968], [-629837312330085075066935725099467542760381319732273047260594096547013482474365244080314976321321438549772657537207706301885952203548, -1707296306019773957212907258920396994383509070790072691993929124680352215509375162383273081579361404235263734342722024890, -118740747908724023221941024385280717253552670926485647721988563317693655740485216962429515760857785899232926054379, 40337153566630964106709845814988580427774767520286181479720177377384034092371158245386891177301813091616768, 87291590127186832183759689389863600454511565902918217929923958867073797656992003018076486160289651848192, 30887841737297214149110741473407419923121865943201650583054931799168417775086312675335243155902650368], [-680745695291959355038283492125876890934653436925508947501789838595878481015424456215148873073767648931944782331428042631323970406060, 793203996321164291248259424241279231522310495606345928624956377263583960088253595179175710827126714315589147420207559470, 90632153291982976225215071246623787380817719955474588520602180969212569797083763397803937070713292544486336729025, -1055217817150673422673762598781940069361142378305150266431566704732221879441987258529750585972170958999579136, -38247877436457857848068444984338757885995258006139907303915941887711800183086432130665580022366491887744, -193297752002011649893940130797481209067236590324389079281022219710673101522239868285022583271675542016], [42706695084070553786234601353426642866085446604377906283743895686752131580883647855272232795661863631564279231089888093204039537590, 1047209833651173008606751683378605079984035738897303069797961519848687525122567263315598707811746085187430398139481047212, 132870743120121502577967959179010299211788931834658571667642963222568196255393223606765467484993480536534011743436, -1586578271965335081919341759885571349892729425155140183333744602532500135518729848162451704034822301189812968, -207954214369751588057629642290284420321624757682917321026399140551449324894863224976156211154668316689133, -1241273021030048557267159808019801634661977285066716430153877384651622481594212234308087293700716032], [-286709336139397578026486889991424322324335836517478826119632668935283977352113005581469806251669847620451177301688666259118365337310, -754129178160579862662645778338904424921964204774015642748016046539289007735974900328093847948760334209167178565045006816, 88155391360299701002837462498628664830119955485293368925045456683881469949347156397922329355898788252757852581920, 5018042730829544168600415026111462965486658476189665212687699731489009462578343480264074819018506633676764992, 442815471757755529893672307434938263489102579970784585454798265850234133393323264318433078380969777005768, -273244596693495927940290821696662499605754446400128439087545849444774784784371310219142469485173589248], [-90755867558150152040115030370412112719770962051349377888299899799321903627735768415820157019238023564422192091925768795847290634278, -1642457103395068284559085666610992746634450645292701742992885496611218830647552605245241469424057598062080681634068038040, 133816438422802998008505752341851601027105575839955495224787482406480266855703257765542241639507658743469734711016, -4491239457042409106051255363526753196880397635528667430509369039075106237217404063642018700052902232937673072, -482017297749775768283972895040430592265237899300213442601190357786951215363759263005807107334614569426518, 205954457476489672157639877914876353763034347010428222045418972282459415687805735331543052193772692928], [1305709201254633198703108495056587696619231812383796752005597216282892523204156667750498423353067189092917276425894141380870302741520, 2890487496714762297383646535409487078373408923872888487358958391455095377090926422243096832016546321200420763960227096952, -255566628878456055899094622464861678555560717821852503724297417749583924900430197237641285099511442561367919729836, -3984975806455920772332992014902229575073128272903661721893192613255234704081789018659659821444480899633436192, -116350571371581013556887828087697552430768415272760523059236173148615078978571498447397761125098147084568, 21206036351700603540351508285787162494075241064031923628171141324735153911866739754471259122045278048], [683008937440411478279373934658076011141289711026572669178294044667034490192990160059557283464200442719318490509365872319163274801950, 1601489353321771274699769174478439315285158381380198078936931023486491132098087124057008346878948673539679780538803085628, 330335672511808201905573864186813710975363431024617571277133112250007490422424501686924073962988078827786659459292, 4788436886101650777294918025627576368649812511880206051770384972650741091979227582610089366376115129461304632, 263914886801152754014222035578776530700011365224302453795846459739093642717377364913659029650127225940503, -144967598360137567546802222371534348631691529671193349015004815433916273205935391369481744544569028608], [350382932299910947030765836320579140960844073789940246699112788875682393854179932958173494482635665021507550369440128350432374084810, -3014132747495585672262367726247365732278938968014431726539988348358452543063814803587796499546601277604974310836259593072, 75056737872052422403267871108102779659481771724139850657050995229371704788646829586757280025584079935780582071440, -5020224862401224414154481151299292746761398602377401836918924050087369278228402056367097196635658030297500768, 143889218712468939797002465739196039298974185633425441011176568475779079718717641494022649345583502121028, 167835516223937061437352632839402234261680897439931427443338843073000556467206913987626307382415012992], [-402569077830386609026975917781248181671638180824613666759117585367244115818640455680510428277101078873718714435041886227161499625330, 1901779115453196776335712253616960378278892159635872005749960303074629317640231922364947183304244592466764599836888626156, -395807931950586527315484267258965635521105800482289678965230693079954330214845943491645810580097139005031225577844, 6550604480655495401773909568170405562062165655582992143091246834685313616865879873609325831240332636072276760, 1284545352220234241705361155994711152392164381571290315348389495601752497368957551545838485306704393200547, -776190352828035699584740775643032574826669286830450319333096876123167066240532883365542383146878576512], [1510216856129466945740796296321601525174399824025103028094769560097316631181751553441121796291558450497331720178090571044945636260792, 2011625062639503242048697978568714319584172895107124607165352675156786030890171092965482390820076829907187456491052507460, 27434278683050649720875428051475644157967077272752471809352813705938933815247934847410752906350651633191766642086, 4689521901296758758303407659561173135164799565840338767982095103198521429805501238707400013758819497807293488, 1502963693504524217718930794736277979394598387610567711254248484024948012415541009266331201274666811454372, -264914303453732412236614976874245652924011147869462938731710392451826008735709148591910077057923165712], [942385861543741414306156542538962844501732854968167874957245769479690408531158222430127805151045121886863698741591350833550129489270, -3698082446883323358806662736977929156511742669618946750750454784138068768388379861182492692440035390135248398290875051844, -948722899208388490251587509311201888881216037704367011577368660480888472141717740684865059473591428665870892368676, 4326795936202926078637799576164903368769433219035145953974611930622934399935628150858624741747633940035217336, -798700339413819118643889107465486120935497799546535612772149598070347086366280900385150147687877719009481, -533804854266264743127161421114998848738848968962226750662851729569351735126002314072530686653850061184], [2254803666619847757761155545095034802250704945011129441379831369489425331183528653271208043762949752121878165709700849782259205802380, 3616350792563382723297548308394231857909302321112377948958452776472490377486981878159949219870202258702061133519279089634, -677359667526865569987253469889253931507217715231862169289644854054390054027552716539889685182214842551481020831273, 11088763444669093715228033792137548659902024025006194478939762937090406463072477278891033993904911904317023424, -1459081066932427987836507704553179712396626145344756483852752507098721533120887476194522734509812488617456, 1219428081706782207631976155364916621957280227683583601858491568856831996889403600793533324196431114176], [3974566106370676632627645923153856593863225578120487704873144258977214617185516307549543668080715958381563091873654330673658956164462, 2634460055100079785861325984024139675724835898199060874591187623524011998162291693636417359993852829627961467541135991900, -871617440451898511325643550514707353585438081096605639019422502399769044274719813301977459652751557316076658014980, 7448878859880344445496662764119825793813625082966258314907176069620604877579089468312655888630125536287799160, 582985085894030147264538964014839421921550341508990854030342022178001645945210978153429221698434119552415, 1155136002843934228072116348720837854641889584440235776172642378293151816830785848630624230277743951360], [1073477459935600392745068544407626425296146930605019719367493439488382828156912308795348227170193582014387800345635610367118439350660, -6693019281999465023015686367025112932922200623370844509749637236745930163824127924588945528129320913864519933228837155242, 708287028147356537457602361828622531123067370778576522146571886851842572702460440319470479890650991378781895311101, -1621688959146160189195737419904586418040415729886992077170432535701777749794521369163102800115924420214564640, -2179856739763786756160134937136974073718764097533409794824664374682629436849678012865119483401259386439960, -65556111045943297127615384299677324494631224991582864777543790311981771473350901807945143731716622240], [2705021362515836098727853380499389069037950207481881508380650408208789932738207771391629518700212209537958656616420332210585471001552, 2634596136585956270884875314788103819609524018810566049323719852524812383755323305388784684807478352006679349048322613720, -265066474969632276700052429175176511417529136106832745767490425415146066160623448024444033618427398096452924766268, 531884584026690277818037466411927254685223848510270153097209654898717683705176364421818515990417275936519456, 432970393146387683628526783991003130852197043117446665982391193746981823439550604849407816411229248603864, -1348442143456364710153081666410890677925010595480408312833355461091339415668987177306936127272263579744], [-604254884526294519148123900037448394087115896074058783116322529533141791726035742086192183773355830265858446790391679266723341263650, -4335084276525139003866632885007587209400143739978474104263597186611487161658547546947631475607697844509984413032214152676, -705599743392852001840587604976814449519124494249217374906954232323882455479308045650516183047035629542283672764996, -3791455740039934022429415981362576378273896351601966797266256234686885522408800543521375684824584594828575240, 847343842102550279269147683515447919686409234677973075214855022008416788598922795400486350541029373132815, -1149114913182771015687827829637976243090172196589691062073270046083709782268822887353428832777412599040], [-10805318796865872128019118756850804117663265593314275474689981885119596037712239422072849617948020626222714825264210041399475310091668, -3100589104743197308945970302902382377322713144627762676662053754753347592411959911935924469731474794327539694572124218190, 1271133993800027592259901203528142146178708429134124598928281379428606753354758021858700482334271308019665465977391, -7621361753805385914494989983345485635758996452546213860849915063949717577729278330900457158714585139590123072, -267268090563701171046106440650422667411634422464822730280003348606324108537875036657746035788628412446768, -1311490668301087225370345619505540585526721241368609927738450344092078583790704420184845756694899441472], [-3035329155739750127552934551391372026254578503614161507792794030281350945252599975150394954806983444688734077160477960775749019726470, 15376124333089478864389419556180583250380402452751780543227779790723439334413497460872125769970186568167734072129761877776, 1098378487036646138499624867217483497805989941497787951994693384897899614548066271450279188213193230421757608865040, 26273978631200461502836773697530577001237305926222368690830856106406809164420306190045563355363136679188866720, -3289003145548439016612862466815221460815864859917907339523855099185788746921485253479623559712734650997020, -1475590895722704907514830757960577805516533140497595453857696497792105806020946743364558496014322334080], [-13981430132057062438442273947491282763895249542886083283827499261448438691023330301623515995125025139032199990648778315677627870501178, 3020648008981112127772016496694312766660122210909969989246164956168043685730556831825814047762439982603128560122711302620, 2494348660385536894198254561879376643983899432658727574555110181073123387238426640062281766436621150686769517509372, -22771208870531967498110541786249733306209484618568053036071717096834268650732440717810547831132109290511228424, -2770524735506093845102838097195030761283537440674156058736771292806207487607473814684232218312131459692481, 444785443690843868862095918167748814460023674300107606578521852213938107867435933263489087607163445376], [13292167243143398828643995020876894566555422369372120571908471689949383470262408616859205256437418526983469477808168174117023329535920, 16543332463786998076717688784161681824367426919802065791502276675110128184701225544433153017066821805568423837792067277416, 681361533166379994718521557910312627016872539899266649960829468173208361818066576038642286776028046245241915115164, 5558150032856314676384914514289955521555351657070460243881193683092963815115710128863700065577163547613275616, -5987410945122761215766902949182131110187957997280323879646799065457453813594215654435061860067052223901336, 391199320623872136873747906647678733134044669446046378002842033174947982800130443349110371841857580896], [3649971603786247089128721860192855180984458856126292081947235199923325715215568490375892572281421705975588691337637594125412649028030, 199211549299124915290816838619624916351906602391238781784402177758222200610856254420546180381605757258009442246721477404, -1179416208696674310213170836180254829337230236767198694649975736671714341583818722908234127597143481669187392432964, -5097092021817166224715728180425480948247007927504123295615819811252740169137605870426114556470201304169831944, -3679763331587905815055487152719800217888323566114455861215501206714780947100998819278360909964755139304113, 419763821714250322385198750821994873567409191525360175354796273662122681421189395246427023297952622848], [-10242592710797953186414018418220845536208385594506304470407275017137701935049590139156353299536993367162862926762487828864559316512150, 23432502836723647519623802036181359103543113499216366415595181395888532174320909312850499784090203437668825632197682891048, -314000858813579951339817362617614560957047291296962645100820352209767213388479520553607167305625240097741580729944, -14376156209449367256674753717138161805504028557959092533196122692877300885994298782724299176066077424360474096, -712216072885806689153295220842658038730841497308054261170923924497607723388346039789978198417823893264934, -466759549301830593736045727872224177116937911210299817239048187482120972809878905382938272000688397376], [14042818423324720711765181220150999401616600814879850380074141439793796255170335962387799478526880172100215182023823166539025844170400, 12263412677641325909405359696995986977215142668572633962845798706422629629608474473073006801497802875757310198541356364720, 770565983300005697623689332963798840411170205213210885888248826405299073953098408566819461345005207382668206399688, 19474299011057928465658949786189680371655827352437044963374894679904830389074417354449989777331604160994811584, 3528046719292010267552890627095543624534297894935672206143480957475312163237528039734305140562172612815376, 51696436707318414945339115571348764261111818855338088455656775877601781494872056547815649341460141504], [9298040771173501860868479534814319710351499355706009136905342247548299552908563641740521696945267728270744929863964834093508003245892, -4730825786138220741996326940356058881379315786523396703327975588342782268140797201426421218184289801681528892962205703530, 3750875595533703652919548563709770330413839120312139820434225208133134960288281591050335482275651739036603010535437, 36390062949979544769385339927012158103338161631645782355853799254114327570467595498290852986204269110600380096, 837312469066706202132002381008209744878565143993588355052257075488154729310474578417684239155146009691024, -1961990268607247565144132120633778176220037264513358880039034550692768925264507970754970762691010915904], [-25137781320896469794839246257395744863931546671974373050783025667990939253500169151163458192672465279387413348749818824227535140550510, -6835005634407055749550550129477889305575811647714645760500007873806254987541668700902190318660191279757498560157071505240, -4832819114017678319022229861213260110305675530908292917759959201744053953749273897645227464260937946433490771978712, 2311396122885883945137733604164368058585782408407812984544494647170738569048165523032930994268275516851484688, 1565291432037482602229037065491291918902926054320759184271432110687811125457250013758271733495188398233402, 628735071861540231620737819783751463447569956147111113928743102535483151179389245545268517812774670528], [17006775545318590019925493081710076062510848513383558766321138401695276623440135726040330850120641828789016278763883562717159868480840, -34985565093922709831011295928422632012180213832317133068741480251520801410141536456717727967276456293990587884763682312836, -1647661386117329658599871298700905703746836031271285905303451866688136736726952593477236594052546854836918407091622, 42176708164694880782268717747867332010522888620963089053199844553590877644398140871321211158659106289369289616, -86247706166462452520205114645084859339757397231277410485344171693203623482715667964791278641391725514836, -1213532440398750179061286647106493723592469975327686861972646354286907872545496230160985548367128077104], [-9890692604763092938333484934809617626203655897489404501158173428431637135204672014131592447264072013332481746351308955695901655890930, -32642309832929192100297065390006838380658642609615927787979655685083412788308238160423522985894513543319363900758742091508, 279151246662298289924668603755484940213346603146915692711068023781638271649613009506428985060892397242681563355052, 46378270825585026825551165914772884543148947753167945351741916811593619058699596779068780052280539055871481432, -2209671454503381332838846542939177904777080485271726714042002116776339750916304071333914968429520374915797, 4068816070217723246808266777328912752386994468535445678566518932509194500257445701676897070193298296192], [-21608077964649767370033825220357006421705103917724689603179778818405318216030479654693527803828567903001547602101669724099383438141638, -36536037212251037139980422705431779982532319606173284427418199387357407866070275695224098218548687923343867454560465046200, -2772493957972799018931669455554920933300124121734031775401662125763243297443263764348352087639918452884295272131640, 40647330994320874092630077601350706438796011319859029207163194758637404621721891931226959040535137572729452880, -4657283455851776709728804951594043347070400280442986926900532261162490470534872576037199446494406894936030, 5779748459500383616589165452600160292460041261854227031305884291459139352547618585802630298685200614080], [-21838311270947436727405371809588262048486579325299706554878150437186980772992005424492666587244857679505325014632752269452252637034640, 44545569124994689581146680812726059912638487030828693137939949266452122772101328109534667501549248018337820240256928340168, -1783480068982330824884384314168865450735862573269492031402671643619432201871706386534292423126278392889227459225332, -63251226154405301419004416350882987829600036268279495859647031087349848286709495668667377055932450283414400224, 12751225139698292495254217991347215313326613112061525118120754212713861364649590008349859826646414764287704, 2662360118977553855941221515142089920207239019069211695318946589391779837696572697623508052164371876256], [10568984655270754921434219202731309350437456580985546532372588688332920072283314563805402589628481226945013864990028650952310203126420, -6681361466349543422053687703341430450973229194470742534577191860798057189527283669025349677665735853184975032133776188594, 2114554264079365971575605681679865580875983267239732454908038020662804687574633849353077044967285139488298008595857, -45488299030462469331019620230908065825980703898253329454717873880849312561794698728700990809887825242852978752, -5888936582890705197091946458892597346059288347821532879138478116997008010846909343894733609203819270822576, 4109489759985547311031736436505898968410086394824737155758616381078989687099698797943012827952098799296], [-17679122009907358501508058106346429269512394440820803294588613725677074457957417139698358889549504451038913494020680087369950299542260, -8629787950914850954756720549030285361680093387367297600758293046861918732432621172619121453243762653361489492520926970910, 1868959307391061508648117204681894014430557958058524572519566366218793240461099101593026622357337088683761783563895, 32818134920389650819225487570568572346847828938185710660659044882246727964500029333585299431928495955730329344, -11161088181149588001881961395311702447094701217791281145325823270558368227861604372083667511390952916524224, -7696505175739045194454426020267508672517734428750463076748755794680757759781918040167054446384588129536], [-23253127725589053543950869735175253054598860451436067566411707304837647466562764917417846145269145313586012742159470560822553779169510, 8583229521632784013973452289939731713507832562137252609460251521210807221013251853840340998996252260222846108120499720424, -17611646817274213303156132721312664974170586328841261423890214068591666571795789739159003707005171121132566577323672, -116970578442324158842668799172325427080038673036395767336015096845258975982029897911837831435033952837873191024, 2819169596098111230977491790458800596707110682640599976392608609472701274556400425133867062840510590401354, 687038699897622518950949068079426576123143772603338958249350450748140767102804939582641833069175749056], [-62056463876971305699434575893096668071103251604680516640886977110752910047489865396964126735713242362407079550081319920886510970710170, -73376716038735371903122145855967269566653392620386252848457969959840134024438922030075785552513601471792128567376827080164, 2466917843494805804805479895871496158539845389512748848248979062888762792297233049364674501752309296884778292444476, -68867051396313803157785922065887047941147357317024953192691703636948152708776316278117853085794134418240251272, -24163071724992925982095005542371096704288372410045472666483806208589362231585027981321388135753262466891313, -5666368484388781043790043077790864507582457413221394042456819943689434750567560128340328051260897039232], [17569829091588866957054187502144862592790273141087656702989417509957211642263243879089346604028952887929690345903416705877026182661880, -46106372230751067137553443466781877690453331087498486117214462593941296397032495152969893561265364102361967002227611081180, 5922775511726502556313096800301313160301494695274720926571842787984559948332769931405068242092843792839385774357558, -108973560087935547810599758083128893411026423801183996321449239753507795215508600590275172131069290941024097488, 22237281067207616859070930866450027732024070525422206986633448707537707418539293128940662211316264571134948, -8490176891616797415645979707086868652201843123095905382956768051255136561941975713575924708764668320528], [-37566441684878539710620210493074052030556290366381405744430801454487448975071359849470517074883736615973011857608014848819092497156118, -31078533642845750186392559255090912471042245904928034902090563589965727400651856045396363154608414296571401695913002522480, -12261376370192805939635435737124542634655287786716473344720458569901147008681234086273862082527601724218017741537648, 63080260747891913158852589122312529201954076879312289071974477737856343999105021106517120091059824691582848416, 17784130744997017816609695349211371915332432233734855658025349181570313938303209326816398927911143243329604, 10774938431972102921149327181911322779883844610024695374560726206086348023673075309119070448871461042816], [-54268745469540900110906885391097085752314320373839858696793406937112137304571674085188727071990800800411538556731251156103735203410228, 226070144131250534833413961990571875265933662434321632744531238756397362098824847982012381678190769403426952872057178670050, -12349775515364414596327840801033689696596781589460847963050561235358403435193648773875774845841037170723801379367225, -144908840271827868879481715374422834578122812590771619794638197476927698515031604923878603548350565384337720800, 35165697099480615866527422272874941590094463662094068448267050822243590637617654914554703991335520098387800, 22324155921645489928913724061258723940170788754904825090558285721707869014691677750610715364894994020000], [-359090412187088804448741680757371834816066901411750987338732975300003590199341854842706595690358666530576061584954402931779279670037820, 104489061558159358185556492088097636638408808267575848537766961421190344476827910397644629281637532865271949893097767147574, 9561780868790210613666297667162643707584519262819479096497450750497123273212839390889261666524486770916635589601549, 65934817392121546516856661904543344727045115897280084664439825114524001878225664474166144880358595636199657440, -17729948827126328739889044435793102311086914011730494835591599155131319201499102391996689305178443946506712, 1845600899883819475866818319322361791674304469375899050446461639347501357910345769602642079073959283552], [205934476152204952479756773364646281181726800757275077728140223282332982569468932523946482333589521011600740547486654573327803165578000, -90675639918852188552435618868029589094709604771098381012408878806394238497126857974810602281500084375967790960229032033672, -11865375523124686625499942116122493233196070281271331978680914521546834092841241359979387943080229770603285866510956, -72815358901889210568761882160338246791780890565362178364453885688564296580465868494016756671664707876551414432, 30025472510665568182911603693634592831672506655158139439794000021449962852230525935616943361155554875304072, 19565767430523098808341271896590620843737532250246220833076183470606002238071780433149316650444160682208], [140799911180162985653833997438810667084927288156741562219663902571974051052158063258863930585870546473426762760202046403177235334571550, -16642713319301733466357633132988758901869948363576413023904772862474821764826410050663443494079260171191999444772033971060, 10567881855842175345143176296162733304856435645271772830932575295850355627274642055966751228068988010712280450563116, 149185551057081240714347092855198619173112105833947156684045489545801200098983289272981196503855629897694924888, -13249162912742527295179541377640210418371655320113496139704143606695432642951149232229070761202917858443893, -20165358163314818543112537329833133888202084864275888573213557083139628179000735690985545446468221503872], [106783087535866515446548402035570610120385087954750379814759824219287208383590236348297697706831900991133892712558873067402621544727752, 173136621307906169634869760277993387953592666485181837772130337098704857866876051401170731263897264573839575304805496575740, 1644269447467295724539162242378703133378768672469458983744872733725252842153570399660232503515314142090045821683834, -212134199704058101324062348961936679605810832588107775061112368411193251280839914878062039908772579154785630128, -28673111260756702273578053225490325843324535449998047330642533869617269143852280606183809182880550067678532, -15530241509553763361866012945717160538673345911787800784588561803056591110560518114589554438252613122928], [246532014421207564562844203429075175277796744541912763006242205657149051502016275840618723412050719108998549193094441002739381537644950, 21759800301885635341266918793275928977861364038891656543158567723540252724181418343478615769650155978653595025067026342444, -12215801536169801639245369014290980628794418731463284842307265082220478411300072036363623831454099064813342054353844, 147435912338418944350592410338634722154005087191714704371905819306611350527819072765860554161691495988985083416, 59992664256360492003508433391495726001927755126471591779511410873422303323125753991923257707679688358497139, -11045614759201558245973367057550586384786438819631903664316222495550945857169212260045930797914453883904], [-236010373039592520842071812524987136748674431518215889485832357278135867202366598652436444246353819231915758700527189722933155450419940, -217173411048993428047740433376217103245002814289267076563743151411932331558916868705053334393988189425415857230561612667142, -3922002336088629951890623619579686686298720969070540644837864411379697109781769538217478462181536519230065311033813, 796441245908770217033895689827110521333143005416174497726977076172360767600986509167933095864442001678383511232, 12884346800532784512400996268519174777699444788021781307272643041439273812174685135748169703410812786383504, 44783005725065141127820190090007067286685138130849080038103755887047674454615393212411154983695004500416], [205147386539993588179114881817750907085952915925902795628663803072946366455213701886793615694939572045667426789840529799921160200697312, -222706099999768235668781748226974477806811911814988531969734831246695052163770186454303154901160726444859138764464664227120, -6920962271260179620972336179417470671770726775896028910387146149428093368184682405851935474804055048250753307106792, 589836362022507390234060899788355011981307446818433516785635062430827927282008300254243715256897935210504296064, -77823849340334073718239424537763615443052934450899029766247085759988355230905886497201430082376938752877984, -50278980101671028815543754720608794303506257676483557121752574308110453111958181123702489879442709105536], [281357302507787646742615516305020866933866268867420190042714593137610806836786121770193674407629942209178730808863991374116851709486050, 366153498629079758431767336261092994617408212369129683919217130848199594635607701252953458232881329401678081060348723394688, -6908299581067084888501151060290707613830502748521104207516169106102339678677814314155794634267990161733732926693760, 280515183881483862216947706085701641338901815087171835710032192249657371800690585845289769170280441984574656256, -179349082676566664568072345242170704938317033439595986822336536104790935703141915351158637470975227841617376, 4492775794279033708420388458287252522334551050565535609278553029231583433785857315113633578187217179136], [-150767604322621810569342491879088177152272352019138717336478207128053611634274032457576374626044857664451551377414794297841159420048430, -896170906574545774186031028945103058501516007441333674392853524570268359920885878708012692053509457881443894394673193660824, -18204289139621029716607638413282422211553997956966321819216908273649489381953184249649339941756223804275871868215320, 568321633772184907272381747133124332599491686171203356222285266828075703233346827919427843118220687431583143312, -151759911978350143682868832006791590362895704469173536431471655461937008625996677950451951389324663123497430, 4650850207608150375145742051052186166148284587265609219188957897249578452033061960286581059235053490880], [217644205004189764626926728264548553845047998514714167721359735433990949663723888883840335145870797010643877931413628511817039879287690, 925915085886585459568672226017002334351710680826186877915743475174433125557721566194126895539443985807315513494420788838480, 32554112424753710354715807809768159155459600825434864847051010677964685298727408890344403178307370349875616605471824, 393774534112428607206459673990983063506037257624439444558144726635136785043597312766623719366118587012057556256, 64450339235155137369765330631672595126011511151894373981222369045798036954161535678562017934663201527993524, 27241413789967679917673696782920833395603981375473695988356671346512639388482211298263680644360907345536], [-14169908947342871252479143220569154101089568432893156204932119775884323300034768053918737981978475251490472175427979214066005747202218, -468543709354349472459095752122526740502705513036402701108327775303105363593179384189621009718642430423333498178177184557780, -110407741846581744246792108321229165364146649214764880558851926143882129254871094008920423635724087829349617145264308, 436040839165128640965284579115936305288958295984318100237441069523373532423742736311886532143549308407617754136, 73761987019413086998187371222027988744230975880138507014858321795736212568147587866926194216403992053124659, -41969620719057554571369315911104711391287417288716873493465715295062266657637994815984002889684916593664], [-742458457746585315851465216509146978710127747375240709652731677469935663454113305150469165200094641905348074020919897884627620540900230, -118986335745363046147469889946947398108350694104889668270638786717025142471487383737908095321390674045751634818739230110384, 34067155195114477161296465541030576294422267205363845502998651359048964760165954814258788398581070985934017770944848, 770849737174848317002982901997665946027637791527001631355600725663242726239650276418597130380175734217240420128, 269806826039700497395871117527709074193362454951283665473767811799668856097869531802763791298218826926196212, 31477319844924541622535645528656786624803086981297030314452990199339719397961855240893400425101921123968], [1347361284275655385848938147038782417984746544497006715874696063618967289848296758138742865157103388621284287841700058586541623968262760, 286131269543907782941824912462035745126424523711143258483454804748474884990327270380484637370450949146204124611433663618988, -36931929872727348035452650626673036842678812945581119808188929132710037825803538154265434136162067935376166061399678, 980469304904481013456016341639530287872873831490935505775982858261338169266493318913635612643170163860602253968, 91134733683281052577495678248207889461192872188808062547214832481895190885241099059163758697087752036260972, 46549970761778405692327593973657010501748665271780923698879611326686600607064132387965589803268419859408], [773118763024730585053958896513919972267337491575260199982319461991156816016627468978095698787975970145642848733841984402207421103724450, 868337235662990178909408220143270591515364850728344047714727139475679183692134544150869480513006284295909877593874395339904, 131226718475717434294586009347175493716887698979255327804354791571444180835442805188675377939328644096726390632141440, -1306166167664892921975104922943738459539934455807669641348261275894778921366175164522031098274182641733700704512, -215643618834803480650814717134434110287501792682782702357137508456516094212328278736583918510338985248769248, -6058487946796020081067837895732740749181761817439389853987009603074829847298265497211574306409625206272], [-816964192996291509007821727950872238830647880622460592844084508476175577092627866487864807362849164345824263758625194789312415343801780, -662098709871553334124008271560126965195232210979343100060915061756951237542570686037658012509262480358567963036657559429054, 121597960556658058843378043544629349679978710125100336253956291337251354631777122871838509743193740129049832680746759, -618878632349231548538438116725650759462635854989107344168451905629921123515705576256759851029014598534300346496, -39175257281322554150963692790170051918929341725564649459733169376383893368956656879563102906747487204216672, -155871744901907548529641321792129010118087146411255596707819589136854231619997885894890962388267271170688], [2263184190500441426814116710338519164649079703475853484740275042461569106814326641971198469662158820850211767447399532652475734988547160, 913554223687810598871543102612819729399964984707096789390866764917669468561481928113050026347820129941399388514743529801972, 59465194680640111718013093157655938187153018069773493564047208633319668671825938433823049420057879848119735631900142, 648551109317845459882754566570548851332361703365626678066444238688260214582144990649077086407895432711181588976, 7702976580871044395634884452371172694042180717107030275433651048811014637840549660909164087379201142454004, -89679431168840984906336419496199015505797755467546591636384014967048258842080696584388193853512122846544], [516536248469365464648131131817014165017067625957253377712580759596798839806179019901320555340250892062865846228115413706595823728562832, -30263041706342792220695795137384220374918791113990418271619712942841921532487468607793577284843267735627240719259113171400, 43317564822440837363491277032325854521783010076334282692526871315044955165814112539051563150946383985248183498388340, -708166645371131184933369118974197175916064656752905324984156033131501898925455006490282838993391380857797653280, 426963237139455172127172593330053407964960701891379296440259489256806109046776705089258793878055227583888680, 41371579437540569056947502233791411492266345053434991516665650048241854033428558877069298669097830413920], [-1718540317012515162293910443920045558396021136778056916758185211535015313481987293557129214812709038619154899401688553924265668275215970, 813557193642736533566698519514657436781203919591106159293577708565961099298522524074634256575698190254796504833660901114156, 34460385899170587899535631043373930115889455869859317461363515700147584637615510573869466785971280462126007656977612, -1874699943938478578907922110612845377969288780970926164409616148768673240261156405568624200011349622309096198504, -221902893484712570630043056954069895473201977322964249686331085786926113567100614036082697441819125643555341, -195082219324058330995777876288438089054165252331496505353403845868863606161895913923575639439290835716224], [-1291938113164234169103963038708640305898457558326104151215797200693053651861527203873927129624177813906558437291398654211284151334607180, 570602780155951238976518272360240796322885423620477240361327556840024731545184349263468662917905785299362310230401500497726, -204531449290797650798239053503468371803094212410645969489408112999143624885896748620008188401909367065365046084981191, 1280803199442668938862182070633960935062754991909370704150582958504298194167211356332345401823424783079676215936, -23294778566448591632355252012960446020699906406429145191991808390237250951611411993571726600955354756058656, 139223243008179074697057871099873660278681564266158030091404822245012680952028386322420478723288297817216], [932976005285061010694914108033458534321826055459608838048826607324974460382844015499397207946985417494881822043945805162689484864398720, 515456908780511633829411054606528953939292784532974128182068430043669144759680206923322262829761651453695850040660629273792, 40763199838504501564843977813540303587852106995573121929529474078620065162602697659928232336707600455975287819135328, 240342055363730999534335651434662211417066839452598837465654039362826008776948038384709715006832902203319728000, 172442015725755976009326839445127474106779109164282005998355698415415679857504712722417754417701335046346400, 34565386339379157292507832136896609865900441185443942670338524436462347683973533698444418821305466070400], [-906464964460578213309544829348640525696757627128305097444192004595272013478958201474476326011936851887812377211143501663416128791775870, -872913229748494499642927936538729419112805039710765017139457669965733937254463606221121290055029184919492420926563512590816, -156391501540126740433537583486752237611064203194448465505910452864581745212757221664726355095005090884255602739964384, 1474387519669041020273359358440248598875170772189518921179447214724371756139700889123445040412895937408062427456, -34710200092218075334204641042668757309658743324186939055176332664320870243473289338508620705058428492905528, 1076602634213355430584555323181504881815306446491007915249878353754228763296954859113716539176197241088], [413949414237002280089063273775594089185480380575246730742471571599506157323802014665841983659591948882363871963712109400803805290529550, 2857831542933170818680124203982535472573793390760479777344425817945906457162705417441168428134680452629010569169725405492908, -90867691967322497685527941945752396362720863566180014938160043209943293446254708741148181296206990964741898646201012, 217256576863823975502914379307145091661606459433198781890978419498125459856350595927479728334547935187795532440, -413903579802535191205764584712639965719071360406533307359921618007401319103952079150901245559669507080222765, 158323037658879384824826015238754199335189705295143705202806932630414133354345669460873218974520342682240], [-511692718706969393027491280306968822880264442009669676328607768222519410895920734495836422728295455850550103752910128209472410805332700, -1585232991610418813729155439981532366126495512496369432412952976949863125245952213017353182700575768403613424172343868438010, -148826828140568962539818564619215264091584405557374361206693259843048073573931960568277551275808195957612944967995003, -1586912263403972782155367626680708372915800840903314926045138303917134196971684490079922821997496250506992578784, 5685477426338266870278658370854090482641947494419509025962024229090932717489970194669961134461764088088344, 110769677572561494457025914845296873123636267529569915030238702502955840751173004763425698180697730486176], [-1581159592438471415543863863023700944181281761919913643888874766119305521917452017262511929954183376798929497113731449968668070498707300, 1048057513081223452979193242517352366080442511168320966618470943391321596737705757909531382316198657273274531346685490483834, -4326506013335056325244450575531147258904647805971411301233716736796993922107652216044661657056654683511451051968693, 1320365885689296328222740168377336055007299110544214955023038553557342783951053782001768043568535162349606500224, -217143959283015633361510777397210700811602718927769597375510048733101734329243976786744570165575344127249504, 326545183016460318321673133959062704526395402142503668671114409455324761904855083553881939000561753410944], [2415737626437877749308212694436864885484762678267899562562173614440071272916584704744116894657229705906301284083871943937179219869783592, 2259397284610227759063087942635488844355169300071224059704317602881582633190040659604396663118630994361948809724791283588620, -298027321576082098184429021011442834161944080489020103402769361603772035156974754522729917536416443442182667683414798, -3149266509896997430918265241914658655471533294885861980037607030916176661609067385452074316560898064909763124784, 225473175090653689190694084186523542634699997022885788079223456762787594152647676556759184120738940931539804, 222408749650022031690582376918616250104407394798423605444709138705695439606954322915816078964477152819216], [1397740324648304623283423468766194802069303862024167907593289575519005341061648108379119572520322597902289965088965060054001708143437610, 1976999307790440770028988013212816339426354500926675627932718739073515768635574435606150247559862427666055784378299606231632, -169847140368791129223990430491047098615332930681589377624789623230747255929533308452976930746673362901112145110053296, 1942114716654066298865296079485682668762091515942329159897295054908090848145164762773987046730374858066460043552, -14724460947479795205930354333369984233938684682181552704785100555427663533867935861457569826933647267826892, -43047062149334242578296736662450362828743694109746169827514270506517487392281181623389541862514993660288], [3340421557573969157895493073058454704559390014436349479310750890245942568562749546238562699372453651054715666277121415186301682290726240, -3471363734354529520050665226243584343426445472491597849956326145676625921310820952788921412089921142602389234979413481009968, 57244258172349043263047690463264706493882875516569105603950168193617005021325029956569816915393606021843899219050936, -58405248184294299912636646352682203409171867233955032715624396723845469961859634061403270520156695183526788928, 218200245328369130734999782430235426317219204249755353179699547503753045364831993261784599803604695366146192, 250891737792685159117324782981387357361987507404913486716243630384029119677407824752013783340788115064768], [1742539850009161228219809790953067086929334098099621605283538990851567784280093259463059680345519154059411091328861786004660182577552410, 3195496450838165449360520616159530939449791494715678705820154427204088909589578689759570528737660766743539176975755470318288, -60343792960350208854965173519896371924987130923057814555934790998992373931604771928576641518253572088401671266091824, 2157612533415943051664082721118305623939103661538449938402910761524273935740862619653168887290625737542924910624, -40473870233573257815708077118640795464293744936268831114740754135053319954818584655692854105720796133713068, -257150868886025698748405020896753927104061118329770742260535472284630967733876247867274375633523034982272], [-1780720090967290228072543874992557088788947352526026830833288777886411991278673186390656421795031080956618317163901981157800134848504828, -2379496371663955243162150761185948123872455963273658255270956023617190510811691147667011180998787568830947236172458629106570, 237720932361835736826744585588514367109759244348717253019741579604818364156016784181914822109063683550585392562074813, -1462825582317357646802002441389981261331862870527294638669506015849367210501091983769305547650643779264690692096, -1091373092576777918930575179223736288917183636458630276984626311544657110732840368004072746765520738834305024, 380599301403697691331602201020790320942880119977515425948742340540022870357270182392233441566106100834304], [1413713914973394699238002382544096463363849677433819387391161832069797911837569549522648067670424766032506141129890139322862721051085662, -512161173006195309321684050705830144336701158712121630046950640244047865565847264861551134223258271731090296485919426956020, 168744305917491330937808997446273085476213906358006680181651930473308662219406994888682360443212519934185743585130668, 7258669611764109368794537854034030408893484668449453077532269960079243866615030067894825322782267614926713958744, 195968698777223140354921429409547087787800842991100531162536073092517398143979156493817416040759535245360811, 494340914556809678358488335161073198313963747620155424457236920958732929562182537663262342531104678678144], [3613262512788815944054575539094996087059559933667919567967766381486151163708348893339050864015744164152924676052006917040273101473614550, 1317262731238569385494425764435439348117335829182902405304181081159835154145268962020213567207349069916995781225240582036940, 379066979888989629218428431445057329904561241393258699240109078342890898300542342525170390627661451716720205928699884, -1646570419842917545909695496593566463498819693224018180360349564637689051125395302195341662714906653066338965928, 666751277828275347102111424028175309352126044824147449359155618942594389535577358181383681729954697423020443, -110535421174809633021519790554781906518269083258964656819708063146277620953712706003414185186762494377728], [551804998882920340018184914989676416735861440402633881996539359754801752197573090891270422543560834200993389515776509669875824415825730, -1587716527353077966688614062850122715005432127626787990788626579779121626700192679218857808930084555830037873820229154773880, -241899247854654841707386433197567899405942343691578088767461225008943325705591754244602715377995067987400812898190328, -4334388527336323120870103132160897639156890496357654257251553818334595270359145892738217300680453023791750047536, -765892979735492257313546118272752941703307123202009546715480385325015521209557535027257493528698017445402894, -571623347788429842564362974196947721726120744905327528798895637353714560555869945880381582627203100401216], [2896704657255465388111099882351834187080318779268202118986784272503345716502547544161231279197520425193613305502821528233550893428065840, -5495072051663412021412973101928557947244442683660585815897236063172390178531142365414053489726128748939516156722702111109080, -892263270977132279398749530576458514277363222342480748032293393263207037113053724714623858069715145557697933068550724, 7429320043962576833201788942398274411299048381743535650069755734424391637632640006049291726336791849347434097632, 297474959912227606955620578274124532482080664470974228171153500204185323247750583499538259989025129046577128, -741668547526881394230145488364595341182357112228073060887465115914496646283549919408195491046499071656608], [-4024538411873456207130766061750594263707916235476277255320672977906551426599941165429091878893655293401375411690337897519813804508731670, 1461474143181101793641536338095185405666838831338751135338177346191308674227680491959942807996261771717897639294023809483216, 389211633752727850474229649733970781235870728408433251914677988622352399114006022655180796035360388679779567422114768, 666543546671710837495366608809890238769667298636090471430813034310071238456712510045797879569063835232206802464, 224731158761674076782321687580426626569690865389178318886436730061138269654363680553076266342759308423047956, -178531079100174345585171039169432173571952604767955447346874964624810651083410631640857189123338323359616], [-3511621319544527514769550227666609047331848639693871130688891307594749012598167059406654793062918541725070221462751119280776325484953170, 2230748213444587062237697821005423865787886127937129421094257141439193051912721708684000413300472678275379572677536213700444, 988241905471618757327401243311427273544725975417478608205832209432722869652488162923600970575835096936383349269079036, -3103247527231916036435744508554653217307249172860854536221445712694709040679934571652567555507222138786518896264, -1733693553010570994618361792138596731325019422651218778269946403372155885924797182590237682608958566648055713, 277151701945430759601154352900763450529254586709559287219440911592702263645552371011025634377000964930048], [3011969942318245771214280558980844201660595080105228255182680600394300101996985981296977936695071914106659290384642246142500150371863512, -2702548824306028622180337302707900641722992298941535937706553415672618507960219879400348772011698056049937437787916941101900, 735279755879223093794763036492335129981377029955606193167791799970792952852903298576780986105962515910914296149742030, -11885378541886392230979624992699715582440218400763651758704999153602121457023445036244391779938048796796081967760, 186989872987347875711976112394665499689836673437830277854395330294063923465203516812282649167820913709671060, 598665669688807323974179712660607935502285654928639694627624482667858717540875427554086272241671118677040], [1773153032760305564200853948464248993176260696982707101174844870357963476029080896925258162225808700589448212322067506791214960528182310, -7634204217694356205796608154400453074527364405149344640921508496913940918341158588663119931028099662747930965316502203407972, 479989494457941928891843149534159774980542704374219567448720113889794982492569476047339347542005493822946433582195900, 9169773720750239520362876300501005924312780581302631552203017038610224500525962914087299728070645688628278721912, -1777604761167015237931194332606719396849633525263021149554718277308628561979142810269772228505124071173450577, 536977193143878058301249145310899907638561865709498044051621081164039205366336514747876613952923498655872], [-4107981283139307942908345712466234691802329013518684940256377225004969151278972527987537194786844784223208263199977337412643345797161198, -5003590601480503864859155254132358494976737251918376983829464779546934060770480687890658152349000694094533141889795413012120, -1024547071817034346605274034871166551726976499668009737907522388258686141309733082602101428148161538637261401057298712, -12297064499831945134757167357572997359193322094887807322356499870754097973936156126453616248835495316387608797296, -559532129521749798554216929947068886714606961083333039899053575448457046813200661898355043984030258732855574, 401923394736026124544755748155294418553538548820439737578279425333293315609822316787709826024659473690304], [-5927369305310721169479408837717030871354937993991454437526631886069215846895909964004347331774672347248704823510188184463485163444967620, -1087631701090691555786759821462494525030913621211047279317773221171238905098266723520169760773712665411340592696432577339670, -728146760328901609085745495164188026254685723172423442640751315543151396547308937195419365988115247725540251636585133, 23405433068846444048943542644425250555672854048230484402226941065465871876527422677343990725000882035559674963584, -19423689644014407556217279213367841933260091102647387404839542913139782802198192655496559543784213164799264, -1687947917999637802884230574045657071637160700339825918003455890602369196356026112663429016042806474676096], [-474758904220213297010027621465053000054952558576357568287676378179332732185060505433188228042676204758268233578879794491869611536978260, -1195153333136717076850037153085627897611180393228343459340441429852372409790563296715103505731836498489342815082967873400718, 572018756844670106538467327047538899677850415930369721112953462866988229767281984691669632356056664073352450314566815, 554178735916167767452767481495658984081202443226806163871036505406311965678820400913325039990985806156440051424, -1188750259773528027869685418317976230686260042149756750538565372044742079007385301163174319694693239521909400, -261499810761126660416751394129512862862854350561537640237451983377962444264816517196929613526836501264800], [5005668999467361175177465852839384677576419677353822327418200766425285632772365149082803403134884110026691738919249272296061753658915570, 9609257467514558748396304851433757899754760593806849992968903150991421472283642279935344838696423935420281834160268128193056, 29231068578366577611211184916985075257831272244628410716971473812936993421737454457544356951547368413443603475103776, -8693838776482030619077520951472573701785542005048758577817252354725745126096162914562197076916347044276310926528, 2296554139046101092089346772209903336413051460209568588001329900171217113518592355596447397377311306719737288, 429352346992437607696280848463107402916890834358324158384140494373634174755125401556889432693404342591232], [1888145834155714624057202102059003872454935380284548485006232231724121294274224442604122937720863420938785760137879476274214247250729470, 5640872975750053450358643193582717456492086897185303049558114705239104465118887423393701342149324330469905386159875411104332, -1398648274051642399346516334570102916837949116238616516615564874745542401309679999512260379031559251976836236207072276, 10998020060665064736700431674809831091089391930041541849459174823239638216977892613087807918096957535654590506968, -3385828120012647749361928551684199757006751140594319283651043411497316987025386325771631499823434225009669253, 669466714390604182281194824307407524843116359387827894492028991519087376780966937960247987614034342663808], [-7166224966075729155958543711090607040953061025235713752864683223022542259217929843059832574776448228310026651567959961286674425332427500, 3599721109496506040581134390017676751242948279992532034853804771056805586371153282593766945915320945002278890236065765737038, 1498634184015245803020697301590095180708767036046930271070915097697540658714903083352872513789704792909849324831193713, -12416895422168142361575023382802882391134219916971801720558825225245999393002227923623200157053950027424174410880, -1212083472240656500701359286619898847193678561096052040186412180399856874584249674537984554073699367151981920, 1912124039271257500736495028309948920639928437136493087041586684041811297114590383538015696580058203048320], [-8170836282947142646498428996590852890722103983710085800221649496936681678056853481722849383649389489724948833441897196814709006344927348, 2064157147303118503765063350936826537532564569733354771805375734328192045655291434165139090790922193637276845177646054706850, 196085266802067534188547108255463808484547143914905666000107738830984414176802210883988311944069358263989019099420055, 26759035181278747026402831364121963821955038128129540663328356843167838618145987500777721256628915891343825661440, 342655986058952112495473863454560209370584355341872265770159717192603210407299044674915414449555189000543360, -361409743783564333716816553355670001189259219353062091775662441790051722285378796754335068229812387637760], [911382085385602423970146552902528446714499984446527743360589773914502987403612119015592222473443151846977075784266310676860926857405850, 26042589595642354815724075010356299026959027068798089028236899100260711091576153295070737785917275005730743418337956673109224, -485974597573822700846719428717413697430235844338662067297337340435397639351052961714441788140394439076696070428952216, -7373887006870019530548112576186497646964594916262469064423853492090960165582100787554226911795964613490882649200, 2064496376965109074950451882793650879150646727025712476237846535050825806091051312034021713797001581825381450, -476912810587803430504306817767272182237851905172565849440267070729276498001025584703566708430124671003200], [8258786661734953919926714324097096155534395073523429350676089526255965675629742758612167538868946228163236449956021259609214284261472742, 4912063339200531323302831507737087178632300650446018680989710801498964364990463029587524613892341959195748016559009695626460, 982487760570862801354305674900510594531415065694954174464478986850199948803273613149164499694697490386250415187645436, -50500256458091777680879287906161931909339078822203611613284226323156056249786635272472180133336600643721264264712, -2767193790992640944047232904878084490188768010846257390632060794519229900823375549478346480870696697393879553, -1576776752345115051697902131617825959224473619256786461058085167851546980833938559226907006120513312790912], [-1367490299051876988529596200665964601881889790333762633196490801968529392267632028228840246057069253994195605435207997739487528689144640, 12901285673220432162423738323448978687281668909843794719556876417258739011653944356020429333639948419003699430261554668620448, -5795612381271945715579240088897856988374920245413334998854622315926813439955364596705870311709210846984720123511161872, -11521660884379645821721288362326408982197730985195772970782857115806912610744143917203187647599568672819791690880, 7994577538090097208982211161260343115909016589266148296722698581341602667354770893747649664106117320207935136, -3032103804539719072438493014731817308812846375777872913667426566794374331294064398786222047425807705302656], [22250228838114235175075752405120292962378801018311472619189528160448325786953312870970644378372621433068506578139086539598383255935622520, -11326545641837055023067402356062694229467546300146985015554473388020098978379235639418711679901430130335804569210252600312988, 2110047329966574794526302179927644767242489763469484642670545413437404056101819029969326918665495777846360402068999638, -10521066831001047483627934193541781395228154169330646949939772504223705135528756682317452987337128564761209554000, 3510075561306164106580663522213957389046636262390479686003825810876750933053641830420694095603404228452978500, -2020032814969279537918983252460642946246096932036343583072241116430565958900418530920333210808025072122000], [5445013331400793320704091638617310060897550266951918880839992586316074108911611898029346805260709149493863371866274427433372365815698610, 31422758278401670859100184750181760042860328625251549709534789050975941914987908999528292893972811712309537983730843690618088, 1240060665004217838156664769128179744489975272467970405529775408633780580126698654147356242000124468650108035468237416, 57190421672470330158967053889653118393603195677552246398765370634786703329671414684053635682623593370419394812560, -324197009314981841282406872367634546618949390663734908093389418915417353873156292101904636606970974959757110, 369263127366533526764568817554030838187909326748283763005061615500879266386558924111708488358627288109760], [20466071213656283757925958883417628714714327748992357297859070982316472544406799963757392066669737578290307581333257464737769287658015080, 4333337863836482046473431717087996845158135777932740725893869941048344252019697122691456305754419479049895212345598683998700, -238044571452512928144458422247418374074521697785989655904510946086674942410915367012478709955965942540994894486257022, -13249008736508944877160114012130855841179685200997173124389341245879874741513436894204568885599194695433604185648, 9941659641159849837672773265129565756571238183228923334549552955350309127704648257059169192015202966229167708, 8085699447745464662106351763320621533753878847734542110105153881288500685529101090965951926013398436048912], [-46926457063856664694633691395297926876284188604299230643220336195828375569820450743897220182173547249660958423391135775056566404312176330, 5170963524243746344799248337445810825507498609861928545801016382147830400244867167886761196151507512683200422626521633213756, 2206919631579565409572174426215943943349540358177981834276648697839639673465854129315963078391507566370683350939881820, -5412703376382156159096492543128516066628227246354206252711828183316958060035808093521815485492940997422575854408, -10339188624898997531049866936607175502580162307885843106088973678073165509759647153638623463390751710385325225, 3668073440204829165153115639713696558620727090339655729536153463182400666562828443202643121105556170281600], [16757031470957060166806130032066337080844839693647391968871440108339442863102004307760784449801513019006390554702574912831835363029465390, -27320293032225643352765048410018695961719051695488538375234170418128988175454845327009699298993407787257631047157451681036340, 8379712179348783758830928530747328002139152370609324494420742607460413417869422141967181578960133866359248263732453484, -52103680809906802466497365335373665745924040330024943986117286030394678353153576350674429291190468408380815673384, 11319328970590391625628726660309298521703057802977329791977935321581812314626657864493881947497286168216699739, -2449353777040002876966246130575496185576955666604491999864939828884171359588450286734594349365240729483904], [62120671047704030150953507523290252021143346775170891875479164789711907996951675763670650109582142178874327017678462760103434511096238480, -48812745633610609159955081405195804356672364220577429914762555958484294993173480108327601218318097996852601416670670626006344, -2988221411541366482199185954558947288068470814091660215898879101353540068788967400062055363776310616838861746696596940, -23685601776981811267046716720883019102855423708007663550968016927822803352708465110402834454174129729478443748640, 900241132807677632433053958894278834241643156547418297429098650080871533151578888479576238015519009702768040, -7467951418005007177638818412450517384677696120373114329926710416624985565703462966278723103462594237582240], [-52272680646003935004740757261398139183664154523327195462027201518721823353532910987723112540526310866597043872308529412768023911363859020, 67079351906317568823260154790173472908736190427468293776000910275186787925552914807504480161598127372114314692888126401174014, 3907718442202738508963605108641412487899587331943985847322235103103268659452186094016945179500293920952006836982851769, -22352769190284538234503743686627385061316503723985237642271652655519780864609908990152060798442570194129376253120, -13824058237525990896408132230648138476609511324958626170015870081385552684989639210662915538429710499377753872, -9565429941763413606874339199386682188931376441327197795738667566572081607654389898113163487257460995172288], [49755531853164891548020218848013305113567334339357747423891488507456183586095825427694767968038556531760274644061661039504557087941731130, -31425878553223677755968669510040708112844299935413596684484301165444876274353376904709159320969840956515155912456929177283440, -470270251619278961338425459841963447091849639141771699761845307691121332706994424962924607492051971603316757537469296, 155946309884837451327226252519951581385967228077381650979518674116716026998592160413686112197256229933624352920480, -2387005049006701666468199735233882768219286649120107343695380645126049020963493927437011276418753276648475580, 692500397923029423720601820556369421243208319194557757853028499774095526242412213447552701685272724042880], [60596887515772407536124013747387833096247164853796272581708254878232229427270404064905898067048720154044024592559002333819780387605449350, -68259477057680488068542533795993653510904868412552512966837295140170358836323493153391708960896399014865437432704078781141316, -3629220840463520034593963636486108112119758852252649241406409005736493927090129173607128548365463659372232743542055972, 157738922580974624095931236456598457082812055159824470726698388589603913254476801836014037334889246967329808276152, -10783105809157352102849476022138428778320355557288685092221485183710939377511121181885781549027844068549487817, 4128366025362702036553940281458866526313972559501267673256779638388195277093876353463007790905248505738112], [-23517778425021122098810399648107125012427426308239265785262970287585880695848681745608300365858623114916354918029538858250755886996797540, -110720968062474881026008843462425440327611707901088702862530142882517628228888596840407027452012728385663374661030410035772518, -6561012243850402719444670604078386121007643257496571973200574390663690886570674390089643666046534425213202314659427477, 44538505490264201364489727939074595160008769228574177729294428508566277558594362779982890998687915768674631816544, -24102315668034496018799645304951369227346180821475717870137064411782015817404475367182921523242934318592836024, 5458092908248472945406849607169729434281076917144579366110601272777589656918998832657847772323244508516064], [7470258471556259680448690664978933321602724824883270397871992968211749816799295122113372844455345577645881826922056189867231184185141290, 29271575557979435451561101301587194298116681196735028138361727823172906814249127700339413652966771526149677627502451879203272, 9887490930950296527707623368244603563747353013939375179362139806676996128628699192639293901322079589033163072713975880, -96374829271014321274361101468192557560337601981429480042062570659736811034663531977397400990294541103574539219376, 523036636063630720593591818424431476491956408840197639343273386630918882984618339444691939555455098085592130, -6005729369519230986967044257143576634504468479806033123806759473977761089833343911991547244963799784489280], [-93325841968093869970099388424887068914715482347253762550868842903847952028719600470271985610771008913923234047918648267090560828155221868, 7572419854580784271932724124399131071513567119174612126738731690684010765975368046015485148327961346336703003680492725992430, 2232925961225943574311458330244726939082140669420562503142634716329280945547792981462881285860099935017177280611982193, -102128302871367270515816225292324711641753010560099609061683563258864256175434581351088441460391433063498591881056, 26326230981941135315034140452489776657366432087518050200092092269254101696347571179527492968495803480235079736, 3016204549623329608746094205829049799460851120069262887897165544047914465325208150730982902707659889440544], [34051230106275669368105025954102133370870395274599467286076491519669771067172171909900859316560440725793441482528788457972807619953051400, 41683490936473216454155669638687236222603004292183772807603117729818608647454956490720121571187582314267903610604984803797020, 11917404967439923673123978371494182667854233376709143460714762599169457316656688327026122333642054326524440420687460362, -41912240311307542257435945968703539893905020723462780376453238104888237155423026629217189759986074737787371265904, -40353410001565451259396145976727094823635430743118373315977164633745905557570950127021650174641353950368809876, -8289781799875011729656284159161089671827147785609755302697968472026491465521044094428689543715395357907504]];
    aps := ConvertToHeckeField(raw_aps);
    chi := MakeCharacter_1_a_Hecke(Universe(aps));
    return ExtendMultiplicatively(weight, aps, chi);
end function;


// To make the newform (type ModFrm), type "MakeNewformModFrm_1_80_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_1_80_a_a(:prec:=6)
    chi := MakeCharacter_1_a();
    f_vec := qexpCoeffs();
    Kf := Universe(f_vec);
    // SetVerbose("ModularForms", true);
    // SetVerbose("ModularSymbols", true);
    S := CuspidalSubspace(ModularForms(chi, 80));
    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_1_80_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_1_80_a_a( : sign := -1)
    R<x> := PolynomialRing(Rationals());
    chi := MakeCharacter_1_a();
    // SetVerbose("ModularSymbols", true);
    Snew := NewSubspace(CuspidalSubspace(ModularSymbols(chi,80,sign)));
    Vf := Kernel([],Snew);
    return Vf;
end function;