
// Make newform 3.70.a.b in Magma, downloaded from the LMFDB on 19 April 2024.
// To make the character of type GrpDrchElt, type "MakeCharacter_3_a();"
// To make the coeffs of the qexp of the newform in the Hecke field type "qexpCoeffs();"
// To make the newform (type ModFrm), type "MakeNewformModFrm_3_70_a_b();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose lines below.
// The precision argument determines an initial guess on how many Fourier coefficients to use.
// This guess is increased enough to uniquely determine the newform.
// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_3_70_a_b();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose line below.
// The default sign is -1.  You can change this with the optional parameter "sign".
function ConvertToHeckeField(input: pass_field := false, Kf := [])
    if not pass_field then
        poly := [-4081433259823761741733687714132191037604592129279360000, 711105729064303642253694769744270208387385600, 19187418488273751521495823450187335040, -489946547045174855374556256, -8785036246714673132, -3, 1];
        Kf := NumberField(Polynomial([elt : elt in poly]));
        AssignNames(~Kf, ["nu"]);
    end if;
    Rf_num := [[1, 0, 0, 0, 0, 0], [-9, 18, 0, 0, 0, 0], [-948783914631632447703, -27104502078, 324, 0, 0, 0], [-38569662358280835890776749668815770433982419295276334048000, -192774109436882505235791020666290835385297306979200, -169630723465173028211721594061420744807680, 463995524025435957735230750531592, 53463655026814254751251, -90125876775213], [2054497240491824901859748724724492524200853340667726327309856000, -12812523921837199366736290192203052903024777016753865600, -4174347018446025305811891046658812787546154240, 6805898868230016519173348507543890056, 852793370799663688969611843, -844242270277677309], [-234331745408306749031340280645677075551726492674855377324750816000, -594162295978334728640491136206480563520126946584383945600, 476752262057768969522187796599515568922990037760, 253602431219869893160139944541657813256, -89407995202856888571734236557, -22538453183923580109]];
    Rf_basisdens := [1, 1, 1, 293462389262422327081565268475904000, 36682798657802790885195658559488000, 146731194631211163540782634237952000];
    Rf_basisnums := ChangeUniverse([[z : z in elt] : elt in Rf_num], Kf);
    Rfbasis := [Rf_basisnums[i]/Rf_basisdens[i] : i in [1..Degree(Kf)]];
    inp_vec := Vector(Rfbasis)*ChangeRing(Transpose(Matrix([[elt : elt in row] : row in input])),Kf);
    return Eltseq(inp_vec);
end function;


// To make the character of type GrpDrchElt, type "MakeCharacter_3_a();"
function MakeCharacter_3_a()
    N := 3;
    order := 1;
    char_gens := [2];
    v := [1];
    // chi(gens[i]) = zeta^v[i]
    assert UnitGenerators(DirichletGroup(N)) eq char_gens;
    F := CyclotomicField(order);
    chi := DirichletCharacterFromValuesOnUnitGenerators(DirichletGroup(N,F),[F|F.1^e:e in v]);
    return MinimalBaseRingCharacter(chi);
end function;

function MakeCharacter_3_a_Hecke(Kf)
    return MakeCharacter_3_a();
end function;


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


function qexpCoeffs()
    // To make the coeffs of the qexp of the newform in the Hecke field type "qexpCoeffs();"
    weight := 70;
    raw_aps := [[3283493823, -1, 0, 0, 0, 0], [16677181699666569, 0, 0, 0, 0, 0], [104680134358483074009606, 4262517026085, 11, -1, 0, 0], [7985582567222069839254372056, 526765162606293393, -9184931, -66381, -1, 0], [231688403123915667924209381514528204, -6463156844908471813611222, -23595238915834, 182284172574, -1817624, -178688], [22251520269055998394327535238666788222, -3965663514878216199457406306, -57930433476915488, 72155909361642, -1746035729, -109587456], [-45691927563912254139405095227554770694798, -49640357431247903986238537862862, 361852379174422658162, -161380231713275434, 71466188898, 1072826199552], [23071565804840726044966757391405684676957652, 1008318449432119675195692108364930, 17952384721086001853730, -52291956889680239418, 261165360652514, -46550242349568], [36386273295223329834199488403716842947748739768, -752864224027930022664873536009461438, 111693591163663558614709098, 6546882172986078172742, 446544990505940582, 13806440208128000], [64458309717270162638099212728869953943545289416734, -2415898957178451562027626513670772263897, -10122238489385778200262110971, 15675341809655183626959877, 511428904238690170382, -205842316836726799360], [-67800102889759140153560925316705113529445430449104, 21639920472916570451677344478689319220661, -3782980029104996131219282340471, 1031654202948262096213033695, -3180155342437323667897, -77148604373737669632], [-172492090232089440180896127484131145212393408692034154, 27801661561186227292189583665605184023533008, 234646354835275191043755439767546, -102790972342427798736658176000, 10860068019288849242242469, -259180089230066603314176], [-12653711615514495974561684721498952994429508842343595734, -315835189260016896916071917232367438616080634, 18832210391275970725354257376889246, 5320669544303691177972057569170, 463104376830102478685738882, -13605434214539401586011648], [86281511033252728772768763942465693208627198553977762220, -3228905351193520947103417698705238287489526858, 153169764650359002582348296405126446, -1626368468819949630123023466846, -922803151785532060137693918, -3847860351937421955988992], [408867325382640765266772382906395833436404794024188203280, -94099002420314939007484896435545482197548519594, -5613665816505334447841320137096220234, -1267776759890801038789294089620542, 9564908116114169394428689974, 1539904329176295455443685376], [12411852274112591649204647029008775561426816078208162595798, -8025072797158364940869642666504496190144187263413, 206539416301951760236572173541357419137, -62633600822709366835272650285673295, -815473960608357300800808506882, -75735231145437636114364900352], [1902524461501936578674438760796145003055517156271979310256988, 221656565081020176928400792992580140238944169944920, 1431015504059456234624589018563522818736, 570421497957731318496189766134185672, -112271379694929666483981765948, 947106650994885336034456842240], [5539709389886832303412017106894172064600290119078077777861710, 1230128843259740593421524692981741840918475061085284, 17489946301353292921917658625334610511398, 4096650176246433702124291991050001916, -227092325546917066754369850406491, 1810100374767621686646565751808], [304973647099238627616886526314878709233976104469354304583014372, 7032897920310256553947226149956274402695510392660952, 798587863556328289280968294081988012355760, -7398739017885062836266878658380476344, 6126946610304084577094939892849668, -171559031238180132320544847699968], [-2240151842174045177432276606098151567799046654101458854105709208, -37842925042607366500484511283770757082274853386709222, -5838721784218086974118378143473673857328678, -575377865261683400080126066053539315058, 56286160446710633737622363567347274, -1099673620162341416989368922298368], [-1742619572633942043021102029909776806745346930883629986846961302, -99266214125038904751976237721299522124806965929278128, -4204483532833307633071272226259648820801396, -8041970582268314249132982991079503458480, -78884184071962763036686701072533778, 561377836654173087683576413243392], [141617712930081929061342182207535714813704049845894059559454653600, 4158995890593389709936308145804524400122966204287595065, 151670089509137778662523526294797011062066669, -117406865012557861662492993079883524024341, -707231092330526894237802937984074533, 28002497204129833872275167800741888], [-24618381146814292775551350871753966221175647629447730163220788716, 6094273956603829481719539181917169475992408414150029986, -1087981379231394972062371870113925083979456586, -865458300085052671200564110243387646160570, 3666231798752123945070863671062055612, -491705970888738609459541393688457728], [10651201897641088900253331612620331676048095423290026582216491481722, -113233437964659409669917951871845572185884921823640661812, 7175362024105583531179015365041514726748443420, 4144278382125408669251561755804678515463268, 77063206708510923831557889468192464468, 8236248672576865626444866093211376640], [157906129226744625653223449616640006744732180457718591852904099894562, 3446147018035068741286472046820211341649326891105764807932, -28389070578679178861736931102564638882817186220, 149953660642866704951010884927351591695388724, -390465905423810857650669434363190860664, -82256419046197209619193287480575740928], [417545147122233958304148617298982478362236246333840239069715972625734, -14620890703144648718603283027984393622516614767670291499229, -2642036135441446092824744587933746184469471507487, -94838026969464410334135092488077259082218631, -1285862175112519640941062256770960117542, 165762501571266954767387699531941156864], [1694240881333411199076890747245580190012787824550719994575688922431640, -10643009467516820394558980304314333311567532771260320742145, -1707364308588583596636744349590241679828587073165, -155354518290841203328202902768120743768615171, 5835645529113193466473781175181008593713, 438472502508104448554354944776991017984], [3003108871764568513123763046619217123776074014006820386621150969419980, -77149373852243653050640570372894471516967589381353021026788, -9181773280389150504857461387255277506077493660684, -980637762495336822973279098747069598490031212, -17826134647225744607355682737510135053080, 1167135369274703266075423975423381978112], [4223637014638282206701650968040828424141419286754027029424314228229662, 98268167082368259357225880408267773977695194329333445498346, 6830957927607212284370150241162973721050636548300, 3230710971627379963117810528495256199538854990, 90957063999185214796932172895778635934443, -4719178978782642878324299499985651827712], [7000603445016540934419995778961979290194776814188984016902613362624754, 632479917539870015657497922089728034722133627844362064141628, -13707721741005807731611913507354034371399980332620, 7434957803637097631020839955725904345994165748, -406670592494220741951486409555930595600296, -3481043599020683790443989013324825181184], [1160464011973962959058157594107310349375335663982326022952731210859918512, 45733841528869663565641869680762444006599547644995815366652415, 4335374050851945707381933171623943110209196526286699, 1751338035402498644524441887347113063738422402237, 552738373436008995494872970797043716292525, -321814824148921607618072264850520653345792], [-2371132844090567804179608110961649925348764599674635974912780089315120220, 9884766211823055453797617626538401249928410241169314698593840, -13284184668610710712305492442401701086437058058376544, 2549118347131154265524827844924006956672480315920, 8412597230379687561989686199793530911903720, 2794688634927753213797573117589733570662400], [32983217394071447841150700664735091422461630234153963645675112062045961418, -192520880168576478070633966761883598214457734557497696676815534, 12840610660697991181382283388949711170817423390477050, -31140614404523131673688549817413645622806207569290, 126823289955955492509375560099161025300023222, 2914670995141966671357736419142903767588352], [72421350508804609975349431205045460849659473887872034398883462295705311788, 626594622407684966280916334000122571115530199708331057154088480, -22444433976026100020072118267934526154853022499204584, -5581479966148843384788851205334902213412046809824, -140280612418781491174662308516099591425006564, -7429319387467292797364887800253724561448960], [-51121739865450379263539298415980129752453203599005858586520227384085892394, -14932511451923804920397837273410401654589902861956486150785693259, 709532535059052197636101562385314987647664535532552683, 251247837928748340850496776132239935182939496295471, 6643849026037411697907870847888177656806985144, 14361101141012251881591513511629187154853888], [-193563945397587364191436897547633249055022041798848389241511838828857414808, 12360664808464450854650119158143888401936947662073121613517932353, 938380515290649724187361180567232737617085679204661389, 63315107779182777598211380479951566029506224800707, -8209120910386989714359163086052710201158648337, 295926202165223859994550699964842962256833536], [-1634323134605284913023658313023912690762044849728731714928844773156451089682, 59748479359360862518225312709853837845421268666780991602936131104, 3452860725557923973226146031708211673435513154115223818, -408043121055372041357986461016721714489268152499984, 3782492179787241888639960787023390354206644437, -828644653092056687995883402044808699371951104], [-13065282828032271978909181459160458805876230537752829301957666357064337336924, 660352082691573832374002011757985321626373730171479243081051509638, 6231216475052302955136535521501889786042511775070465038, 3488811200823118706701410150533719315186171277699730, -76474799181241347412460417759011483192184047366, 2905935221108467706164730515951159997550057984], [-71863922038887519305916518814406993950770377549087825264659273363363879384, 349673561869081271097664641780596854330449330285073662191198975160, -185593505490147570278009056633630663920356873033167224, 552837046622279725018186467720568478352009646777768, 237160823062467805715279235995820427835972186464, 6257732010551104125026516694402854153443219456], [81857381953973098332602556083177285158195874756057675215792057398765986496654, -1425050544910875120459637188988762572692391074155430740255824387255, -31759866797593388226110833236897236671575983598338973009, 62987451840580991364163180487067914013244434908798699, -476965093895147755533640062601338103265526738556, 16229186271683741037531564306944338023598269440], [-190488887053464041013979170642277802495167653811228358910993873555198500676780, 13048641965893911756977923565714427906391854986151571639332213848840, -545563838691688123110622366215528130701169729201362957488, 72070019427425844766928709149786023479972740271134040, 205107315699627885475025522940500727350468996204, -40005360477319068468090566351663922786634080256], [202625796911590771866318160709329863446077097680145056622977551057261308380166, -488116405609921583746880291240157172347931333662195196790987065550, -166438857085668125823475789285599417117077246407524678108, 25010216256048960762604084589899609028137879360115622, -4126204694191883638271936855064587608046089650565, -10264561046514757098190376287866739446579182592], [-906142490933340824592719518423414117112979382456244933437255844357628357233856, 21195352821651499576020822676230992510532331808456766884792213751368, 4586146069913328257428268303310991085778937372374210666064, -1609892557257552545211436467266655312159861857076699880, -3010831970542016718911398676305118758594289542772, -502791851175674233702246243402257171804947474432], [-4024336660011002158939227950160831889071378684015375768533771732371019294033086, 31521265624963099324158666374690218699981251302165813360213024646992, -3783648273023004657630916156984164371628985664568868709612, -1962395612289155597971603842375676219693447861915270512, 32384001451765933287720287996842549608238437620274, 778002383492685799967676443521151211031944861696], [1502796610982923719289879287937619395832483714770800952868896341201850636747494, 134705775697335105764702113701557915956514685225352605344688664481983, 9788413360253434040548354348465607594862984378798226432469, -1299273911116629609166075944601813267959610802612681331, -11636515509580233091430513809210809113341311448958, 5375890692146858970760861999621163318330447868928], [9008254780917105920814325803567236989269463736984558146924923621608933226122936, 218185853852855674264155459533141394941773716325474557013339280022571, 8090358238512392934818650681046847953337335810306220815775, 2305727077839519781014995263560283672627677063640486401, -108866139851438163540773914997954546508109940830147, -7532602764295691572040862499533751917953409328128], [39411970838077336539971981615384617995244564078066318823455981180695243184316276, 2607460646952482034956887699282495137231318719228520148581133888339784, 67367580097665851527075672892251971466757450971514958560944, 48446576321924310003705340377780830903769884312723722008, 278444213449929655307705015975830602103322133625404, 32021538151373908335400773889150708886790664697856], [-436687711850814673799087120185238395197688022407936709439389575334956889178315568, 17726359277053158370861697504837511046132241978784762910647015181963851, 319533470596233380556847016704139924870077977889169913887527, -161343253689858792150998835779830174115226389176816931679, 693168079748651190717382042991911184283414554273297, -52764040454610012364294450419454990854513112295424], [307195543521128397608576576884393878127143580079480390663834298374853732016128996, 8320573402808368211316770358417584749038728952966133255115570700390438, 767475074936544316836088148564909168072135762495878344051042, -609331746233736266877207178504863101788022623061723556718, -8351423261237295553884923367041469234623287761247372, -616546297649231449365246453167649837475548705601024], [112933309585046679091431148518361435251310322249541505145208500336772813423474998, -59470104343725044154483689290896922658270177808952142689256668048143338, -14723069497474049104783962769037570432134724763982456986152, 1151092056756778830562288814135375893742530021662991853394, 4593057883916269823628340384359849645373987609687015, 884174631582700072099867990745725825665710922126336], [-409104665375542348990363564487813428891799063735361422977737599287829002281545910, -33445590247542101395402878281467621390427290856667513016411548763242004, -3404829908847320340477982972454341572410685477406823528009932, 1884810715062627462890179253821820105240893323206053522052, 38017916169074875703642029900335529015764229566333168, -838997311105731020573436854098875944235758561301504], [2547029898770740328172132657927459859794571721623613947173317265979085240733780912, -56191005528276084926788318264382365140009713540604490207935602533822516, 3136297249064588229326273431855004437457754974889287917938180, -132283206737377899612392677048711260573024562917630078556, -5679836359257240282900123000362743479826676684457400, -1549883346190711354917223736766936880861299334242304], [5303385098070227473519142360327397151481309340917553010601045975333393178464445554, -169487375359447422199896205064265723759762247733527810728016537158961244, -591761902836732178046138664571591259124649973969943032459792, -327477590969267018379041945904550361544762147088555948212, 87181261771770307780058297082498324081110377659876202, -4973249609994531267189577441047765175097887779388416], [-17816699257393895417128132787626236062054633133724758738501687543492633870019713348, -965274204281427615649882183432670132092164154182989841008974208278081718, 53296767564601186489169776084482836679441030801217993542865094, -36610889215684349318032260616394248286906547596016427017090, 210491713329303921459732121090972356617101688505528280, 11317881450247926758201523087511063294204830863480320], [-114018472008492064684731825077384768102220306895888378699368839378646734641711169790, -2341381727643548156354760912511071433368751368350812526472463217205475808, 17691855702818749680270733338041371688737633771434232715463776, 7512493140171615701771965454256191606820285661736070461536, 284763353561889680318688711823537123064982229303012928, -9924518756647466405717140367664318065197718231001088], [-90273574650885290419088798936453979712648521312958656231215480803867617366014776824, 663196629766481135715920781181112065898625595521563032994128600031374576, -57786803489211603221571013088806446416679163704088283531371128, 19650508985856510943340975557039423859625258749975847672976, -362100800937491994677814495253431383383580989907460164, -53544083433497937093887637870220527208791911099279360], [-14246176966448886336830944177701397390764391536592020110126391545746608198866345778, 4655267555655605798273528852418144654200614710564694824479242080795236631, 590092187561461408246210921281983310935295854820391568185215165, -126336739932646604342490602559794446720589099936287962369003, -2109958310694035596772507797366987642064477300174127390, -104250707249456649428582645368603040507485814193057792], [313289399473550809193766124360639320078722420591732758807929179889352170037865512064, 8129807510105856961911533453908499889675819134069464368200998470185495571, -545175328472559451897095990854903127278330325159809225531830305, 181782453152039845781465118052430063675033241623719959738489, 515650866665510839835344396099591138761782934383512977, -112087153226100160197677332410752398795715289337362432], [681989440053344968660363515013945363444508994315725397469457021239465726767807846374, 5310688689197778446241904878157007252195184054567614085745798128274919298, -919751452701485786886400231522260393603609463189079025568838252, -828824008053778856981574193975281650013922907608561510218858, 10412752056890557091619501151369184938966110927243152603, -526028647439907112382777755242851125310906018286173184], [-125701483971122359439192641317067636175420855023152486431365110236296104133692909702, 67975955431342826853264167709766591748571309532632126130086565254441669264, 1549100230877072996432842909087389893694672018142914759015911064, -1367219393334066075543727348491457172154719578624264686728464, -9116436397685558684721309301519524858339853514559085036, 345758106387054314528417626691479682628414522722797568], [2258700191575947933692241270704686680081443575470191107823625284689129463969837881532, 22713822078905261355307298005059484824149201547033211428463765906429315744, -873348580778227089427907928253475935935783411101518118629474016, 917384270976093611813622427064638413894477180038323846762464, 2295995121469045002413198236815326368382556080969113312, 801601917057832900936934866477403081569418602036144128], [-12556684050539044501207616213378979936933287628931869603057285789856303520417182619514, -64807661327296804700524023152609879156330739116679823129117718077547353525, 2412615930137749462962828166829299648639128458540715133732989985, 3350506283125423985132030896884773982994965422931396093893041, -42922374280440749313437184411845797016298579994466247474, 1184363871734870017064261365192226614005642334577955840], [6508170480657244070261641232528224973786236594477396576029112859411454483935070348500, 1125444791372193726185665402990987466199336634823404824881747341888515810360, -70999727455012845925740835725943473173317836081290453320111020432, 19928698759404667019077652553774104173376517480520133679256680, -144090611695851565739082059161147953016054711283241499116, 1612318921584615241758929483976806723509777996974710784], [-6196774339922825966284475389776633017403838798452761386289758636119032405045029211016, -1328718097873325222359017486460979698027794547061645050704580926535159615628, 37574520584833106877369846781649296829229435597560511816985364956, 28502738732058014163077129571047556611376692292767946489578780, -649062281593103116168149961869535868744691774448066293944, 13412825676193986580892084854010840737365549893883652096], [95369824996119490964005587114147250412486516705581109039620831345210725454622286460826, 1285326513491729170239520444543392848409389264045081370410564970887967095168, -9010792048639972540222541248495515172207501669432904917078197452, -31664910795523327840342994190456880630645098384468181371962208, -130666963329080114611829415172535875181043389541767408934, 15920206101677852225232510962843608857483196780285630464], [-34004275955789710402413973642383544494099798075835799807587544713675531500296322201090, -827534684485687670505547040889134253230430596666456052342232191435448234469, -16956500881367207684885193858383485734600876643650728472810168367, -99338787559115431983616887917461451775982078189865588647313887, 1016053259407326776345304200529814285216992501424924213518, -5475454923747536621434379359505639139323955229071790080], [-140328653828464870705554742209651932190607149483178154908053982229113726445445339272788, -5687104499094109156919823813797331576174903131507543654870974986864297522084, -1452303838104494595257521269624729143145001102733856532983608348, 268921909378028594357217233450763665081230114362816930720676308, -4205937966215802310942823047927586553300484326317543037952, 188817785833182756297616385740043289664711924899318727680], [-224664260358927486511050115619120254034935798640288025305067914863057637823310335781486, 27316990035155931117734020747537534952039149522287334264325020612250202946480, -521130223481875197707507316959563015705791901617411910257154285172, -430757472806099417081113107513226839881084006354243378231040144, 7495323529234654447370025090961775136959440458747205734814, -406631644555184848369996737296872626230967454869515261952], [2104786343998158994496745220877864046107052372838010861837678859018674973533641317659292, -2565339417564662655193074529683604404921050570865884017357406595180363542686, -1890844678904352972422659734502135729657820509452979390980911464746, 448138921164138047102491025460300607709632619981081765362183814, 2082200195754644495009810131847200258253896900519577957036, -86547963665294262172609549282096722904742111485579207168], [2182224262237063484534126524498533743413100745042367084800994465199254437219061380376814, 20358520371068981947330386751119721706329415603489620946678713994458042962532, 1138605842798870704193938832433213318955672191909509298131905718134, -1987161054735032426595482391768262468594923175068395194751282052, -25674534242704911149275553173990244142873324808000534554803, -110321383124587790784017779089346176029108267625436179456], [2585594703697474086820451061838552063904714794483004829716016545288430323642040223891362, 75792696502117400864196940066194914490803591617395205891919263112242542061148, -9185351102277797471508888366094956833429217365939791739513869568940, 435018257452587144404585444132354041653809298776292337868067156, 23570853715022243841341351443317874952446814074077571112760, -382784877084714997813904742127070318046666676767143924736], [9820183131641220646687555261622099617899083417236706077804523290215134997015395473843848, 158360447583977320038219907998627877771369372030826280969258102858866941323706, 4328202237494374078871569788894728107174557550595253222303823097914, 2990540415929272241922891067115801684370745765570011123719478382, 117650467055271638353859389587694837799522007657091919797194, -2122108780014946315248918327100787194618271521554319577088], [2002743204428192333883216326004051216271097075981603440361032281137916456346915944529664, -409509637373807191685494843592686366672866602807796980707590357747777804252035, 23992221062800855956783504707431574353271079915188409991375351766929, -9338245005762773991744675706330969965866926384064665193315898825, -162680839080852303969117305087126590520076775894568302756625, -10375850799298354711276835233744093204491060698931288652800], [1917175484947880329164254200849993656307437716644640601329059237598558945222503506105830, -572941489097574619912433276500895761393832177345489494931753061460765245164500, -14049027749964205807199542930492061738030190512556325946213805367586, -14995272456129722296403799331813883959075196948651350919238267948, 150804108034178893016023899506797971455159039432683268797989, 21277189289355350301284339945579515303772404134290207296512], [55004818000437766556141251549603284612520884520262462428940710342124271466276409796640700, -1172468202777262400881582842349171282477116848378379506285504288643661967393486, 50720476141853565039967695047721957056978440116324371393919789974658, -34653065354820259336760260107773996776459175500531190092404961194, 635435234162173237491427742725878478733549742995188428482666, -409732646679081075309325992545425899775784774359885416960], [69461423348188345609623698313166841471969589807485051281502657598525023227539718729693056, 1279731272979003874626000227161244144050197694774356809170292035767571324220256, -94507758398418430013014196543337702233697605149173778417047617391800, -10374965896040516348933433111499835453779698065415528599621469600, 338015789802765746520111150635005144231996491454762574604116, 44804595175738405726898069329082277260206058556522673319936], [48056017080543692927620030532212122264258910978580404126865151349897540000802533875334278, 193926722595042119274724970550283398206705604385708575980199854369178025959621, -164636055491578486939540592804375032192108603220117171153492163712877, 80216209912890631722856102184687610186798677197331286800396025631, -360116323103313825432505203021320282039446520884247034473964, -13246526604442289191427611723320413596248138515361567728640], [126104202288525038853921278139203090131492929385606374296933000686617439162995255912042590, -8107864186418682311223460548902675895648757446779913071653871662418039285611172, 47000206577289108986519641804084516908340417533658160042674344073974, 41266632723151378334784904771333100376213631712518442703572773284, 2244537869588235300423903086080445461788818941412982536846153, 244607632974323929042155053513499160834918925395406671954944], [102933504644746296839073819493581188832637071059215433894596904934525021154884557239317810, 6292662923086085291139815761974805042380134993234590970174972758036907035507142, 583972614009125072548160398474510875692181147620531057175296599258694, 178637500807744097414947546012621228491271699361807058476349950994, 1968262147579804007022635934632634113921162962962859035555382, -63382644876678804501528858611685523216976811899132075013632], [200133639098834869883148381509706956478600179054421900878680961533862225831746516410294458, 27227053808345315504970576626318317479446801846533494344195189276069503667635332, 553943779217339379780997719443699741617846181330228036031016570290796, 316716081405022915475144566396323406083050920888615332365184421452, 2618663392930660798206460714981960486672003807508121769562264, -23929307859770154053909173409599971338183361481030829503488], [461514301509028654976271308302280384399593585822563994512523005972743923145268543260921892, 13437340665395842007192072737163611729471359595671267201905468071371487111476574, -434005142033969711959731266148096941426412443966575121347807730493174, -865748258908530774056342614834050427840311495280725821237855492934, 2309853102817771938389639974917624920643135847502283808656804, 627739004466490266311681989703738001728895408394267247497728], [2080720287018457089520994237818068871047163026828848601591206646233221918083676335814784438, 57963331619449517730544837227088142856319017785161205935635208898262624444647666, -2604933770024314447108394186099933384439564242774576720719726661292044, 426499135383620134183395946416391827085688721176546565590220282726, -2814002166649745560578499098814388602861843925105010038751165, 206990704237523560085267834018174400167196022488656306617344], [524829723934685780157231097566220866127425390818646164775479544657209596200504111267780816, 111146855832784561233759941845275442995210821707668272301059602119692609211106890, 7883739575621464643807852121682583437547240533420835731618917058476410, 3256205456514414141129880832985852441772386980141721567645605787550, 25268055190703707047988543555713249517949605705164474542794034, -655684222845649670428522354024563510475581490293919837812736], [1509373565843762797914153430191690002779797757223269904351147386188902239487125246717897586, -21984244379763008448617370747469230471209998734182755715660518191460429134820952, -3530488936237598464347939505665694002180575364634581538700686407530736, -1979875485926328526599158898614317178496259816030630374606654256584, -51282442629742092303045071601255001072590988061312925730507108, -601280282522046053596728303157314853200520744718100169549824], [3055365758222971499019311189319338521046188251359346551557970755664246355896528976540324200, -412297716872508142567377816520065396253144639986706319085150067330813682402837881, -1979454106703049428610737147226482429044421236587874686485789740349381, 5447733915417960844121531080101165923956280020722916514632285700757, 1641778750793682019317146841612678196771872109961871217341849, 4272230575824928601654979564516815679894520572714523854369792], [-5827524322858464472133749594836308673237938393251052025226390197513900267527811177207839748, -226281369128169329260752315026500088598656326392759001975512188176941932097594222, -8782494382573479672308767832428641142447272094023366045909645990410058, -220200869563334393382835191121144801896478312014244743754894202986, -98672672901675407285796606871894603007056268588757301977702988, -5572984185712189649748327000363546634806311518315370288169472], [-10293996477466353639146424465447507309663585282716238570211070287273796049914153246613231774, -498879684936261922813095932566114700385472758960288233067450395828800114190408662, -9453375928398217500966616720500136951256224847919561637948608207684918, -9434229085019996873873455398594838432878961694627702600028200927042, -104073317716652379711235519057907405063184210881370089723559734, 3477892435858725565640976724514605478772860758942499188407808], [-2153330574599527511593459658697294324444596369764519512629991041446713501837496506011992534, -167281031121978994928404910171647528624142925222353881081147818590564141143896980, 22433206311474666677736964175844920026009068709874683159965603296417476, -5049365300768235255883067406804847869564587774453200980189305582460, 168812256980286657184659269736782951526350134379192964262370296, -17280392699395870624785318686808556151061987161011816966401024], [9131886536946999330581889249751158802720616616239798253493963372754294204947047809440013742, 1541552177454370672563360525300807721552301577670199508940316569160752538186188433, -56993868345259975950969076917182276905737881917615773852274396001642617, 205536787391846239896075554365756396554559690453059252166154274883, 258870299815046605199607666692937410874541131909507902356527572, 29284055953668611306154499247392954849022646820617911447235584], [6949957222901972436243432438872941740968697063168051627773979111844270141870906153222704320, 2091450842718643859420870177793714084558477529253060263224547996412815712276019819, -81735836007294695799708184215304343272376941715017418945597038977225833, 1133174178526015458014781413008571610343513563572618725277532164481, -634329736631578427050577150162083451307176727679751052855204007, 6691839272385696798209758012968189113435951964393213833260032], [72104459328624895448557001484893670425632944179971752814108359898509923797463143967770953300, 349505908788665154316495064738175769977603553526695896231237172261915922758429342, -73396153964488453045936921536383736023093101596684235540588693217887222, 15995688133294907086015123082239450397477375698479549902857210413690, -390767665189091230555364064209290169395181433970173986324716604, 39206629799871947544662570499186197510877113861091431161586176], [-126292478896062141862667986062929528753556433993655366634698459077224012650234696585066830080, 4739969319402728494710810611322919579394826022430086181444328109926980097359799322, -220284433773726655549288740985897483074528285850817082077020723322101758, -70269725477438610424184167478185760569430223658225682338943395989554, 1329949247505496102262225817697163604872254464591911510818923742, -35650982412619555544858443392591086701498262922843694462152704], [-135862299375832777655119748298405419112948516400547584463197023706272504954594138948071376328, -2092198686173455431778703210133685695847101506798462359321018127293303367141688599, 266244944893772541825463134667064015400299446455440511389721009253868901, -66630439296674897484359921378979804649133211447026774546145691820229, -2671246220699746534773951532002255021012872265057479940344948881, -92310819833695192268183355748166347589935891815362489753997312], [-207735272532585982015053819557892911897767145261961281207923667887500242384910736944601171380, 7091805763756942129968207654834064875152453252266360785716550695650602416374520316, 367309860938215473854824126472301115065904847932682768622864961044713916, 105118362816760688392041214989768697067933590719227072341158373877620, -4108650732877250504635203953950399795274163592807793467157592644, 195698838448042612058291090101566823081275475280807850948883456], [-446185425095776584772061938096090361437549219674586643026880512453999351254302591316329584108, -2365404593402840152717012245943258048362429840289519831145129458471796713364516736, -800101170687902757904557185966629831934677115776041310671431578360303712, 281176595192615620473975045108399387956159345948131860948213510383232, 7713106911931815121596414189481522942947992711023903726482961424, -157580192900132195078032932295169162352421487223145368431044608], [356587492523589411429108935399542476338248792178545094144393080025491447578433351630024195992, -11029320884554571529763591012191998049317823688973492349668461680451393416316665070, 357151691101738201956482073479039369741524500204511236844343677929590194, -770507446074629673958482171930087430429594127403034878655938234050442, 3716206058584527399416520380971370735934979101319580960892299762, -74878944247281589550656911274973997105941746005954788206206976], [-848310945661343154770458472240118938958625525743103707841932238860552825606017169621220131522, -12855337317327710689897265374988282494401861208652491984608309194152979926776258109, -807758779108469326181982343951229717767047110795627444682204263107701103, -118233058405432665510723110495060710200343639737582518925902430202407, -2294608740015374953338613718782784312982203267423629019767071614, 1119246408121869539515783873144783342369646503648922443341319168], [-4632512870513017733891445411767160642119704082805410414961494721384323005922709792733522134774, -79588620489751344169298195311158746256974955001195831108225746919236255241673811506, -976294584700993061895976467276541259899132596498374774555098536572847426, 307724450170335619716168548541052338134448365557221023369324992949930, -20536738312678533185366044403579749319737607092514283529030534474, -1783670637431529697981709127971040791991580432177542564654237184], [1345847818373461122590424559196391376417482327391054660565095084746900724877341035703565334860, 42015450911987007961023044628149797355746963809622608704291059393919545148595028194, 1033503109963031058299400249899761980323983684428211173207649074469541250, 63949816980351931721086019661354045223626260411201952123043583094246, 14586043709910938890789458856319109850903512193663443723937709634, 1551002951804148197060100576629708930526153928569911354320854528], [-6378284283537483371465764820673396306082816937982274965482175934054987642773431889247110505714, -143542599506749945662525335773476888162477832184616424765948037729271768933852789998, -5008618706822008315745753732364150297772366804224037036197083177759265252, -193968752827081588475279500585969793839777366730039096794554647890170, 100957865949774076372578016134640195420578937664157429394751578727, 6326555762863202073873874065756387170649070388756096484468390912], [11553107458748304727665011855857788592967730023618982142192952085434534225646409920689018104676, -16066038226130466816866749601780005080449129338262944670787943382856246498088160134, -5626114220116486535763344745822230724118262116358447323718185077249708446, -12107705906073995561999645591096305225576370537192983478642763169298706, -94494661085714720796003970985540004931733802297646090775714239938, 321124746711971659833789010929555180343532456257355462585998848], [31218426313442724719075109115158235750695916769859793363318258457473872119152928246076830095182, 1252866590176885519490583149834335285949665766101913376818011819938187853001517323053, -50112070016939768446135739219583969831589445485436306524873065850813244837, -18915041895452101108966143140956717026317504205027196390679909816437161, 161196602393074594252775066092731768677751378990328677872493728108, -4617254634144892993745875396758421124646060246594833522392416256], [47095029932428160484536376669310963603474794789196763980151382557113639184168903461967577643764, 1708874419470996951407217927592514356789276238397814661692918903246723533742024178, -33770788910102661046061251524093454394629290601681519733937181858662952258, 16052696854805599409069269628716700876833457558426819886407210456895990, -405911112204882187064019644004230084398157609500577850455179404440, 14694817286778935221138526586832894715979101762360025948626705920], [-716356293291671230994706924074201969169797034010122412907589472372630121070775129379063494278, 167640059451627566710649180334133208092284667077303098180331891518360889680734215014, -29600563277313220520272269581697125767790438079445085103601359495812805554, -43253338954145377874009994698253602874433402994361810665202004400892622, 381857180562503359800715345396257333829378982884735474492077659146, 38210855975368440690819970461584699598942304396719071619698733568], [2379574440904977676803123443731544700154231338587084755947395231075347940205155892845112343964, -661304968680086133932169370876543089049254887231921454738766952626759185616729029108, 44041425761061752469727965571794764575643259148091427519408954908385314380, 53075970895896513206882147919839521605427147703057097800784305628162468, 467950574025443833345363685352009053507899644889635851358768487052, 37056791472222805753254829162682047266319546903435602971220962304], [1678704885891809949944641661591246984573445425854620606743934692547264267396085646719095263042, -3153544606241738927822781997188493124647788124227773636869148732777159517820630294752, 153579979536963095737399630033951400783555105159830199927549484686184131796, 75586134778888475484206631971478914798718258352009303770697688647127424, -953494209135885918681958340954439968465085142595366650156907932806, 18803288784006190727115449688115423912652435954019634060629411840], [17075331652604214570868794927570769456580485620456242388806812658328719997846300601995371873580, 324916978033984894222582397642595419146548933262549166710082450965204989267988911076, -72360730350021797153773216654493839369455249598499756999782476431037166604, -75005073246686059108874409680379898899747332310686094913009172445587796, 2294678923108739516216861121418237299606844098211446983635393718540, 595609301590867612387786296221049582843018390658632016808139776], [20246576290811212459266984072746047710431061315704585155512566555596415963749124198395985827410, 1183822364757119362703753887591164724224890027449318497488216038587230962163565556860, 254687704210247752335932110312521211765010584817423025614041482828232664692, -27571241558722160753725394250670472934187080934606819975392939500783692, 3213565548576413293159327615669906757750166794122203753066958169176, 65322400909522215588116362803905782039368272197108011425794413568], [-127487927478787109108703176410573685075246352747055479910059979537344586068169636886316903866184, 625967719445958810730774199622437421462707687852706624581613693449416889682032410926, -787570853558275573262138537726844206975683806192615764717546846212188349578, 36042467618572959268380161613229519388059952013880854765219733294397578, -1025463089359497823440937398743433619296472085216259596001978599486, -32250008776010437785654772090390153331862503679328582553310408704], [33919645279578265624039765411732269958705152330561831914591453916809415603871091074394298532154, -8919947163761937349923288017924061151760359209988006798110218703228803578591790191224, -224925573879623156781267556643741339437163385921877948575974342984928389012, -217604389643116031201013648754919054267871880713243353861793146868350664, 2949058221154671334511006069351076586249110097696989852926059184570, 211066404801747639721316890171305774954767402907419395556572422144], [-107116913395608301746544028915579746748499228284614007174877665565758594648044559967774942669808, -17994291960157279847723428358284447616237222098825774860301575645672479297803013755625, -660125497382802055575879890304754574184990977541034145587318891279153084205, 220493103668648164930139697504511033911404250309074148780908019331757445, 3534744613598264784934850924225985095779154919062743122932993472685, -671166589684432850085250529310158616197339715368640962662754319360], [660986319762476367964844939859160594409476507434748064421887288525803596316751422085518163233814, -20126300362810959892770594303271283802917098533551613316430041201432776644945934656220, 2107187755175348159876668074196125714403439831300809397947479668784172397670, 101726819733993873020420121602616924928163869866576331734103188083622972, -2894701811459665841843027033760324526887423155942735518921533628635, 170676327665937665567991868075472627043590077082464158400511321088], [-801936244515186775889839899304376437676882355647235006377908627468283450233886126292455979555702, 13486254790693429966103522351528077406925867712205948891777704498051766530195325575064, 2439320663809552972507778108902373362142745840201734966213076612520448539920, 605689083677484772239748055260024561824175469811438138480469863574924424, 1400743371200727625347018226838111304511422362257973505005907899924, 81565534110038496326497408344647619642771535671315480623071569920], [-1444692197844508737454723330196829042815306871158220996160027756266243609002304874566821823017332, -16355676716712991689768917843745405707506267250573769732170607616605082665282000403128, -1893252152708341553379606398639104646840155634522890739511378042873160455032, -581795679804712990897186541950850244090116599933875691384247601554050344, 3226071226405458774952541370849292753655963921083203260466296941352, 359041230035784760793120090742183872825386049852515006300817258496], [1353985407643186330000954385720019010522989784462213186633072671477393708806408270363499712160072, -52242946964700485297419910045962222697764803983180338252518436351629437690653454009759, 4668202705143571815059507189422331323558022884715721089003582283444643458045, -297041158633691024281451642959806929347743354903284242188597067150480989, -11079653076270295163737089289159641065706434395888218632413898981833, 109254191744320436873586091997367308459213593938073273966457389056], [974273750044638514977921542009614969665329060794280613182010833176948787922560643349244431567266, -54153690606431289293174760620297898105742432889928964140887830754978482688080733650190, 3029141149579432371930575271080578937041664530015176710990040089581937655834, -1053440198655791786776254650596080787375035433764461331746241759601081514, -6662445225800163548327143237533557578674633175134250421522956690922, -178629505974536432070073852438755435006968362896962513381418725888], [-2446613081729987230339953151998809286829109616376103169598977806176667582801479857545684842541500, 30441402900318226728078079663039407452622542850023769757428349230299757203132951335234, -4887980806776788235381703151488897631058299984163975597142602566663324439350, 1507031054139873378054866240852072981214082006677231786817126777333671750, -20198465441473404414188259204959890146479690832555585608294070127082, 1670567946900395331525654067408200678594957472220062652557570825728], [-2457654229101145814541822257774158512102702732985719220305519258336966388265192244441820970015448, 96128022229686996710908771105058528927006287765602105866009638373954422065367205815698, -4151200681711235401148555528515637457402125230985371980066828568791276039718, 1346818001103552543353716421630591023419497457155461578583520748441492022, -32004680054813811207490343830887311307490335982943270471945501021626, 1747205831449736071609550833112056551896485716147452011862129917952], [7600026502526970123262775446798242475697008260360689007152252252546474971699248743349945035012526, -113837351329988795117490962790604573683865442196140288693140856691824920674660259541211, 3479617124294670012799659518222090282862046452592664590963513017918103235227, -7409417477195278589469994273298832420296353230310811596238071749633921, 62450970219561651654282951976348228399800490295415657365788744041032, 97040221342416707615157614311394006348232064627791586915631633408], [1798216094144953977620000604464076951825319560453375096563970096278274360603265757535091607246580, -392907725764854705588789596518861387046596566180437491396318398679062162591867902500332, -4029604632265782449219783067474381989764834523262989182228866426038054984332, 5159963148868155441457128677937664044323309605146803878356147174748629948, -63142348022004364241817053921112904603993712884213224547566729535388, 1269355065461016997431487474148328761514412547025885050321380240384], [-1453267640634159875496471318003032251247372002415506086228750705482740297706680655453435557378618, -683145850837826562030203999149095190916321280923912189641341852142718518249869614208624, -4958078127177191920526115209528496598193785551584520226764388626325301153534, -6042234465154696016503047683049743254786219747207274286603850200324993408, -13313389912483206109700381214899296970722496853813330787063669199095, 1369872934031466996121300955463208547171960015952595169265866923008], [5866361740687069214557037750504999451562158384161184554607194144883371761665820292855491707674018, -74015398936897591253359533631703736843906394415227374020532987883323894054343477034720, 12637420524982661284006739375364065908785354156721542652274505486479451193336, -4920634898405975285782759286990511725509340919648217196870803556062506720, -211281724010083545209066747103888976674707413874835828672522704551796, -791104061580350026462352721394188903504345189111004765223046660096], [16037363211803848385761980576315518619055687348232666570434384416271220506072450065715683217639014, 771234137098133151415362915634478598513157870952162266166852262046400586210218155913849, -35219044672853022329770546627892062102352993638018147237079685439536375680097, -4915645667561999624343812223590209943806585644484116188325324926993304453, 14853103763677957151641433606234729335163602303222280964217535567124, 8417859930244049653004657592895605733383380365585210350236417943552], [41549855189964792933301029347482898171056779879621723261293181108414608693329082072869936544344236, 492785851955154314303860587126614905049648120153999306124046780811430186894608264743006, 13949936410080863308245749086419225097706940565420732516100124134406257812458, -2671875224451035273884059005680563641949573680371175167629610060824450886, -87715607835591784673838096062154645694734393742447957044068991444844, -5551277757036361498581304359023157387267722961857811224233075752448], [-934014845151918472789681695745173556575507824409172075425101806056246895620740042769122398172236, 685703462542671519665399275171068919170021697841930193096104916694181691115514710301414, -77992655515297648723372997485377073015697994672899331072971841690703632081026, 9546445177957693110498030312006039958252535956434599431689797886365585202, -176936417879609530779150260420371732527949451572732648067435119553694, 30241936303513557357053321909288909103161405002838219729631972370944], [19639874235646134830225396985122376301896087284444957352404590839072949782862628399296800040744830, 581174843015845089796231741767128046640280655857282486767932708164612631866869913487915, 16300117634544387277904656420059808580990901469625678824685189981473206076849, 51227551653315883706783630619876010056101462054569702567443809652094098641, 402363694804066206069610201799464502397975197368909646736243456754822, 41480607574828453635539530040165839061420259839453794665975400185856], [60704859333691658674353490310594290031738004640360714447681365555830592049921031123475969365703062, 6593005137285842270309831125281807393976119078303600912480228279394841694350022259155510, 73292032473470872562968739394938965977974590518391838015888631892041223491208, 38691503712839080184487362087960818582203919347733899499562304536539135026, 618998328098809662865327027292634757501904529503813115118620732797519, -11544426041489358244219507965191403344556952091282475209421065044992], [-93439661537352386346656465231512647973020013629939721046954187422488797151374370987566202980004944, -3281012552145209152509699276083498245078005738020147415455939220045268446108414300074890, -35024027060156496849248017784041552597732471663406514555164781761280185929298, -125211075967062729049810776381180169468963419291542812574094475479478687518, -1105855721411705787804450704740934246164257644093392398994793350720318, 16092370097907581766946310335017745603027432654231600187298016501760], [50380458936158630531281618685790514547425724277669662046759932759020103443094690840826555330660008, -11140078944965912331949901833805702451988301098727256838948981037633399026219378416891375, 185371715137593475203546185608987782231866284862392222499715217427241109200157, -33869948804740017208403659424208064406029686351499084343001503858319485901, 3749420109811118230963956053721432313405546531932713831612046031172639, 24273504986425784905388470386554071092399936401362412939851634549760], [37946899849308470685122318516516786074868614710011358687304072042903835701357189594790264990224910, -7613223911600148610843651465877781813336226448587179696519693885261938979472421153514522, -891090486865772415518333342918841297498444449930815443870127061440988975154032, 108743065593490544429046200326360360095045838281788773411511795207226516738, -701619679506379451770610888048102500129496458838243535359942800575829, -64274241283662202107507671232841414564084775245449440233424845857792], [699377161085639786859470652401849386151703183003248948208029482294918994101990694716344151794265028, -1447238713121988277643305471006242808085982532330192679198793216626394647457607409280548, 121792931051798130899541517709692817951313436445903875269828679057979589217500, 188983713424038857461044238196203286242715443800557342920425281565634833684, 102717313992125693322321827660978294405317355441164897760562243167804, -103492545098450158719127281340820774335553612479446379312336657781760], [-64636248965221412688078719865917108564112420407093118727747064296255255962403366199915039656451160, 17859737270645899876659248168624856338435459555043469294936953929635844372910277289463868, -595628548412487802641787151855639391134217074075600827544228624799792218492484, 333055814618816827185092261679249272834155204866271322804050713021814584372, 7690328866824446991198550785394761261341542503385882265202904145601756, 44775854627523894380614327756453116840752536675238255816639727335424], [-208085737540709529529729634740449565516727799500885926431728151752940091953415818146322389940655936, 12596970012924442447840336736728411418289541529935900384599947192595532103793322205699729, -231883919782962477957071426752256881862860311840824539523861619706031072422523, 1035828331892470016807410168952618402154457028254182955901256075524829514227, -6307478366425780409841017352149494105297515002118621099744124362750573, -245902967135852976816172337508081170594486645099513614086452441456640], [-1600631788297116727931601241791197544365303691825831005159750275690406200288328931347399180698538362, 53443398627276082543350586338872766297080376047692579578571998469659429386281291392767574, 1649574521579330921187008183288938718199459089367546381387652277260260915251256, -357334946793594577750557419622607724171909524990417539343194879957375724782, 6214374001111655264481958126933135384953280411911804514848830785986615, 210137476793318397028121992856875393327067322808859973234249614717952], [-1358146929712605601844036838084888032208376521735968289076279258504958866885180912067572643916001542, 3705320650396742459600877961565458657774194697627344222543094025490803189482022101839666, -2486907530145864243953473019108694567065379445137635489045828274082437534972814, -352141102496647469475340154039537047947266571480706593769084290572481694762, -833084209767698968844323975624673203073526992097865246698791760302238, -396741817089225148572356486278412653440497960812945554909242842937856], [-1158049236844607418393185053567620096601797691359988418380630911935156388985474108136659667080256254, 24105715838245419327308597422382426884811428277905137119048018049380747679483891138347608, 3920795993395038709507313330669684093660962642250402039986967652046960545166876, -1658896464311345840942480924623281243025331504605254603633017022835523773272, 1861659373670555660816712833333301717048030062061910516575752216667514, -179635546031822477102940625738859090514189896235552555880070776111104], [-1076744558662284370170489969149827014784147061498575460739298497985110017602153986195047053889858394, 3277379872905553623169935410476491495498501880010397001975360698150933627723041836858583, -2850650630038335548314718247753824332740736049532991151669262313358708492899227, -1073897669084895391603557981453268191690703718308999876831380343211882708075, -7823078677261290749509034357450283743270001501050666809151958050275946, 326771788573086166830247460620421832902344926736869582357889720797184], [323243729720687968610296789112947758626627549322192198163984020131006893240492500903116969733373460, -50149380737721234730674137018182186996651151371019100804263893371679476081584596179985402, 1272432496943213002827720305275254965193209986660222753951509880744914190124182, 219250773457458824730305936376188390375955467579821927379911368074019374418, -11028363495443100415300045642970377331849906136323116587916586075509122, -2975293565632461093315135967940880758278035104195010697627209788198400], [2274523295174667671285881038024159773719194779883123652572757331751578239972366562069378180028985470, -213963621819797262769387207544312989037878750777875392851623076038733629239752904103447419, -2201555295986271076722608420029111166126658815868336270418572555843620766652349, 5017808674490064654391247697181371233831878649044714074816419739127503549407, -12936867079532838909200481014023265131862858677573897301949246124556852, -1141571833647423875956037299525141657125217930763655110056195397679104], [2659276139019374404169975843190497601169739645394003054717752089132379606548377563120721933355255530, -18500828193476358478653541282499407611241264488726348467681970440782619072273296924930206, 3489828575524681337736590148102566323403754227698303260229085153440820009474538, 1559515220154744502504710235450695199687510617888633047165967020232690648486, 17874900657754302988839747817125525084432363128549995180479275905890486, 3728554902929893219796565352894201259872064511490295545764515401274880], [-2512062810466572561226832098284289950351995813377757889843139896892009163054771807512613545980842068, -513351440566799352599684644170970380423463786283885999907998395369655850436268736290632250, -16887144867480245457094355810350956180812132515330450267295919582992940553956762, -4501219983825106077314696283979241575219036196841680880844446808538640734958, -47195698970072624631466550782877957346276770203395204811430805380106682, 516324486384173026403414218493920844073427994947487073453114202477056], [-3449296747713492629665120845506763111647047221918574999672868173096848987961888995237204889060787562, 284811260749083692473071414805930207575001857402848178739666836323972167991201950522972887, 21493555130809580146170735824896746381953715120304613659929166886068631431458229, -10964274000007961466151157085139101579329491930579944983871456924905095357931, -77738642924146110646664164248978518593937721580938388750183382882047170, 3060610421432200891861284928778307134063248795113371866054031934283776], [6688796583166455776838263009504030323732253829926900483473666788268367144704792369890083713012631624, -377098958633479819100920444040574427005557039430795136004248352707345692007952664856352363, 17254910403863577697758683901743688154194190133463256047765835747484072325452785, 9040970705567726016364855046173616651666635076307373735481372892556317461439, -89030407605490050730610349870269703861062800257498404021858606573409941, 11746670727179217555481396915562158364168249160180996427008555007088640], [-16406688066326525506366682081902707095007029771724271656296065899275115982980022545681524350763466468, -497317824803055685748347886276036972204961221987441805152013097248143221743556187226711916, 39343276217605306123865383671408901955735175240377999237624613768602758883203164, -3833354528501871755318099630920561818081719877805461361958216275427353505924, -248514720835539321178696258060704563465264096326954833835529143923708392, 15567401815885159268744617265435235209371062510539633047234888295191552], [14590314283287394213570811908463229241330376561955004896146907455388876842112320387317707520974682670, -128457574260620826612730994610629025724500121355112469472747288878452951263685219675713270, -42592279363243281686372815390989354649421683815148775113950833149357570315580052, 11484832504445219146843227910743041928613933845841096013410601890944458673582, 121592709473863124666424470412658769599679143925265523312250976030094283, -9168375450028060860527487836641391693985134284444191187310922081874944], [-9879563087203429196399818503637601905150772567040599834523475688248771219577109795335692900530638040, -71652980064423935622179591355549932232847318544058936111470405344606381292111583095755018, -65177894825326067596591542519903614722052831742324297072132969701493683546669914, -85087426077643313046896035536527626470137848420657232966704496299693141214, 76343333358339377607197405286975622005017037560331478658755108379477630, 13008108761412418209190757196427252400342817233499455744630067536328704], [100871928532077215283645751736132162705172219848316309282195424449270199515791487116774053352180180486, -1490052069453923104167330855604897267703817007035948912434416196040182084546735647794587384, 129862656207195376756971062011022657108244647859948897471583083207593723443087882, -33979628272658195582465253453421665837760564391545801595891981360908944381336, 968919611375072362326754766001062886111028439150152394488886623716885769, 32286045992933102987459509214891528079173856059021412199221101490355200], [56937167092901035498643291543752551552682542992304600608376665882476357185356121506381341517928189210, 68220142579599559873827647830632168899533132908543879506714941348820786937636853266467974, 36927886838534231919076301391888747149670543481383525296088611588783784458251630, -25730403991097293794854588767066086908507863847950172098500621490131689692014, -743956850291091570337269869415487578474664587423991221494152278440256982, -26453222977128907760733808611271582371791995949565103307730351132763648], [-4777143731528408453788923720418139298956142072983455247119205033629091591380139569644843565159321060, -1602558002607379331287029294188801771975820326569404669065954602311673699550497434926072422, -58508297552406769986971717168127231205996718414799192676143498192508681829256686, -59542828506161630102238460621528665109296614673916236504271620271062590434098, -657722136653051176678370134420643232180898793143342843337442346920179802, 20441547615336600995444966401216120082851427074263656983300659941131776], [47871346567611037734156241200709667127394917387314277638356660484559671731846467002558726386507219680, 842297881165000046961105699173366030891577049397782917310182222172705100591356945316148024, 111774061319282587090664415349855625717416429481093008969339877889711266603077040, 103168775675208724912082236706945440327463714569806132168368001072385264898920, 651487309911404018569237981465559477570834851863202962827652303114378548, -32301903853364100977126794383885681955753486985350537503666192844736512], [-164178608417090699148129665365509390191649073286490966336497778521177390876718346692440846167079872834, -1456130328271379939951406794442282652314557079386458360305834561482034771175205864605549844, 282670328042289720982655417019823033313100888922536498594702684792787269410274142, -203844584016940851575575173193323194870044929344697522835787591157641379097068, 484775431400930820257258420294899381535604141082272993613623505924753861, 41226731799474850960354859202861038774174951015185989776362766463980544], [99786360196393892006982272343151467155108311355641482021010607448425817472302632240409268719736766898, 859124649441138652537454073102990235249691178496008419621281105006082758033085642370790952, 178526108700019754899258236197442198498822969402616630214905803668505352539952232, 94500270923754170804233793836456933169788660975928353846835464072473354441080, 1425895436839139976997874368395059861211450695868073043328371589114999432, -67286781653832690745962046610211256073821159437953691972119633754513408], [31925499998204737163533636890826495291918928673106138366596748639399439239441385792381680022595917300, 706251979851078565621355183205919798757687042765716811723441970056975367217010122510682878, 233108906122106894009405014173813840550929213351907603077616396696312168245684438, 94352105723065498742671849114289232285920503367128067074929696528983493969018, -2937391097710351409057334352307995236558990085424682663413487198841408294, -114837869800322987224924272905318766152584769256630744543161294441190912], [-245583922951768638849953831082277889270592967660844247499470570253947211638529428410797380396256496520, 3671799507600714520924613617605354845000039882476283112453224846997013472657942453696343872, -300821044803821474452935387541598339593863248524392747599905628912683569248369384, 23683054252678490125510793204064524479483231420613075564042579536951710732160, 541740889715933921368111789986169948226663722306924910163834413890617132, 185346832355184638696072084863197962783685307929290782229570544075712512], [-23844967703049651861622770008975483557938752588094837481705765700230123464845241974685423476964380980, 6635106442896849764696279669961775130772732019619409250165048480787046349742224267893616514, -196714993549516369372789622307427850919941674664569131437644725659045212499232662, -62351804959803200681250246746327135780975315222638176955123694220228993580794, -4527480215821556620583064748662497437474505056399568672972129090336646906, 406882019658151322384118097575364236721234819156545096846495018806435328], [106626296191901214518099823781923889615696074869165641875148979444662137247481188560413306059193656272, -4593850995931941073001463468378881439200891985133217700056711097261055418267572022373648092, 1039598007743587012527425581947367229372302946406682966265898488711785824480704444, -171420563250160361350335873360661733351384663303371699070778027740210569683028, 11392511984636905933794328716175470422019870568972083612842956288955057808, 135753141293978087896892878825039545512602424329197719071616001894537216], [21126900665627378856327706442931581561562760827313175985514025747197246149893847533348584158061982120, 27022382013656226052514242986516740694656875790909305658291237001690385194911828610026814981, 38987817031323568370103432899776184830691943585235457159768254441326461344846353, 625270298445762258354759995666533415919442736465390730462227705230717052217999, 11515816013814637202797479347381292135084516244508554416928352793868385331, 490026595781349873258103138719718495082070005344387230004114059582216192], [-1201137554620277593734877759014793738332903213121431993552695343991614715198979551935610362809223192318, 43418796782344400544230229496525031496867540903234610853701032233289065469087614539966687614, 2411648721187354303144557425266399077466349658721523744791366968826433535653687038, 329489003217841415609109914981660860503375777075770834516402409293108268808762, 3985108539083859243456827696716194972352687614588965561586235862370004014, -306642098671565540031475764956574654479410873905922238559699580760360448], [957678222900281208543579717944581595801312957908100365765349475242135286905689996442874612683363696714, 17160742740029788968660973348187888424630631467128507888826492871663384974306258290203641904, 2416437311392355462372788531291998549230526576237822534884085049310254944362453520, -873853389470225322937568973087988081279496190054059776328901103082291703678576, -1390646037945279779725586706592281346620320203949391781969538070823416160, 1234664981085563039909435893628673508079904840223825215298819844098093056], [-2081170660566843064096535276567354127664865455343951588916338229544880074614109762766816774441694508914, -20655238676315194118619923927946403596101502503832288614266523257576244822153561420444158711, -1522105074241113019631734782846898796411862821940869586543160667704122548363042305, 367998953858058955661452905359901824083044323481493615678583701392413514988203, 15112866684552036901304189177865034324486094718923462191088117562456523276, 1640099267029153956384910805408827805032028848392517587443889573867086848], [1468915706261741028369540689144030986513144526734294402821875390903845720017659292508375333639272159828, -43550047139319300252822564712399440318284560769115970760264231898425884791978372700894177624, -3479208837491619435008386064102667686308852961495008481428162480090703508723536688, -1856693554431493971369124639251376928584744508435379152569772148593141483653320, -7940598398621516329943420814173996230290729581295600636462653119367521284, -1303992341640634202122455873684452187947839787494822539084152475161554944], [-401827290991055327141264632936198781090338130452666659707537312373256352174642217316365045488076972678, -50573869645812366602069941489502357969447400076414851389404831305056411391314474438495617778, -2796309182640560093978774990049343471454282321066483233720334719068058022540631266, 1366317081235597041441084256084110458292437159774960201419248572587045181189482, 25318358488952262322779761774568439390332050755091756046031173229019098758, 78088728607829021496435219924611449345087503712133727017212717415840256], [-1791005934356620041834689834320659093578766299404450818419837006944170528956271201835312330571471469448, 266072713515938014011233310718380783573398891075881356974679109996478627780591230878936239431, -7351330155382892827463147839756699214990078053207175722235252946527031636248250389, 2104665395205940860580607753600954869082953369231186135133961524994331645531221, 49410290279442290267831965015641212453911409782214494370104060919761433809, 1530774653686089006875286753571547224956352341552572572256792132630857728], [2889953850559503241872433275197533947445365462298795435885869303911562509452547778323741288704642618956, -64610826140004448385359424256696233805669925079296180043207891944761731197805644697005130490, -6021501397741426811127100212760811384891132770696873709103833814203758283606905646, -3781229441647534737517561643902413655196959659715618723419352080440904286872142, -45686922334243921178937681428117718556259506431032943067543519565554789220, -571062479081822108538151470152890395752058645854604642909626640736552448], [2896392264978069918801798529742429639226738924218536317246869875618431424257405252922145530927100454642, -67636103048308725676713522303765065962147323043073157688269975524385592567865917246449701106, -5731413597408699903774873619138957328855934925278793679821803690469683847402560850, 3081193940394637003828211015966484338269204136233834567890572822610466617315818, 85144951045861579346119563865392162902492434794967879387758236150219768142, 1154710250372276199389243071793626461972173626148489816828165273167993344], [-2441764153081118239388966474050576945709901224470625188007658595478321275977184411752255596857777672872, -265069983226421417171674222176105754734051559596034124576109843017511864241890464634616998840, -7935060879709519514377746185873226097325232456828169270102511548396043140846890176, 1503102077441798736637478595776698288803721959335505811624550483423333119499416, 46756121291922690858104933777618210641938073538636466117930164090068351236, -2308495237668833455374859522427966826713707857832521678064755960840960000], [-7831276497718047107177081893706262754077996794445909166036234189308239512483139786660673121142448973648, -318536199772107816866880699063726703398669398795088407431955747116118266636867894110100487247, 4433213293238263496824607253945714499373327312541940570163524633660638540578557173, 11800099989087100281824064501878474291171888963060889264437843315018003067953619, -96776368437681326601263964269189712501710622274833049136241443598011751717, 5657148808648092611632009797719567665299485100273126862344568614979160064], [6320157571507678005473815721417770006969467091417138337441488537594781890530145998252985229513732390678, 64463952663067533894657666615445533628366174445284657226284405956261676091463290692276573356, -9231509398766932298573181408595056415642413968443022104685454414144251791575664826, -13929445261670482464408329235041846105070164506556024079901771235945816040906348, 138858817070768187913441686227513916771621985371936649659320072478048921497, -5516900751948401936579032030428620324981641512834088010174897712713118720], [5482644089691317508766099947695176881726906317566974106883752846930238851197714806884055148167687430770, -249998780400481084903713861202646781735620638736696784048829104403564756952295445516768755756, -2728437918064390145041237820889872898234788324003464164328174962947066631898686372, -8568686191182018355527218317762847961889754124064130953185830444554588538584260, -53116979415498063885543582112206936410087892647555125417498409535554569800, 15917115434938625741874105608375922759136824258989302105047873508528143360], [-10488046201495458121879658077548814247925137463326946798257287769148850284865071827313649397773227166986, 721647419044885831824528771488449185834202746556154156773192810712892943082306593095383739769, -9319753718041758805091683296114403300094297086079064621085985787852953729083527641, 1716654860001944421173998867704923283926575505729393833411256998063148312512187, 64572679882429501638618767584834553512978792429177631082977395347537972952, 20830436223171763021764568329400972914208905859375067326355934129271782400], [-36523786571425373797411985769553334066632378918912887397644680412884565857079119444638979914018031661348, 575193179185465689224120918575342914745348472362917652590051958818283633124708064714440039908, 27853726851602373464099061577883672409355998567865121206739829029345938639835197268, -6419139917988911689286957549737096916931051369985200975004875485619168331064404, 136716208194513416068259883383874488046637651429847836054403444015657599932, 10219665201050174899215447269681759370616362632063685528733024604725595136], [-1543916739305150850233239785674037829798753887198350955044328895638178480125672403359121338602541315250, 346477927137251799072046482840107576714426496902831067992113475544640547084794162301241073000, -438883726723355476655224398425660902306941822028007134270066075181659127537867870, -27569251378031128461375553399396049037879642956356551573388259159492328007289784, -123552198507000714883394765142721843366515243471617643134792468860070550011, 19522853188820921288778173549348819476708654143746859487180541820765017088], [-77953032493675991991438190023954215496291570915848663736457099194771969200819738960934511405913745531192, -1065450809050026141158520967574041314723811880368603562081638060551468477596500783755081911364, 21453369029074207386358307435858760275394228708829304504472243402011560858419598796, -14744974524735006168585741032859040371747454612618264202474487629195493956686540, 216738504655359603970380650644575472762039936623807411275813872807690662564, 5840625634641453026091623601178423811765256302174589202682483284101955584], [-16605891632287142747801253996394805667710343861169427943265728856539350317693743299833343359532337446614, 610503617166362427925712368469810006672014967027953042027166411795501156404677512104454534016, 46812454579298452076256994998588257043907758407013852758264143622524631573816013952, 23968482708634140006728141898549781184881315992234813331080871924496976126280320, -85043035851437432489162491521583640732993778420200079929379242790208092160, -31104387432474546136702439002938280568552770814409692725934588595085332480], [-16959455864695661380052030531209474461499046315870314799811465289134968884453943811591211143115054631776, 491584220731822766248335585373790448164985205386931699568695134542181438578903386752324687565, 60396214485149279599112115025447908720575748782376268072146301691429625054800770081, 15335864640933489968550262766030525168921508610658773178323408920825475104364839, -169193416468065477255574725552914195729845963868832611647338022173437902625, 44844533529879147876278893900794853442348400090082603254363067630411339776], [-92326217442817619235007208945776886822135790379257684277617145224272855024403778017863010879677395473798, -256004278146738035066248987131758601619182217157450651883112178713688422501287996700898764720, 53582088155530489417760414486862928264445223406156338837167473601910370167193202600, -24192149185173814282774883961189273363704952205607073729619173174899011564586832, -644758811786978174580783764934256613567751968119875456410897262138301787780, -44942929628909105419510185001416267193256975664381439292365236837417863168], [37171659833207448577835444674339986729153348236754664296963773916430430489437325882126235078257331011516, -4152015199369895949462054595107146680391518950560178469937079125407955101366089375600034944704, 123957840191152957510018498861181774489633040116434923916622267924912406531671508256, -5137080591126086846205200923999319163489354786889655251019397100508631679719744, -191211256679059097917516118588167022982366948628228028014166403728546236112, -24703344750793179687380132539451799053693707538372919793962258184896104448], [-44303173089291887224522819052545188694155801065507377214097402939618165233408286180201640298220644783706, -3048011092224360323888796275119830196100488804355450249209028296964111165722516423672654082363, 66863942909218082690109695076269807049236516905391289511681438990970982365622309371, 104191669144610918635853116716554664943352929533195239724275707855995937630860639, 283310517309795591966030554120434503178819995060487881719797548597224745160, 76030501945501126203362711078252544873905006614144776095028179091819790336], [47877494585071669672051783657266925117465128086953917968666393425274133710264540226591507174885795740120, -348410095942569324983417027274715069411256833978060538854192934972420417916833289596434564553, -253859304159493095879372847206120809758989943625367986220638574923041193287923170709, -121277687324869379832659890832889841236571798845523129818151538752661793638245467, -457219643495865250470006834146684284446950980875949740763344437231429244919, -3853116706912780761853877945055277284261624281233586973271352632644529152], [99666099863453695568900806082176602676355812848945463240885463332756881676354825208271375802827485774270, -6526803182837459998777596863109334104164231392129435562751166920695945271266096460536227298848, -79778485885208427727020643846739551716576467613102616289286512499955267672185765278, 19867374904629798784604327396721831089696820209238256021888397788228161970428912, 1058705292351267237523109380949497251791219043165968541263811191214329194593, -120530905356401701300030772562474198265485676650798161772726077935718974464], [188044762632463759738216462038094241584852746784118167174837805747392243894586524896635951314552670135696, 2921391038143129969794618691946731346931880698628757657998367742326106891361384572917433865785, 381028390045077500557797342955308709358242706066349928659996233825607966142964826301, -56373824750969732890894265273669121956544890361293748965426192028040379074657173, -2091142717566927217949488489931163877107153577460008481969251284386419049917, -37213008509695333869486873720479619078926732569946574238626447041149784064], [-39160912426075625405199775295403859154019286726372336606232501497001821085826211625558509540539691922556, -11221925586665390944242874220784931000752166866793772078627195189515438289786843839506841485510, -6256393914485603582982062635985414045700300630667485527410542414148235040274342050, 309009403738520317513323102528900749804318094814174742243288566883330947794328718, 1893820218753220818807798692850735786541925104470651806282968704408926453660, 36931864804434548492337879610014969730133833538058697504965389772163446272], [80238982453906972040420800229371440003920228393290379648899896610488369452892071934639546511864881730454, 5517660187621210245215782319596093639762228913938989475639808294200735468856013780769041831054, 1000127792453737940839912919768030213765393019566618939849760680375493294035309626888, 169280968059617780393994599171920324118251930903638073956379138081756382735635578, -306691884454248347008758420115287919690412744206324320193071715105832532229, -90219477989443588817263611647107818021443220777726202984745137808806597632], [-86045765377994315557713702428568388644347258972263761706460369208836957839539604043582012071762543545750, 6324226455706011079656756801229104395591576078710121726298290819853977022925338517739963385344, -156546780925435330093920395385761615043561294382018503163442808848162657047639833144, -456237365073775309158490280256311682171666121992094298075406517277304452710561472, 2654633901398543415087935794087319545393289840904730497839012671105577281252, -63434781764232683332866479111587623779869637302275264857082973636205459456], [171185446296299134587335528772957923645193526692188621651461764087869325730014389968669805986269085216080, 7416957492039056269126204714867902662780363731610399300786905468119278398054859871824379931232, 285626842391344450100933859001480343598456750591076639159890679963877188546089323512, 187748932810238727478293150187765523293543223385846878140147772616741335366357728, 6222770931248777634521007337597470907924290163129362403923440228952265049388, 303391398303773697711138272416955874268329815760858055260742262586108825600], [-204292653199599551999308817699657506039719767977620631918309731514888550449337536993084496030750224691370, -11058561048031117557976138428183934681248110160049724717121213811070008716437197696080424171711, -825388288630636466331881714353287403366567006223667360872167256436019627462430444305, -385004989148196934517695718388279121525844050251645836290745878820636645481665261, -8392053565795860272696572290092375300293940878130446216580503126481066046112, 12047252980644855582970105639141504186515896873337633274872627887030580224], [-143455522712352259973415613465140232611877619415744263617597831639960703623609689927533100509366468193778, 9941832172459585986150756119396493284723601635432367680790323973966039958552371000593072413470, -1226454006519728830721982896075184435670530887059624670374970782894007706802546226424, 90848903340762807107170014621095258012476660296121524767975486644113434905170858, -12476800728715212395024855598208726561154057369528496936902219299736895415485, 369286132462128530460643659757567330341166948113919556465240450252770010112], [377022399279523113664720722934386403522900986132065061364344920375031524272653841754384165512012116053252, 50648380747716926131913695599449739276370241143903121304515295636130642211887293814775470195400, -67181839711460215095227480303685449295350245076637977221864016230027812424151887256, 551209439538573726914047923485126254078720718909128290882803560997327390538842712, 6826820458421674707722155988001303710392075343329010784871056038003875092696, 92735335322038603833152132133872895607287494556057617465391788847419572224], [1634417867330178467164743469367709276820267458759724273027228484193988673155812239801444062987157145625034, 22683835383667827701118722082581425126558086997210538199005995202815853113532255943245656301108, 452566566619590597807485614079098533646821399785962411239009481959630895074677433808, 345562477354687106355165618521625093561080703535157726177174173980433877512954236, -2847684410676701021055951049082345598784771960670074342778947244674577893086, -263010627459605492628589611186792757059747580367732162216157413709256338432], [-4678639200468613387138486226284715730435810602998508641929331525183920348934307019600359332297569189628032, -36701350851937608316819348209365112564376472012539091378111856315578730111802367546900591641744, -441184027617492526179005000872101589235188171692735563430963324126811951493984354304, -766211589698333109508346237673680120221168852576413896365974027456952858713334064, -14138173006327678282120562965885949615211812252539224940556912851820684390600, 473950825619614847880188421132759139889950115862653983981585206668327348224], [638036810677053408846070774790921762990033714508423058132347056833587035925019066829026061447519022202370, -3684829278113333309779357927076249638965573420186326464537244121451270033810075496701493873096, -194533185849618987529776465779997978979364764420978639243223822025949962210306812280, -404658721683830367516315566885487079763343464466427734905871257979653836008366552, -22818114770444642241270983377195966134441197332466790810646656827965450046944, -133907957102764059692240856089630052154042670271093541130111953462367496192], [-5380312412049721713689194513955165156572517681558934971210808281164089105956976446996797992899347317470676, 107401807811961641762832643904439025134603828810797909743509815885329508985828748468316502644192, 4490625320000634107741781244530569574718346990203670295193818518641471018066368371192, -1075408413668658913754442240735903384212097033804153219359027516606656971934506656, 17105779024957898870090476130265620125125133638931115629006041923889170948588, -664647374925639662783922095334493777113412887001017329198802427272930912256], [44814690705464482245941767775361769581596505482363013979390034732157936386757127275810910743356340412340, 43073486007614232020703223431978228384717447756786801204382033106710594592407567513026838601680, 4923433193462999813786668523715401279999212979420516764077656110214912690091658349040, -3659404816458772747029670430258492743581801920519094506733769646555100199111977360, 11962425059680048761462114055685308085814641870352252091221055630333967305568, 2977599198548052017940729999914949613667084741435003947683074802181280421888], [-4798274760013604708491314081729602818783134606479112629148843967260659834563473613093785707501349603053826, -231765761109626316487086030760293775183099932755146041664543858683867195827633337062506715720219, -5106077850025596454060054787824240611361068612657857988281822374349264521573696228117, 3326892232326332280562298683640268759471266347367012060734664663628845080165923647, 74758568900542607785669526061598814739946960294205607622793521999500433161936, -2679541588837969377312994812907431887744813158040299352079807996831248925696], [-9670024402470536111437449469616120856708014753020006159856525509053022913140110248182184413345626625701948, 91582748266447160569484141664732542481024536379775778894689529106397606189326942755960936301456, -1326695764756736350851802552555659738945707442158917259243995719491298523034022557808, 897570192532238158989760694267692956273509778629178909936434456072653332361563312, 77593812390214282820602397794613295561604132180859495053683316709246393893392, -375868375850273410583434808726536278849129665347290008024762506650115215360], [-5230329473507550815041308272599014694167469534568717851860692033721704370477730641419790604048796911233846, 174477539600478240874453523503636041333250118937166781130113117486087861678812014365546267899560, -18081087699835425366702003941316268012032174140864604882099870684182304998419872844672, 3792428018791802711670567858189501155558942441467311591134472670870281573529273016, -16958441748126496213542456814565269568127196917806272609357577069761587222060, -1548495523103549575577662900701439457768736091932065782589941241103686793216], [-387904308130042789774550324427249896167624936401101641929850069733101951835802343181937705236470492195726, 43450624420504142674643847299486505827485221334303466337283025739741529389732396822820804027120, -13396836001380872492348300562314952682566362812655794686382519672319469825666292095836, -5718317646853571710244484966175154554979927013856256475904233029363845175488473360, 40199191530492362433728960334227973702747515525452808119172011540474882791370, -3545062554978508932254997358570216232262582479104882966130386112611928094720], [11359870657586219852823937342527585791844062292670879065075434355711950638470764282825923207746783459901934, 294760597060811270432454639574766601124559107640239108904138899463711907191892074212309733101342, 12968074784133800727346543550955434948435296876374875027205167084191646122276294197256, 10133853265396200587914920304137556621022803360761579426254740547090876238711123882, -113570630858954473531557955773707633828793766761669260183019966359444699622461, -1622756988337576092262437249725528839740535732427404035533793484131140563968], [7864770766684688578975937766781879049987515410011763517696135404254915571957916719258428250172113623960130, -177950194372143109538885734089313600547306009731859755669945975509413212764848390077108368432952, 26240211506678288691568359501787571582480762272916166430329305269362991089166389645200, -17094174468751137495075342927944589663910829779639228143088171959614515200178150760, 89214966092224354107863030821341377995551835403031635027722518120316278042476, 809641968457321648725043055685312614459187074029734319902991916432859693056], [-19922721913168663567817397026171059919984029641006847967523567797215937237041782053552081750518653986475384, 990913335466327417686081383755487891773365723783697671359210612493540771120974838523260784371052, -3974026252406171358218368717490351750811011607951723193350031021244550742722088928524, 11250984014556945616197493668403730718365082916880134304409378752524045508440181508, -136054125380242140489654834229884584498279316179116473716859779142925363169648, 5207113582687174744562969340061904437625319538226674131692723760209234366464], [-9212528222024127841136571688249067312260047154790292894305264009899102014565620765461470285179989867046354, 317224059809824822022340690449085528661219997031428307554064247232450917493677649928010143229273, -10913613163205014906162592726482378945768962523076684580358599096361533511170890480073, -18480228459099703828639601917199472000952934945955475193680103557895054692136073765, 28526995408660221323230630895892492532416459060362853753887456588261379979728, 2192062973919899400622755800227503246357120437300352541850415423110760265728], [-695171325980710929862120496185677120796696867974962924500521613107202980243226078882470536059812680818240, -1701936523012460658843571937836895277700572212701814962838076237915452099443686192102259766600821, 17980771010007066360957243755385483500480540435581358048880774245220594852615698012695, 785615587322430396392370273383936693808371055684996176465232452804534584130830305, 248652045071405887998719516349555327380958600379332150780400843313147646831657, 4661085107440469976146856722681994590088764808722314400709919548935942126592], [8154120113971829438990662253756048676203703632160090441422425297978076715696586933627236235465468470112934, -1485978790881365088695707388623598204178870312349940035695046895000196393124207016126451391989022, -21100852133826398034196984022033943600317115397660591239567684593386386194937495692036, 15172691201156022170718603391780928455251403758921099015241878601233116740119538422, 187658754258337319948115434842192001523275840517923663658333165199851246408255, -428815673584344284096690068905711659569899527979869306645839138989830556672], [28968455231285712824555542208859396301584018658518850499902350155175010956826620645467737866932046041892962, -95039198708136416053712709244020935154062758032195759842286057154419507516700805166422535634432, -32536213692067298909251524742373701266824841292284861270930533745060356864585906965460, -19087374676132893740457610635639216207714090578622859023544999857596748179859218208, -18992325107949837717575150730362292003294745549059728974408086855577653523818, 8081715597632429203936186170628532801683648491247950329529446228350651852800], [-34039121887552787356464369557549406201154189358009131158632676082833158982396813884092464593993850809557524, 2544150842853482637904328809790853932816845743457765460503916056869297566103549694275424568279150, -14309782653633162626347905489322811748990434640830783524044440083682492694354676010350, -7721920928110278225407284333858400195608836293224927863135239363742199222218566998, 26558583631044993032805042854445990844808011904736701366263118677127006487408, 7721532333990964405640469426326357279335086771357272493606263063167560270336], [-19467687581556748632714774277308117541853756733165191394644838077228341164170811552983567475252510972137154, -1625971356640414437944573656238111976997604280499278640514485126421633402956008083043694780700573, 88418463089474826018838909160930534050731677679433617030694278100593106024085442221521, 67423979420502670306722319033650363143984808002078473276012718928954344811989223097, -345708725762013918303982032918687719565451270087533012901993436599698798649230, -22255394471848963766072671492932822286036965825338420664658629527636539180032], [-27307159742273938089957298045445386222751702813330051864351741118635702621001949700891520989529189857109328, 1465781830985726860492469682181210102758753780416066533270783987731978385404478833328834298817463, -154270179847854864699239872177747916654564022935928566290320109047322902481407274660461, -31382665381342587117817201265129417014313721488841978712770342011114486580783679899, 367864708459076598260101839776433100490603932503323741422104433147507180518749, -53707846502534997450102057449330561177718867324784324266537811832489533274112], [8461469675178035266452139783264853064811520553619328217898912186121108363072575060557418588627693622027076, 1844282017765880228370824353631463463567432534697816442313825626242999432636026183356134347967146, 326808610120392018183345043945212117624773483867004885153384704902934639343714070144678, -11946794928257963295493661455664990267704966798389169918564810258165657239778693474, -358902628139399727414477921867795647283426469330065786592294327932300548371592, 20190753536292136447272169048450855948226636601338476140318498412035756017152], [-216154389379114263088206938033754179860262547442862915513950945121450414084490132349940487406081581171612054, -3623823671908111854340193921704886716782329380691816061792248925603073361919633756530677154418764, -1390087511228543982678970656351463534730061820102128083392490198680323048060412499780, -47560520172716494038392648916620945260776302932555425463910085936085898438293364004, 573995841531563150912116581665453951138054262474296412478822696663305815148248, 38818599740923103106825916354108235866770564272180429630655198282610857270272], [12993112040684254840369901343186109891035593443787259582915649015320117969079890999977641487613288030560588, -1915823498360386781646656584626918396927019291385688778825026907707279532963497277259267881473358, 100704893661011613892563223920542986093399623470404348500077091243158449779089868211930, -31337307496878869105721326343641465430373898362544302415915071601567692277605412202, -242855488297325973704039982504555953165998263375246207826407890660429135463594, -65899400515370792880742459274677602794881939172083913702946853178034269256192], [-2245782675967585784316602847308856560093816909143142461691151017395930933144855847472725785137671978994862, 368836770504642664100950896117060890438335707319437326109450577514592816153758144747280989805976, 77067184173972322913906862631981484548678223140277195691837211340200672727374111818588, -127538330893452964095723489314838705997151849511177738454829277478674726227344337304, 1088464562469233023447127923334096479977675584216210584198454379455334969007034, -45219314396856844656082857734290539337560580177863863302764354968619010486272], [-165871939331898674679620672511443407399538656441733520600655163915488857253085516933790544036995338113728618, 2603248524992288952142059882262394990094585473196450621470298996384197793543076872425575570124553, -94636942744988142899866666331698018306089076976560662102393781918616333238288372525825, 173061724968848870074637742574374529010168368294701665674678406376810259534473739435, -1428211257590129063881605657035875725491791678321406050498525468025824339236212, 61209116252030737737384881773559190527513320793514355467017635979646241036288], [-67784018233559598949008748088772440937616350712398550651963902288848698106904870413150411906336079718031032, 3786473823994082653666250082303475773604528713361353926891411196430103544091712350196052224374991, 67931701568254551614167874848666157375366809576445024631930898742110100946898932292819, 15329667872084880359569479758585596000627138314077965208395316997192952222976125677, -1284062473276707918423584550891977346634963145232621656339144849316108461006007, 149197358760242713194468764563820913476236418379388949351226569446775763741696], [-112946121801841314402224447441059701294016390040860047930913010245620521985831896417198262575928086542051908, -4939020590689648199007103776149401704228683615013470136501867137443637114649346066536889211099856, -287854676190296422560779531239347312064471369241571755509526890008023588391987911301080, -77771868253471568523474210096065821581000322539320329299261613813703747492290585520, -41184387029399841386587926352152223235481100352919659243933068758631437297876, 106324106944058281215338235060260615955222602328867393203804161018568225409024], [-58809787955530639067226787393081832964984941174798961499164379002423270064566007078869966350669625467160312, -6833353507462163471141535575757764739450834723464027446595041677445766161896447901477903053261802, -148259594469170430421779255154237811276120600120233328243320538929614197591723235369962, 65054048750929011570213831194697584840911273422229697460029238145697234317993202434, 729272416519885943064372495559781436419729911159955787898210498207656406610886, -170164776107934685540739160839968741035663626211960266905607705440409425471488], [122361626806447822058041081113361537733352435065127303688133319140058446639787369076341823759940889446184650, -12124796581091706620662906641389614175171540001700184629506094439181541624489207986509006082856296, -360824721813968779247743479069984186286637261230888851021281701662258899320960083048512, -117244380490960364851150933016295517505874070563809318552046029951286791169853107960, -1601995612723474352361688413433626295528580235875381060954678604537096380594452, 11237553055557389839151454586633662689817322922283834598130241272282383853568], [-233861315445757043320043978461186152159608065709566111656953798364495388039318672817539797666766081858984192, 1168107690644325050910567360906517163569979308316289498013462181021811559650019422862290703350033, -113258276318755568341101637836313129457180656948096976136823341713793307980539345271419, 177922991275843437500529808226568306189365773753359250525746041230588021398374410611, 4781386440307147770801144278026478056687471498394015931610162094139670739117267, 57308484125431422527308750816606624772146145605872253150117126867553461165056], [449483357795375611312861068779862620167499104113303099891897717275515830805385988753500327041615587118883250, -42472709841182476870282096349885060196140017499428517418858162237753103240763186989960534007183214, -811266449604450842434875588116722291011231261412868774939324504034823133119364639631238, -346016074170842542006202936630713891655862761516191359485076202889487670651023561162, 2621832544367860995273984958718173970644604637440298149408970302769958164263446, -313679604588157942080204446501408231982457900148723190057380186243430170388992], [-315873010291925712449239929419062551020194863070623854223724460148035265123894258356069479718878673749350696, 6931879169560293183959894572173105199734489445217350558712924900021155784251685841544292499754952, -565632163854462674424603584345014421987593654113718972438699418511823803407638721824296, 741866184465326964927010790763636908578078016492461958074922592626871357218235607768, -8268703978650541732035223597985789867360283096137415386489983559477987886548720, -172809362970951361327827841286241487585375344903721008704468220087217180971008], [390885313277375474792707922612831040628121925400627557114110483663005603399613032280200247795690194422766590, 26953388791785690986250519652299064795503981610630215593967674692815871690005434431169522121657545, 262343588215995799080671464561689526691918955580393511483470088664876568632059280008071, 212829232163180067721155581529247833883804944183361216221643049752396216530136724779, 8998363755405553108753525181804417861551066950604435494608913022173630008683440, 37601864872019793150465197509738156910043883149880921945025636511633430910976], [799035198728063078873596605188509026652251145883105333497937195417944377258233776602879416545011756360745718, 4043629370608149963972767125729989772767652581336373792561818036901339140297759766168753184852634, -2320587439846325300223211153274058741610504566413334928808780152750213603965949016803580, -338790149684093221623344955637189991577272434568765759276489652092555827348736553570, -1203077434505885825617456407811695161586406994044450421920617784750821794221345, -128243654245094241342777048173699872008124148501296849595298611559072220032000], [-683882558967810677196006233755926076483486706313348939016196217787113169442981702542942615143076719182976856, -30840242436871407632977444851719512477488324687937610204988996105019693282443750276808646629442273, -1747084394592888063578379100711120508252719254242839420488334802013317685746663878423613, -446832795305177676838079158461073431945382015072915147462377423649190872866496500003, 6470764171210997565876830698827478227538588549530870717710779296405889670148457, -114178776309789262552822816743741701372872806713902371128482200197138168494080], [913818858819194918999207185556689452373806021014498868213913094173293422775607032372399897146073612220033890, 4420831478261209651965302433432490646820747648056553092448314895914913448864648624260635743143438, 944225319173408632943569928132301522118497666379506455025169268371293427378687852503910, -922990821261295905593137791718676008758607791485533032479363419602032936852473812054, -14807335674718071338391789792083297877538918281238963511522222489010433388336086, 446087452130910167270018996601301028171313979849272702546306095126615430046208], [-2042018519315837494499034955694030962852814140571118608020811518165448240708830072556817409306084731205766656, -55019021489527584037745076078948094811599675852747246649384547104136221282508101055249464049219677, -1668452799881563484861513198258944744767457224779008304324016167553274878966297876433809, -985849247058832004427028306086852588924223234930747716974931433243038076336046361303, -45888761666655734649021796773605469291670109106509260326260348841615178034472415, 1023758218249748356166458443254884191231991200507753442989140403711365588932608], [-938839578582702968485738813806629703906556443490779019520956285524431432239838422226941211122080420208303020, -44409875843579357872303674416819732982911865564842128388048355541488666404453846801087329539183022, -1169805651660722566447218476907979486034580515378800235912881003826912068391347992341018, 42272035252812050123929068859404388196043559053302765452740066137142069007204728406, 29617874719957767778291808088137161618202135965256859518323978381493992835967276, 2182413580915755221346434263416987132908248080226762408358777819310092000448000], [1644946645954878724267610447420427183841074419588715630510223151388114277283804493153703870549338883960224710, -37713617304534579244603904222787665422756638076261147637827352906505589762101987698667427976783888, -2588119066857566658580129018288752975536535845991739017461553241335358584347366532750302, 1840096904274864077962527466553943205247822593154719522257729468887962956726948547488, -21509500761347331203295335354809095245197158787708275344998267149408985328191799, 2783271021692005185660708228134075151042978972113700674502740045033478123353088], [5751753370168972156719370827788165560637674772009669473767317394362432144547746061099754172289367747038157626, -121935455583883261004895734198927082919570094840029692120094968060154928934943995127307098152978604, -2614064382479788266500288060905191247266639051567114547032684408045585743260791359266028, -1212598005854780165497952912025609087574262413757669911533511765759013757635607358852, 15451385261108316216247672384049382071509067184742974581364266838526774192637908, -1252345905806300546917762023213059574779386323219292554247671716040946176435200], [5182196550197472047915042338801347801266744721344998539571809450503199783702490310396246804448177852166133952, -3964919158265013396421432721104098083632806527367004162794649143522665840918044727866068764242310, 3538729460885674522722597701721570216076001099400657964912833312650347721579306592994994, -984329455321826238067897147151054705661567977438530621369781445036153469952443304082, -78762869557565694837063227017502078674385120875591705522821196941203188262357402, -1729334295533654394196516433712027189642025746879611739408522650845193249761280], [-3542103340846129987611906193014157291019524954218455083666847717289008794988211670903643017096178454554763880, -12223354089102055166010837005068467012518360497608859419729649363074321273240983428217497965949333, 5009231129560853316284694141802022003582738417085753288435063403763472409510885732118671, -3040980310250962378324602611859062137505850988021862331772650641114405365653557946303, 46898888012834960222726157566216185554372884185895064351500738107355668657238229, 392430324581187489422681504213554553667650063733596767185796846386066394079232], [-1515670993161835189453263384508415754813098058590833954296529383163700303697412618105208365921004465514138612, 56555118754456222198265712002612544076380464604102997598086352141053028273915364177622285017255964, -9683459485913838066723387323567791959425210652180754726315115402034042840242994418837108, -883850941508445810535016889775248962064159635002168204478350398505654237744994299564, 40490377347848163595013511167396886676285751593527898410511764170361737675140020, 5143932727876338047618307258295248555673232215513903516722562406839250305311744], [408387291875299947406718373823853791679251472284561807090647552566082883303648702877515683573376793491373918, -388253323534343556629642690095140102799559728414372797439375739112323326002456592346628370996233286, 127374060885677716488226989249098095062716038922240889769190950593296016379348488427084, -416965274873420900420205616948644153828415920667563937922959455597077744855334255810, -11855221155704166178290637210563087993985511458072236781648963247396865792828141, -1239825662602764467905353883512690039008519200183314421838310009396928177867776], [-4597159338930514517925962900731082205676367018301004911622313794106734753453990738038063288990221430634287628, -312965186489516820387726323590997920203394485416238461833472404105737755920218871722328006056724598, -9870651059019364352682514892607012634905622781891028442563924891772924655719547376943614, -5783163926793618722207919669220227755875498035481807195454756482837772398958192752482, -69713193117250371203359642989809866261731512789740827908125959963830685112805866, -1796220908550766672756901558516712991886515367261224358955711583820883165172224], [-8080782901543505036031916103500964749901730907686804410476846460144828991136408953156309345106364331092195536, 109850014359739626898817099047229054421140122779602624077314088486121469983312878644489770114424931, 2842653516891410823377864420896515407423906036044446338431236259188950850272915944780831, -5447484956629395287291774374457093221238292907978679431831607494520170758431266223895, -37576599745095228010704998850522139284181327551451672530723004025865535506586535, 7962810856016380047603214323343742250702740815702190804051802047387942198184960], [-630093715998205612207110569806338873152183856689624877533831780211772165510944375297290197262999287706945430, 782620100393355264110257466418821633634760995182476200891321519133477431495728196578736157294259720, 10140006411286867649419511917228135546904036185824774884183208639989220415498253217878272, 226454201565976795968130257655792238671763825436514839241392274842503558024893594072, 4248991405523413935284386926717858741264162255537163913068386954855564993955524, 8199861304813882106963753145948646009007528465032327212391937959452314482839552], [-13423714726663932946899000749496364496744220234228806879485160257926281598059602431562548207898914082335939316, -221379713659566733341402534882486419868292521426971135723155800176957366273271264299575333163116094, 24699925503700786891851867987250667645145346960340307529459477801817159435344489297756522, -3679044623743291709541651951770080340123942328412748974946412511522437751492664083002, 40342550234218921289907348377079113071330779941964786913049237579368671983646886, -7552004093215621716809719278552533618269932388102375505984429940080335219149312], [-9717662002263939766027946763772745252015412805134438803428457451778837504444520996121844222091669249122028688, 3351156647707095725874878234176816834259801505231720441154041720506621718179990220350975218515506, 15536185620624425482363929368669420723281576976663318600652569683483159991928579343443018, 20025430441380495020151758476543878939002378851518560951256036413059890004982367983766, -80352668438841481337815538924744493023734314367375928922496343003892291805142322, -8638009256653234029123147086529356426639813438856963492901702957893943969056768], [3518704467536304504526503979683625221213251206506708851635520095477436184123296063753609799937469721070936274, -66053966265875648707411394044251309107994035700924115710445643926822857828806818600189521938994396, 4479937379712036388400453161137490442036520855777136274984936775954046102173637289357020, 9383993784137730914456805580225926268421241489747053636572752947730009426732576845484, 3006499774731434772311302304639258588831736012969854536643383804995476616188192, -753936695969699701846201741158860342930103258068814188728802000359646253683712], [4747793145909606545315081613596873428904775433964871986838935686554543007897945791411942522638693668371367446, 141867508913577313074825973525195966199544404788889579762800743194452612445582554210658868796500517, -10566191775204611788333057405235605356826732738263213235778975671978084728203855725692933, -12777610478642771449382236185977363590039643383502864499697614413488109714711781763969, 24733470215818319036693219217535312161319079449611435676129818218358358463102072, 503700580974149344976260954364172556627844516183306555921623929491075348719616], [-7247738582561703031045918598183485870302169374174842412054420848208910594875286255999373439898339881062136228, 229610115505075912854919958790229531176768962177383590952386548849136185714970353152411021911575878, -3408120949277149987647536562386289772117511660497293659051045566883821613139893352340558, 4033876582966851107489979695985894815547250983259612763445672107144401205769804468082, 95015460023739991371239366398605968665737690076403579874547135295592772623078956, -11561344258142597691131723348553485505698198841087569973213826607300168922420736], [3912831441382892285262795960388268995635611650974738409850743286172725795607119849177843294275967405168793480, -644510157168034167742131405865406362354100255418789832241325060439230653550427660117095643685897886, -6247102543541000778038850697358422118370577108566111290179707280703215639033516544439046, 7925310584805169960084352532450850615921435461606550956692050084586992060668828787750, -278619244220571125275199306986056825689832056538176686293798396948208074867021250, 12891280142423062750913973740109993232532455501240467128649947758143322093568000], [-21879417084918233299470370267769299756613472701713588074328141744758504830292139073559334227556386043620730956, -446620042541881926188165157823830105614725315396852693689604907489847262912762528435167593559816030, 15495556614463583325854475678770279414332455619659835541702022756473720282708997532185678, -6043510510344882812303365927479380441741337103445885944268407645168166921370306125050, 438268603673315343262226061309593739014473713238974650762133838184545223521072904, 11255763329932881253275614581042605924003565641463885975183368448573340036816384], [-4078293328228194165035828751646204660559002635975717587573221912615899370034308034592740649611821315116996772, 1369239862879971373338523071338734992235227243222867680186999340013082792702896800632632922912529324, -36071171988579576374386315414163939782822386830757140572451448239369396440229471554514988, 1704596437024476009043399795928848288157947550106182269728874864192805134048827642564, -485341579767741796271379187739211640948426855368787506269890536519919909176541152, -697303951230942524007742261660787005610267223675575537697228653015845447074816], [-10826066650263128420923786813186007398732756629436289076348328283446728419748485872469358797670458497440649384, -565632884517354194889602027142994365048420640669471145805816459249185988544555165884079986474594151, 115011850913616351744643011098842791416759050755394936314424185577352387861769912966526597, -1403166371898627348570341603126646584837010487302937287088521477237144710820577825845, 365122637674078366162582504712850074903323871560086411964939841777116064014626903, 6992944169569036101936382569483090192932872015688689091992359059055564681335808], [784964903769837950567299734861218505564311603342479790445313954028269857324002435334582883130263472578706846, -1021726613584027333793269537087003872734161761049953678792918420611980740128643521499761419436916984, -73192678411866361475230201252107972057515184727516240094114216121544384897682103666891246, -27082499433556373443402127095270054371162192273810335706881967961882288492710182898264, -850384899103801387411586787379909131577945793531369035246335024339994363505243379, 28483963926396223939216991183590813505245669607466621823861614937565232816675840], [62154745449120666170286311334883990881966526227337926304405708896445067659847263747638163728930841059284313426, -2876159613168734002416824773992590239851437816164274400986376125348871558414554523977271762054724688, -28399772413840117684004172160926211924534150838817284356815935491933124760991289028634056, 38581881722055583961725214133570129268238222199565893589334341331496636759444647018064, -146820540010738334190374345835213095711022806571300054010631112127946608491245196, 5871676123461430538078199936516761088376826162348043355666069205034039029084160], [-55026276777958133514841937871162666120861730187416383177175332294928539870848310446108563691744424167292198792, -1309790761618557954630238590770621848850996916537620509765038305212414872467478813272048266700701394, -2905343177028996968327452283614251395668912328731090719976763593550614910036683529756498, 12608625319408312271377519878381848162466106517292626669823997860153625366301201940810, -381425263194738844568074711112412396798413947851558540021132471500294097477583522, 60229236586809384887761483300720151581396722312230374986287420912078850513686528], [-80422068760115000014299398425031912148944335720297845191489187148519892230884840322700217279384106543248528976, 2639257115751678706165510474364930210826639816248620177311996004925415465788037109894163184185632909, -70486263766569319811843269286229547700065658425983712956935548041800913557364497994211887, -86307553156249400764775796345836385775116897246275643806636939805734945515224427252761, 7722923884214817614203961033021464315953099900644930544326066866893851281646231, -63853857681301281193939822395891372692928737215096487343274933340385173643061248], [-48854514157256486675017469141036936480788555855104998529719604140442135758739046175523226972415663341738064124, 1658229648589040523237835961178748144819140427420063601812769455700823737758521516635761099570555836, 74591345467797574090606338721170752046521562318898526609575740160187995192173587006303492, 8322152579479114435828271049897937697032786889394917550449821527923012639428200825332, -978318850688292920410607235692873254697293041386659137926537125717687668060275904, -28453320246835123858059830185463908289062937207385529693403729853821083589047296], [-123834402211442805525331876982453412030199205895799407252516864347604122498109393354179678588225458516946606452, 2226344011909030944127900858846479092965913829775256814364016394113535420157747456276443731625251836, 122516433952144622790267057127528122432539003555543278815739984998579275592984111146323396, -21502480298802726491599972330575580159770248723419014662170420490300266272862560926028, -208686139310903520478896528326883761223642228349280046691172740746287018586900032, 23357843272685690399520003544402885163469793016591655489488837965998972183960576], [-44651179741590904789719619652117012592912506536212873301477242832251053637834001444438993547256548273328833424, 1077684503588183470773161077898382937024641136185750120386927591818928883911061009721256542479623204, -181893809431478215036186010376617658615909030088722390708136085634438241129147467293199516, -31120077532764183997152036942903576182088446260702542926488419362297419789139091860756, 621064864353002802580270650751977137279797650790320277893191542553031253820175076, -42481959368603788692850427157798079626433043572308684259462112320595901916510208], [135188312466836716683559853254837254867919487810547880396811523570743596645605748544239681805730734711967811886, 4914935900817599268330680836258697142563745568297495915025191505615108905455241015835572945983771098, -285834196643756356305781807632099551547688674207906987563698183021225646638554303313458308, -51687415389265970068966409345001430416145725274718344238118967492334202968431333475298, 1036626664860364053826270793576443723610781830258148305851689726473715617711135163, 877323876468095458655701032142750579969241121105142796773694538999072371567616], [98230484995803782876628501905788419191494468304104087367728883967662327647115623343222490023683953646649889282, -1820253025377109863822208473316101151437472444934026508077206490348291463458274462032503557021457668, -388848386577720918913746023111858657726688864763148156458309144534422473376606344185374028, 200731425720046785885668732970667389148805604641140568453083479463875756642298399664436, 318792662390623476843760510793199581870069246041958131619894123413453993614436792, 69926034802940312728601913250154289706606820371847447932526426790675642813408256], [-158973446719029440057281790163858119359020885286299684649883988110069198789915470643996485746264599460208536984, -6080027070134549286857721343405279402775457701768206122496183321564176587375023104277360464664320566, 180955224172499612961795103776845785799079850179619477492974519257717010608091395307448338, 103805238302982182796868879426835944138863962746831500337946625942832131658526628934110, 1446733766164196327021930554322900506021539599261680038026501347554045544275872574, -30366834304576778317619892290193042975206737266294567449590724262505456059641856], [261506525488968153367512726141089345963198256021697898671481744997697723771890209318884175832252781662303594218, -3118884844879218361507069741784016451277072260228911166034026178399795473802153915497486538078729432, 351572089517000350824892150224434881407994871319710974903852462144077681991666935441809560, -85413833871428223267494785515488820379416472401811965989411900927719800606628272572424, -48840655186903192847046110601826402132960734980151957801727738478366141801317088, -158750126016173626561187496060138877628828178799930562475072940262875304167102464], [-26526195923249237647757697831237249286770071969845490818032377034624961067542541788117100358453453161203770354, 3398559552538137215172091918062133411840600143377089884462814683876411638298368657915187060808155271, 100561057430827529836281339024506914796489763284834234970574518530281061606074827333048421, -57047376912064843502155722052830364998179390120099840825496935481655631649326885724891, -375397828433932255914584514348552261532793353459240598017710306005725096164563218, -123563404638737123881190836790568846440554381444424869158210991753460022405379072], [-388171699111601706927300783267040729701255475732701008479436582238232406388444843581554481419238011838436636876, -12958146880958923786883809931193100968371726492556607010465092322808021270845744520902096136940667460, 415652551417298572508768169014858173799666636874561302747974970707156388251600758067419844, -64179749115306312459234249206200503179171184302287112000338599598036281646353943519756, 103728162327627289031831563790863585326865354131804699537306892686239630266506016, 55806761585716645107949818779307177497094443297088896515160573797007884325420032], [126666457278824291111175637306210161536625347310502011844924465456895257771979541437649142589823348022268066342, -5207641754391968970789851052260946526611851620408474880255345241871484301963126302301909509096528814, 260836337073206366148911395630505559910239585933692366124484975124413862972490001888263564, -253128363112179780432264677680453315030056803457878200799443662852113708015900999386554, -3641556628961453488476039576881789540361970022610105009050505254424689978155582785, -70479618494411648862382545133505414204682099592896398738000628992943482795037696], [-536118004190109958702415170765700483832550938545401538811955303341436194069697422518904776011980482598115834948, -106399733109431812325851771682435874045916822944008758234853727578405631083891593657738955238102900, -479855563226312054523630049225385562871032299064341866949481151997423830989025451479380980, 13430678920230482355137465923541701615152329231568787872999632593751083816489817144100, 78507668914791647491343741006171691971379311614500238721912863701933891895111340, -21546959522805177941102786917839093913655607049689895271372972296254518966184960], [-1046688689168272173811586128569260225989871065722256157181129374855977046634833967609383727069333296584739706, -12026436826818341045913674890548868100540445815337680915207457672021056994458061416991436531405430041, 509411026349199207442444449190731025868888459367892388278952888655334436069187501136698589, -142811340802160457385313642917660980736213710132920249661249341615590049299892027945979, -954401675411261412053714220993303760754631358294677056077819760067972253580016550, 91883800753763841364846239245067980042172255004791288461202253319683050408049664], [1010124217459291001213097105969532422849889478685169434657557424948859944285599285651391454945268660464250211674, -15104379024889279237625357007651358398095874140780366412262842930234993144930236260772919806244701096, -539732289935107457536932964141688011709547193793458900491575302782826287028095820573987152, -365710488366009543138907208011105245444723276545875923512216170162554359079967151882808, -42750535661695286493325282147158001932686105636658884675770637207000386317283516, -167882803321154294100643929241184104555695633907872795853935870540605872159070208], [290405662926819781308842530817013676894150486070085530269733280925562644682269843231994388326539232526901361840, -14874746195865102589727961133522911978866526841313003332610388032728100958649730390593049681747139361, -883995554945953804821406010409373722356370988365329279737194781792634472197634289689209093, 756502038592573682804749288968898848913860245922879510436980190945604196304235039583453, 982832296556781183263901635686955181688008260671445184138976231834784062305388005, 130006650545290413971893796180818936652300104043986724087053417222752343910341632], [-308534040932842082022178385438234971316559873712698319546640467149843665348744619175625711406587930384246088924, 26672177147302927035830912166495230949264907346915549879416579318259794776453352793637600462197778376, -115991291466040143594423763507434822432665248305330508110445467623902780249085241856737136, 32325693911295714396126785755315028364771756712625889316248735840211551842721960220568, -13279825384239401690836709244504936483635895363447235665187896407396140078962554004, 174919037847806228812150702987701898695035683121752440978277456339737885965488128], [851162229419295771759575325736132229608375166270062988950243695567892123273279151831155753447552209973056437654, -5800748195467545920077343619445164794663599085417962381186052403828876078857766352033706594465847878, -583650916999559177626758133713059293321238063185800538164654692721873762150013084869079964, -108813229533698899080355570755190774273630694857809904646476798713937968883554149356290, 9107059713129722249843943249310757749710289878872143142903117044729808863015375903, -564012566932692970302277105561588927828036680095857378642993367484963176922627072], [953382966975211386271720085093326944356862811932835407564791989332807082726783001712573202612721858334147654254, 67498631697446436721626025932507292078355645169768110293404245882766077661190393019845376587228227688, 1169674251444260724505656358318640516157813677046360373337364243875446927501668990418423698, 387656459408979300706147308708683217868501312298468894016849037423632555320030625886920, 5394352113705738205788110168179789554926037585914175590567051025010735990168726397, 352069553827028185369861056713111675980483116628078539240120498830027208464673792], [-134134801424133924178659350714311138843334737582415759968401038721318085734908996055808246882945549522085025918, -19758148950886192199373074627013573850900095211034626954315651440215895654213362720077149534007357930, 1322999786228229816349526943383150720212477345068396824761590087054662219315481031980116958, 265547981949963406651710058813566571118940836092102008170802171257366678618885089318466, -5264789798534501138304662524556555653218764577230159195699601859320500707074421078, -216921521340807412691293239508055477403229031062278135317453815236493027803487744], [-406087035176841164271117904062275399866342520314474810476446690584213125361856158898594415334025751280357180924, 24488884264723340758500845908547181118669072878110716114814209102120794675834264741774312921257986372, -2481167792977080801611324340567969364526587757084843830809635240985847497688000625787054260, 419239775597491589724560912984169577884773449162178928821850554937706278566470620217740, -1768714485170814532037802430145829216948814450227975726461419427645709110830894232, 507794416352234756888741828462432210080985188378832482303813742561327074612159488], [983019499022914919242885838569777621661815897265040598253115616950667580623736263663266262620665490495774637902, -71271351125075068124023483007285631474389732694251338564731058217414401714542651729533091672815392523, -4623176927418829332071165444938375279216074273306698194581066317281868056216254655089001149, 1188226095871364266965360081568051843079201356730728381427604010334907427519717991058863, 1963402454065831958239597681690954895059207725796440032547758760200743224965493764, -1000132567597023279161054032784504373510228255927276638791358426070313746868363264], [1877748221127910128593611879835489601120932196592358086698842852005056527675389691274515391703129056768659560410, 11277274902666599044466462915448041858498364639629978765534812527488188557704041886456216385600587524, 771807005906894646094493852309354130050015329654365624202680113579269395008907696927880188, 430460028677782194514581060816943925491692578556434428516692104839671243438978591756364, 9763166134384810896042262742949800935814584173507058760906581411973313141357176992, -453528291651689600753694469901034715851270927339113686114345854225239643613524992], [1367904857503975453209633804788793864811884843486251007960086957877571454674329017797095557130013535023710017468, 14238234899047604103319596913482631871413126690888520734495495092411416126556481972137239143454322830, 5873982593652878661300327123281587641802207251954205067951009853739295308341615959604856414, 1390349448813014376547130626669599137082385160446196589652234033578423776032767705857514, -19974121533574239659348020203890068898948775387569554879862485731654782773372172826, -749494023682235700700362805560267206305314702773492839682843506015664564505515520], [584654210563446633805035605505520746336860207982448162242500856638455109488059294321434759070837725996608517574, 47170204583405309393949434849986013405636712676926363054699871498167789105659649791704041448977646101, -4763203328110026369796884752012655423823436286993287980295042026626982407091722110237249557, 1863999121668831164749691633411055980141943859490906103537677077490255160631221807866447, -36145730547988718787650878906740143250816507241319367217497156343221501107602335768, 736935802516347181281005060768718960503635664241675720346497189693698966313861120], [2968450998147861110217667470089212539717711182045920558125630052705065776223607520057233354715396235632836727198, 4434179381730542728044698399400539364789290766607794999096020048403191516673665651004909913169448700, -3087261848072982019760976077695634534507415759669853200550431841063519906427247326112003746, -1966328402679445210888164988359490637998285322322930754596002257098638848129080692196924, 2545337998044251322974877246204058105801783223161803434093075798220745529873524045, 2518434572178610310544128921071529568972832629235584227615631543464795258196347904], [-4338265059703793364766750373697520025769520228022295388435251969854659499540509117086064401046174296104912989900, -72021864464447956615442110857075433195110285351771902037517638464771135380825493632972885890295433900, -5662702528401354844964506331997008236688951401748272519028193320273635711110139429440850092, 2153926398667552780785735156172605440030995657544487240781594019864374037388906174379644, 14976419460767382985465579822365780674111611019296220691018271323265013158506655988, -2048179811880752457134049632687196366978233518567896604223404804811378085402694656], [2523705986001980754814606915822478386617405833785111911157172568168435922203469746175447042819971629057338932026, 158784496585150866485124239398459083677541720262545568013122403593143273855726056475022816743154993984, 1475509608119627949109581236159600707340791481041558994805066046213706621275304135708845840, -2087741913663633337404265114434936058959717746466182447507002595247703634650852499275200, 11068400446132452899481324932978309610080740587312830457807672033824077596319075624, -1263010623767018002798340216655183152153902275927308534926352999644364015962116096], [748454381365118287676006841531138028644359445428170621436417761490440544367855139472926240902975894663394261424, -187084475284201194779167006885999373431230542813554311324750246885794673285573646605239021230295293039, 8832963448041648606012698523899621012523016672925144806753173446962378432951574094140346421, 1593671403768036805091155476870765358032469222311501160843214761928108476285335860971635, -11711166972456541068880614447007444402233448422452959014377434237844183522123098773, 3442729864236674986434734669656655927019917950027069778484488589669609302556460032], [1219509252104763067577742958402239137107168675893939921005463201194745621686525947053933056322854052437328428210, 53883311484066299409021580447178740508418404642372322459934268087434734435935127319400429607252458528, -372996365580047777666610906028024163300396553582958742332515993595734723467651904695997440, 1611969444585868149565746182353651764784803660237028181004906891702803961519305320133472, -72147042920046283016177973307059364342354487791393353412869064584495936306373074672, -4175234848164982763437181059002082206653070263545815613896139292924948834517540864], [-5167912503191257031546147139685248457690703764955119675763552068173375728700414434552436792815841616127331830104, 436871760167917143100332046593927556250044463107688900502414608629489291809908816700028248869951621127, -4124052973320877725180764237457558225168655046168620508035572763448497339749706308865738773, 1445341426071043237418747768050575452490253997913249425375224287049918561325328232746645, -23894644971792279461343645084137775417265276161440532795168276670532267161549569999, 3309131410949212491089791749624830621702213919717138897747091266231681142121342976], [-6046855780841217852006483832804318819664213797101706640575147301681430613764450118222808601075089703636133634436, -192767649969322646042186711250278307561087792830825132320177924277952435619616980628034760334940130890, 14745272464221906240278922684511812399737990373014503292369707176478748986054761470873381434, -2033290551099674625392167466319220393030230141339067519568535448563198538112712836041086, -45353144255285378379177650597707946062853015657873138357617535984294571943185660376, 4502795507522549185007282994174984147513846344803482590589808111004882925112609280], [2561157744876374064330792257965323366190169501190758348943081455657609676251007964114595994779314326318131529230, 62971357548338793848948141302322210817132997414598041791521283715025464074532911350955644218714453956, 11303147922023771005517485856699464689446199913118973866107964375051995150027228608745727998, 8323856580267894762808796688720689802627480724726315017238942911679258814863806497400540, -68003510674428640763461722525068877970278838329565840701510847321552620278006819263, -1204142878727027617527317893016131947342751861981915588774095190009833311177407488], [-2481421962776670232151360194319595348391179346736216312443119131387097921746834287299922845962497211023025162326, 58263148701727995465605168472903626855451923892167702617117007342486916233370937738084572605004520504, -2942766931510251945647250783179741757257197430951216519657746749500313666915578293813665588, 7282857725089351860516814433475355510942406670163590727341296962067519793736868784764616, 124311448916894608768322132146904984005242687515123534922934334161901391209387784386, 5960788185115079573100231404170944652798849121874797288932163600935044907568947200], [1964665990767992218432833387519359612960718396907491743912941631104846174117753057407069961585758748261740914676, -645719996084218407209100569708475112070891062113570268052941823043410385053008436048314014653481886948, -5060053963743027973479089985162056324600090204622942195772637866743623689977891321025741180, 2842670569822134133217200823797330660741913306436471320565510759159826951845786068599060, -122696321450847612495513012377368138405502178354039194350341752244763654308227796304, -10043739625508007496522784119264240762441490763903162038276215173986563397785682944], [9051713316779316384242540452073256721937351177983665485793109720981324916333316926555412779473102752235394299968, 449468346511770472862083419504743450296527167837292212046216230610554734833160617095929773275025094810, -12160810413835576821740462625994155527266434171146761753177881279097735018116392742550703022, 8685397117260747034718920314115682762268092406968957326246196150724897951711285938537934, 66794002146243601588816783804985805090789689461990334510692037166504867911226282822, 8780932230847903399573260389453843974922957357986729327806130490374661985905645568], [11042029946633342704642389920811622364540676462089614930522379551229782584725794182108676343532835922995468608728, -476843776173294462730027385201050490744315044403157213193255684889125317748428433682091427301746534153, -2266164828287694134611062584266414421173520382722343281181409336551488719394320319279261381, -20733760086933261501504692033700731498650402882113034593483468055145324521664670757365147, -65399469537791186988462762376785373626082307720509776890260067087235293388792957231, -6635065115154111257492535026554207806496342009617424605869657911573346721480090624], [45365477036053889218494622504258140595557429845449038682030208893239138883745624709206573505535545930209500046616, 144947818153627797757616917172419887758665158713267406468492804532097409620445018438721247687714044326, 8616051945505940273684500042077290397130693293352624822830481769567896198764597947079084638, -5183419281346923178353896574636666444015155961783707820317814384003616857195004809905550, 287645121694272215606163092155731574007175088391638189996696096672348922959492111666, -10948804264018124415775732777333067880259916194172502844362684733011783226607704064], [-39683207029467028066692856632874852809427702669328251382738012165216174758520494663659273440686181618702743961866, -1268137193604180264783154713341972542847073312777883450125939056972392194926865114285201955035975517428, 32397231582308147322588378980025985212601149942794289356122242864792748649525890315268473198, 41467629087462730809676632084977209645809944233252505246676835456732928873888989211965428, 87023614391828197953662428467760751812810664648847740952324668828005453063396799453, -9712193802882947103958953264561638034541477927045683238866514272673029444214287360], [1800881686677936729015679243105225335429227824893988452501682120595655371130523990002533439068203314983439086540, 156387011401589307477701831775893218360281483386114520577500120105221994203439557938219884332510428262, -45953045625279768932041869722269344818300258632424984030195929404963160509679042706378718026, -9363637009321995753793670712359181704765323713527820377387493891350395016686551721518990, 55582170164703578694192993786445829127695148789792043014804213089929620386254999998, 30683553676658620605409754129785783678422021365755451583029194017268658466630517248], [77199097085694182408221682154982268145782236160956779643330675882491713709071017596224515350686152354440662190096, 470231397342210848192065224280622167212693519595672107206753156167838775974788120842222650693288093836, -8262258172880125759540916602276240216162485229359888258837147488903816158611564438097437364, -10767359091678350734072691206425082292239610341841040492430027020891945368380633735646940, 259502129456522939249070852580678134394218044217838118841776393460891407388020557132, 5645657815634684969782887327886003130056865434283543520621014295115997925972570112], [12210234443394892718029983915358524130642058789511214433770305365730346721631402710394464125091794195109752357586, -640230025970989242214596303340214430297998397991750380938045529825385435442563675701093649988910786260, 53646492376994373974667621302915443159076425524305180498415166472476019359370466908110398840, 14088750372023983012655862419568188438827804738985241502629375853176048573411586705290468, -138948132609584868120823428830900368398284827372597072486809218927203075524476992462, -23660888220234198622845055823331631919486985488973819823167520766832299444702499840], [76279895079703932428950211743450223198354577521602747831392222534254233234686062393301619913505840271751785887318, -681946437076165034874610610981835298871876880615394718420437548938165984001910778540189404159434381647, 36577044822165829931107971073677559790360242610424537378466300049816797319312264542157248439, 13952943795722250877304321128157940753453289263100786333782664534248868878993216217223971, -285972832360685942178287725289508624533992889362318485639270080468095531639006027012, -1665796209203857102764534723258499455301611844641689088596999803940522161018636288], [26092335119501930929204843077751375455902763688817827148386794952544391555744476227789667869911623732067642427304, 1061240300554083525727599953100205057723332081769421279151152915394046568433725283692574544495211127481, 50434497050535739172262030844646311353414117219537386983728749633883271811959666892884345717, 35400827918695245593691687210617447581507017111029528787453509779889282793405334729450155, 948889484252745321341058859763552627523358868959882268505136723917801236162137906399, 3474187611502678102611177654051400856016178764624515379492008263217824381977114624], [-23991312811711412706354739999750331295103823018236430575051702329411440151545769272926224185572554171096362088030, 2908094229837517424030864287241167216454609600503038756884153528028531362381004821942652735748728222108, -102082717110262973091819827172081231747634474009586500536126847941578487211031781525208624300, -5187818091045866233530665571812461242861762726246374470433642056436434379733812884385516, -99167581526421706978490279622671072097473753312821758784434732572250660160642566568, -34285635752859887722966699664718308674322841624708002740234996946004599121668764672], [-5883120747190923620959988905896651416846494224454012576650497601910233836651772643976599624742842664889231441906, 983463087108861843643105674677269853319428654255676830240079183968122682646878032459471205242720748517, 30473735461201634760019876727144862358909567508885869050425673210998062304064203515179289643, -31087511872641877872978280938759914471290987643662702544697547147469182055964112196968641, 831661121089615949621580971163524918024981571014957412221156628286930261355800565104, -4786368164454770402691580750717041052820138911337478201317051752857885437123701760], [112930326682763120271654460273629550377824620224584824820552975759642601106758000718840581161023255473948512659860, 901212293405039972527393481684226706178110837873527729074878834774534790729622085065400826621520605120, 165586790747740227011889957061624929669712775720855762291694099194238073858327794491958977432, 27783162788600607672501658517918489355644084818329019900371738101739500364582179048747264, -866641446926166398510132544145737888060559298787789291817237290751672713792465911124, -19261103713615686888028677057995161773531807135479872869799727939440971402360649728], [-75452347276818273455199638431391218277538874060059044352933959837837460977862277904180612770189961528634902215014, -2021187877933124997473384763246069911547412382927945828087347460461514231984411333881044943176271964044, -120706649730177523406534317411983776788385319634609939750088776287610491235425800167011593788, -23694973066258860265614276820293644631122308723008868444498121031136926490398263027197860, -286400907499890540573621832647808272123337269696554992794395000712980814807367279940, 18880080386191824732903000702008216453891203223181003996985657116467685480167787520], [-109192610619546393811446874411129656961876950237797233234266722134109679844600708929157156696837068995660699453652, 5876551092377067007598051819275055331332448522910420073158844072388447313822162474388723392957565921824, 53634478022647941740646847218786420197846020684183796582163581315788713916358666380559260872, -18799681957486807770118070919723319441303302000770144067017630456996848188248200745485152, 798557982551174081942949087291080407418608273257565001367482792664009621994586327412, -44430653599536845784615064314616192006188681957827882370702121787195199324250761216], [-46868964600276602931175204773754537045464629988323733515640796167700527240267544657427396038321538941019168404834, -3635611206021799139647311586284501281804757152208124093310701966175675233225994448503822561870280430256, 87577263610697255310163942194070672652858690568890478382099944103184300721093589501810230610, 30326344555335123748983614853540380411129202453610056505322882481742574650254253928867904, -287495836082040421960574476680094128828822755754646411491823962949670723143583474927, 20789252040142884084886263676354613419237950850699710527028344296129604821426105344], [-80277068261634517077665515611051919727261583272121680994161155248259762264964676182594750782044627363290970019650, 5853813644235384050153685088612019319954844466364622413064035738843473737424810299388734182412579096113, -11513375258943459316235594536611575495835446759804750162334956081993579293649363277845266937, -92958224110143827284009973519813039608122498357150193105124548706032676256285309496160733, 331557922823586530233779853682613197954248489663750017825069907244850376473738622436, -93128989676581145638054282641185428130180875827041181228129541116503245773643887616], [34733955151778034438317844289112887107948811903412700250671986296255819227709088443483242376681965577837486131152, 5221638563778942794618341835269261824518339873387582492359014300204309974812398233224110841290838178847, 52374392381406363910115192928130076116350744137579870183311426882885609129976117653614008107, -71944598978310109710236084219702189404426155293438348176129062858729912851697245361462243, -2043815105340764153814263652825702867357779126877916233282510914544097751272514203747, 43592021740885715590629377082926796492896393656453354014454583330925613952916965376], [-24463504827471892472827144237000966274211484144480511184058885612536312122083300511580056510551848745715897784618, -17984735269399682765730337773924601872969295974699078269016279815748099003678105327704705279380765318573, -237797193576365215116596339458106507240219289843639327685233574343262982183193728840089922783, -9670956332532835895392378167014997622994604587537471274036849072010824990017253369543287, 543836619396625321235781379159284368399137685706400456376806379782578399890369712530, -53451634648537753253232743830668319982614042770884194247381845348622911955957936128], [-59690873097414010537423421932167195956118650542197090944783682702541943801945980117847570402065057180943155962180, -5379154491191547132453256606644409944549600067895649740351103593303051607968575386687594535139988371186, -341954396125989580832785128522510693438806981789949983978900666594944226102987308941323792078, -26971073698525787381344484548616912493451221155602809840441997855206254310434123673841526, 1453454074316692306586608625579533174856837187026897819278665714558249722166372924432, 5155002427594030212269572559588280938470178548211984217382551119947941224038015488], [-226285757263174793381172909838155839707505562469343273609905915110806263350486751539758935802782543338620762042812, 7132205110359003738081795332491417523984426779298839900008875907315116692930033296631016487684828623774, 284364552352036152649226363262691370485319206831174671287387210528392068311460321030138616846, 135267800833816261159421246085464600678303304032732456903862747946872740295533823974482458, 2037734185005059561044164863101105070612391556197717651323140905143165967848034012870, -3139030246019873990233240549990082839316583579693438893757471601476459920777553408], [-366349889501050073459984352830341804807149481486254972304446402969236060540955704172933942945342518688515702770966, -1205903340832749776007569947728381183451995342352217458026921885322901436279725921422879588418561364088, 566642856508747110326816955222040438350877216625823572810238286066043487529919377655430927292, 266893752924170908521493938702471656659481660624742592766815418970661043254485690303654840, 69349890868745307497771206990284420935914280309461491067558009035162482912939823714, -14212996436930894891954271973102513119465039252646309208101348297545621909353988096], [-127700874826239306565887548117847580102063442910117064818642877658399246382440171936546714992490664059005838029842, 9516477394971373599218375823459382249869837971855583800406775004927121892319713740743852314052320474677, -305303198778271407602702130330113330280162154608220876207566497032058614261263883703461008709, 103880606638088477524604519669167206717998409052391520842023761807386898702436496274702895, -3711383080052398590183743631366562475796682682552308284900888589316127938899266620320, 55703045813541393075030288061882866787904097980678019436979783045297497199365544960], [342976620862067902726288752106547222032851017312145082310404214172741009024992057902706264589876643108632150370784, 8505551451526627659298150691923624859406842805549047024293945384991460746760138474239938021008781199749, 59364249556528772437914116568496105802734687096986661170528802277732921657604159798988002009, 398531268999169381203478215044972192545063312767097617935800806164415731586921323232419919, -1068422871299908346855237255355377750117021701242481953989229800221177426758157633705, -265424701736040499101927246180230664963421894430799095868649370579889337920219869184], [34875856023540161904479561196716636608336005468635676126092455715998866902468095671438311771911974628887291236724, -1447901473747777056805703261172525949721697371257975240858204717455636259936382391507002387670769787784, -347681993671411436404323459553538902344023997110127363312000333149287843462364837125285673544, -354734406292316809610342949544244855143697593395718701690085712507769300429667676824531352, -2193295815718477902095641429742273585400984945867521174382056666846738732216456440616, 17876376267308404416247710752988577830332091743939914500690831541868368445182621696], [224981025755701124377872489715066594771169951803548000637318206762763723325884097868934081923400989655914403753820, -1997082726994745657472576038738952721420458445603313343910808749707834748987307209450442536436378470154, 99896081906747177982832980547258147120226850558795895463393332519928844966431483276726723374, 173098642383421443895854392339599846673975490170019575717642197111578428413356838310585442, -548969666148571385685129408827940233846146620286218558483669203125820806773230525246, -7874422946929147689262500943836981658925168068799460062150684772505501823795916288], [-537216882145504530362099546561261140554782850713563281707349934124117183328130586124409054295908675051350689821918, 10956993304459676815850511148659914147026398420544420305341699035101985824400689543644211427440700921828, -308148922173521069214751658825357389491965897064292442800890517117509276948220391913394264512, -20110412120368886887341593511170309441871299625231378738155422866954385396381864834833780, 2014656933531939217926381070669629979975942147030259235389570380543990815214081743794, 138519062077238622742081680336661916176832690268128894111134209807652558101613077504], [314440023610320523233379456644688393572734028746844398866518398454701771076942169457666211889030360610258738863020, 25402013528449322725700885386097554390110499882150543700964806204881610671676713191585405488250010778570, 847736608746971137833669191151025187768892542841175675996760213378972345583487198432034900118, 317112357976806970089664620759359286212553742079521371335110322583513463972853566930343550, 9346995547289660959348509841960637946862214197941841539985931473197485417598172237824, 245946810613640013627079217675876740807620979439747568079783411403028541004629231104], [400333180663925017325592657433312615468125260525124215944079012208443844248928395661862770562138014572820872119262, -5976638641468037830522525731977227857932271663511348959003288859345141940628835646426417416645019606578, 370272084514613392442071196223872065044854937789045359776772098108606281691017011381409474232, -299167542850999835917244416512558634276244912796361641690464704988992725855298584266312262, -3008754338877627435193795609096997901870008129473424476395126337651860065227367722509, 101627634138424679516701496535314536195635034778461562007761854963767579992447996928], [928142537314418066009842437187787509828491418403183216175263866946656157647651474384497381096116774210516891652312, 11081234891905788769664114143636313498800212663180185856613750351015132569333239046627978025695410251798, -820941011689268926510463886527179601434346742854274012252708566178270959799043424764182285018, -339075141403026992950906314601381734880590895061878719968725035956482597053040483162467966, 2113210429754963197144646712459660979516052063788756523609326953697740275723269632078, 152422896228593809971483759025296817203952666157147687540303381054836950764848287744], [1235811971010356656196283332592298739714672233369796745651843301172978423648375392230623664956034811056628143900470, -10702461802947142269922258283078889209953392237339122198872713101397451139587104449345947115069103354716, 869391247460623929381131607694687746775470562982693024985363391306676387458673992981309898886, -369709019437167456214170824559354047457513349408628546983265151256812292625907468414174276, 4876891524260115381262580602715752122928417701962052298117764755728581660359262833909, -529885685038357875810727359824564957961176390731021549785384898132474221593916472320], [-120429329500447061319042134451128800515357655568010804789264496013820877283128311675502361931036659199128513723760, 14062481771487627280026591195310781177850711450971879514161187819539873531494173446290890479083383750552, -1205662876149688395638896196514754461551111275689739473114047086266616495780164870600436183056, 536430916082304537620207202014480793907421955834591233113530779341797581307298221567874952, -22289118757458174957316416431563120610844491041049913957188474855586949834698216099964, 27797344311490189240571696538336502787180880009464639627540279757530212228770689024], [-1257714149290026781897585276570873608325942547714623540303379529184157338818674342498722914142194133735718923627338, -52417700257566913350162571869040700066770554017556911462031266401704086335565825128889893300154653696237, 458964051879985477479298890686480276935628295656604056984963803137562495100585191958491139041, -710820297273251952653661681464258049535257791895896348911072992693016270427210639828145207, -7992237077672209967979279378418856754625169806566647862836173281389678802400030955950, -95791966639538646560487600613479950027078602647531167369516856155991407704145471488], [-1696966223116701492000469663926337897885661708773842037260573966868054648845992320231598229131757401857678276227774, -34105680879493362010873825732477873014692873533632598973411070678270569215049072032702089787962689470966, 1714142330861741291226886026042740743646933689192703524416061316919767165207853503137669833570, 1084267083498235272759443385979462183545925338594181637982357088612889183015170140500260638, -15262989863124760841803100517348835283588610371337286560297229702763506857874374021114, 239506861780177319688533366918817961393226982114400881215550355208257345210600232448], [-841121697327708414602152807804132021755743447962098517974348074969064349654424012324178756056458327768237981072924, -42506032384041225103435916569531522325728520227655594015036251456792264935513064830911051822170844382750, -2330963104166890659486715236086552864344692721794883326752238430793647385448894994433085055502, 761903111766706241537337419229986793333540231542222971080982612965430159828855610468731494, 18586673176557322132604204862737614100192299592807375531838060864281915653967587778810, -1543459073621541974720198679165843857412410375228389340059293433419626827718765074944], [-660231159962639365298848641700558052319257125330775814361400393106517871730834567725385564196472582173781542290840, -96927022751338033562547402407407658676435539373696037448745717639152458030237358884384411070735568935564, 1527703084993332945633894336844225280852642570757775016023998489134121063777914266525760082828, -52504441330591966583595869789055502037139207466539543959597513013925450570420861801973092, -10522589752756948053388162268670278117449193232167153434358288415336609190508843145952, 609001936718643449020269949140977314431225904280191095415522248174689349605752494080], [578285205382657763394039101126439714750483404836795737588120679644281237638675109262353343952377322823147643798602, -51114926481909825639717800484522884186462096201717455074466097645744967096144994394305497679142406297368, 2938708913493026702346818398985152101562728516728888942416401622713782531641573810891693251864, -94042918031294990772875718896596802980178330314010683277671061996584309703853998753364168, -3911927647139960535889895789334802352947182123462530707291357060435315802795700070336, -1060747929007243998547808388544722926704858736651071024408744433557830931896048519168], [-2199595762929490182722425199030959624990851503157985286486268943593264182160981480789688760495217532305103599585516, 50703903248839596502826472400779635371802310985079937486664325868021976613163683935355132253733735403740, 3009086270276650775057595936375138935356307450616528331053879174946005556683808655888786871724, 2415526615803758720538887375466318164565968978206926879230149635000052745806190645063062164, -10491746100709427269026188385002814569016633700157008480587703627868256070001455068124, 214459519655291181938624293493464041131987818655284536659681683439331452956681167872], [19055021234177978341340088206265738079462567148619955166812768470247371349192582005317091278124457856584842113952, -59079039017956790849993326502003947395703625916213137037337556429189243403571727771171687942598784749906, -1020763672139327712638716292466239763536900544328028705002854191955024983498079028000156708506, -343088053153294589435294098093318583375199122077003599160303120169272905949750318834541942, -6951692319052815855449209648429237495452198175240307033676689694980966771545866848390, -2621319679082933427063200184185780261572634069980892160119620436872254235848378963968], [529224694973516590362559355431754085005994742228261834332314948626350904872082838397100448612499645955153965834818, 8667735653665591829601807390116692257778511053289629564861922703402751499178465512135878752765474110160, -1098003582620573992511073044670221256854334236177152640057217119566435419619986785651220626420, 758423567077390311904096711433729144985932712830185634552392105541935725076903975356874704, -13551146517304224052554210488645558518186574398266264575443724388002463154789899542674, -7422358596897940996309257926519596860842974358820717446153536686241100612519405568], [246541494293708752192645127821059713851885144078515104286277886257599640933783567501851193777162894838865018703314, 97637098119602001468866808888364187935784085687853380020296931812860298513615890922920686471104117866740, -2750077031555742188463795337886281983853213470814063096363145990812920635383202745216459459020, -1665788211496234486228657560089480718633393679259692673335255476011962485333643528797616292, 2295998573966801994068675250072034221733744224096338409994762799892374951405824966452, -201994529997600710731281861541593007118609923673452698223411479479347133109922139136], [-4382440023346211277565836087152037822899995260512021239370973134895271651790089705678526930834699137594284908246284, -31196110533076672406438662459642316780293786201075126128154384762680530640720284530848516437869485384120, 213149516322530220986237815788254574308429607704798082532807460325284041479552931623409951720, -1178710343081589770702409687734169413450826361476736844033432642324600920166346932457827112, -20353328674115485021290199397815508209126500532404255623102607390781174141997322142888, -1962802944427808215683290430463851338286292789824594681846787563478645023313221574656], [5478189282566933913824887579675884146288700787867595824052941538634743114634194413484968635993410440840501504905146, -171200661547196243226527285065532199092086092571742832548591538025636753380262699210088340164158967677656, 391645183362292604425569230439468802039009711445970001321030534029947865286535782694076439324, 2292024498465195751199107665725080255095964546807904262371147473044026803503855334245322392, -28600437446235787488094634294186614938999378432217005870646884323977886256381659541022, 2498671978522491507007092344160113639798100245089930266631583944653381779551509282816], [1939623065493176459638375862160787508203393451428002335857107742161790026173649193987026723718912321110765303587934, -102608484766127533543079588817448804187511117552906688427102606755412255811465202064772413079861436879817, 5752554272765524179648590761264112666382370787276418811452638077751213924730168602711837179029, 3303995778232510771467543574409121544900023458805029507604206779944877994394141295548602933, 40723523259273832831868793858036615477968477475234144367840908658351603532722200743006, 1159313313068059870817401566550507667766204333693770727672358861418634626460761013248], [786041782014477275798496183273917530820563520950225797147435425151052261951049457944975284650619982814271418349680, -7795900414916691124728718096367367915928484299087294956233057806632858978088430604302409061333676853131, 7133601645484991176758143146695210406785756066661983679655360112370265023953685716856465570665, 72907660948540743489239666362836175366324821995372178874823824655270074372795314557622303, 20486217739562238069167982357149936631116723932324123945154548587160028733398889195671, 1339275609875054603995345978366327226324599290670436500527311722549062243624316167168], [1794697844449740110879030295915579376303663971346016580205296651629618105271292865945720352453252365924672463087210, 133940095542566618348956624640930735925539830432329821909510496194905322575253887083263851988810252984518, 4344719007882881867208715579545626619414362540311067975159402279454639814021267138280211294782, 3229087172049556651752559118601347004097991133606137524455696696939598502545625204687339474, 17928126753833310285755340736030238578314852096888302188730105096055155454783585101490, -19009702786935740763751116466726034871137101352243670172128447308634829437773305344], [-5296294504592805895503774831879293018082043721470921089798126133946073359400143994139345098819405538334970044243086, 93960181537607630188310698446214299455918071514745726645645226264853970924640452514970117863608464668252, -2550222248938613481127941775511080140422511837117800762480606230595809505245872704008520882748, -970025862892275632114495110706895951563502652421008970629015689927801815707170656952241452, 15506929231819072958878247239145342480595613055475024408896087712749811030108682301936, 1774000890543860016797096500547609188887994650500819590290459914323574585888399090688], [-11568399724023259439151582055797629478121292974073504629399601057895576239318364483253965830297942716679666081564860, 30720356940930890208094773232150923433813510569269857981228992881512107765048619339991419156989391790226, -4073681704799598463434793214459272925019621703098178844059137615453447018450285393258715870062, -1098980638976987305031234127107873208279062367068089337972922661853133386598277077960551946, -94447511816831412103308459878755469696753473377373907732746178713718566869448945109214, 3721781098054616019469551453481168906370350732805079571916936848929026368344977044992], [-55251859466084643225222537601317526824478797546543540803162618534274163812446046144269855757723591484193005185124, 48097627471698200219886317033176345904524633132500617547109913581732659236924706224739181245505530124174, -5977062604439927609571804819940184836145300993456217784513294320150759080062310887556661916346, 1452295918571874536173633793595185392721928810443057349598843459336332131940159317863241514, -4955518576199415709147032610217444367845946255742013883446753887217722557832105437734, -9232153617712045507616553215924964549759422776202278123832535011234300679090491340288], [5003290729218482566217660707190697171320053654458874564289162616278443054077898269890291022436248690693769189638048, -106704695538428831691764391797802895497925462494517069309540727866371996498203757995006993604534258267824, -8006502546417272475447492559788880134430743398536189975248908056303209276050925021860332962128, 12175473072475537864587908689310333241552915737570529419115477373918057662721713875437028592, 121104008313690651533632942619864046560676030568943097476119135309592622957634414087808, -2542239335858012144015924089025852783128475660810770186583323442786114798305165256704], [21933884049361446758303909414241590135289952086414089845175607905996818814669449238211935939077115855627164969935654, 248816589812142090871764510616221911787849588002271490334932449942605853997274095819437308616006622794885, 12907477770394816853867833673390655066546197197223332479629018645702613706776400192698676287299, 4077849230663922949142883318404988431077967906506204825517778603373634114414504325474654175, -21900317550881085580309162183197117168015992756174297353657185575848389000957035444404, -4602304027710595911962567701277009087556564023299798254608959691716780263527783056384], [6237107179188312816212314720833778053902529682977832036443164212149730510175215837593751711478050366400744064880862, -347773589871913549548505932646042540834689885107771936218429579632205532913921037589062279873288896863278, 5951566294216582850794472761481883712358519126941106113570364607772055627619321774034442764612, 137060037405519608416131737583621419884870202617085077938036611258455162514423828537887110, 51683695632538492529369749371741649244758475001597193935952276807373647752424468847451, 8807564818911630000945015848455840249810127318153637907999272744063366434722246388736], [7973012761077439353784007841580460433090814014515760663927428011625828173987623190662372089555723104905867569197662, -130972782981149814682842284057757374452543203460502347929048339604292315090178468514375652579191929802207, -14888845739193273890937108799960697688136032741584668861870253168140748745439245296946262446257, -16873047070837363515632768818873977863764514439140729567335787049697704305691436911926349389, -61364899537294589684965153052698614821607465386721488289172573694047860099100030652160, -3439288475191478023575509379160203024814482451878533151060370823449243565820745230336], [-4113425184336269530053292248063166952587143428735540641004765400301096700989485345599129859809785696737349183036240, 250402490548841991092118629280446700385334220068297322107205876584476073009472582965822383965350838029227, -6496672536694249156998352476539269050374383971395683008163357785228858285429170472015172508873, 8389372926586127123992997783185874425263357407157785134619647531168828125547681945835130945, 263674062698998162837215497505251753558517871400965994454963712882896484475082104354761, -1896257233808593799446540731109327524475170996261926714948835705746522973978663204864], [-16140193039818425549215460699729898017081179725078382852038716619280071958290851585291693016797024801956752766239708, 261851587099683058718032336529609473807761858197831293748928679977821414549881141611158448248818706113220, 12087129128069268907120496265129331966643914937645461449245950871383214767642720895484327069868, 14117323517796258919938044990607226678529924733224280398151269758377157367174396743156345100, 158440820913003451086088622978354648254942981656833975107790805799093908963300663617752, 1292102892104700733872706610329748388254045762671796695555802406778161460400119124992], [-41657531142625899907804426450831976180777843738672219372812900416198465983245521963235253268015324425682419544001300, -910047969482391386653415116448854843362242461907577010176964271589644023992084906891509223561318422390232, 15999375711428427782125707186770370108459194403979337921761607193212757272376531849302919180000, -11271729757484747629396259683160966098540929516259964510994792922504913587717225293578596296, -117223773610082664273365789561330169032775248647551336024512931599103088916582527737660, 1758610316681409418850678282957021956800823070505041898888796183823989087086362904576], [-17987379251685830097846625348174208899662378183690238249312396365106051994810141609240452492098639473766186178050852, 432540629962881254873232524057711629132506068302235933528393938887998090990510178058762269507550636170942, -62455011045888267365341901231366151542608636738451037770608267438059388411186540322322019968414, -3683229292356782692499708476614379787604573461664446006425264774712510055993475128045874278, -102666179531057650402613785222922507547947434148312748708481542987322507335233251077888, -16383262971340736368601596987979819946096406373980386235505477020851735599007190924800], [2529026627725514503802383348576366690994377238782370732126066046060032373718574938361322040130483714368923737637806, 1014323321261657014173436638162560569649834058263429724034711667677829465653281945080502945737671921613544, 3864925838900226450794956438210208020308271574461574721833977166373243394206319742064029986290, -4154545273266170412482469649433054852440162432451603111468806789560542843212151598988978872, 403696304212499537908719332233476635704672098044027795419768654977887657431032718062573, 2236907052808669083927918773144370858914263628181431049652204347210574954570273704960], [25220895345912067550513308868959283509036955525512466122216174167578658237559609366375431715514450791023249543555234, 366220222126806889526529537888428953313951121418050335084203225395897658018769811915296195844977617736436, -10437221789227797919101785556765655888747538553309235563448006625321434096650104709346665338828, -20506762421883023156595967308070018611829045481676817582008969569522608368986178220367919780, 81136730861330684526446265354666918570006302312882636524316587223032594538549363973428, 20522155586847388256677720664885352781168346890715938556659711981033995277950808583168], [-25635423795935465010494518100416941866239453731560361488234806695539464575163015358712243680552493068609919780869110, 1197539864811672503687189706220193944364806890104546954178519999881923453144669784262623043866888377724104, -64979966358234268359275711571921384704744839161967028901064743301292844174014264849808437144396, 11753310347891667223922774163770370818429350450654056345784653585523828269572673380238751800, -554087715806848543708999674023772040674533832416339760933172681223952240919601379385730, 750926672301388855331989423500275975490485016598701196307281414708446563505555333120], [13421726036059187040183854304322300080265801083103939382439512758660799118929393162117712791605636530173703499985312, -44544572996281330620333550111627319091727639127337912341715581443545087868801080694278865931103593906409, -28079375173639198246278599316650105164395998232744675527985056847895644068028999264072434381901, 4254245874877247739436134248083243693517712757982712564982171024905517957573281804344654469, -352016131193167670269508336301311919014035017773574164085682657021863662722493002370787, 17688916661710714591053821089253395762009112894626720560537939284722293380068843935744], [-18330239462833825120972993414513460387481593071319500495133709627268004620396709295692747441293992955867596879072730, -1166047608531365520692116637090691514334518193304783630411714955553707111614381084773946546190078042424744, 4231900443556590430734437676367331244643261597722668428952295224209495297999024187020191341386, 49205231851879349960679848055656568054201655548585305490897184295553665202253616889425804760, 303515627339884493563468971201549475447685745322348401154628014022743098057206154541777, -23947790270864972869154969811858156706175996138171015207470952799859770464401716231168], [43224879094942919596204813654768299374087238108032568525837185317739713175931786982082695437421376973461018072158266, 110781255083355961846514784854429329203812068784867919012647821114178787974376659123804112525499167786614, -114127346561159972820929382804272258550181576614271848529231181040225543751074978732153392843258, 42426039808161658108659740960148723432128678808540593069528282107365216221102288857574277794, 22256351251936708921644896292499540489751440938983366755782900000305539756844973743086, 13314751094836130179360356046654415411366776086510845666491135503480795394381253949952], [104109508080985578937919270805116425296522928509009202761838111469708812659753720829912166736620367138337109575145958, -1233476854421174321517488281803945255941756965386426393430915578933170892385394458980565466388709323900005, 57914394096806797157888120863184413364390991747977253033695023304373320712476872083633682096417, 9825143313392660843725224087632520479066606999289199789201001312167039170508102872620890913, -508718876340910699857939734419669387701363635486031428235322238225497432051892278652810, -2785155216181799996465939150001681775666810741907935978530685500866037295160015571968], [-85468579568096240550595911866029903965086079109577614021137333009568930224854765541062686701481634454758978937608968, -191179803680073494634539327726315026500672908964546251097350196865905584486146507331294638090053572296309, 68710652479898309780182260261851452399365175120746594762435475883897748719592862874193212232175, 17132445906315334873087082545542662646790223504857913145819658319356959858206573186146187169, 113740813049796905741266192426762776437367158886962604065879528767363814661395866896405, -46236827062711879321091242749597704491395510455520649521896815749315424268152695834624], [4208291750838505083032305275337981622849206871487305993595874263815481051793355389651546666281020954277099632948574, -609989948430508251613835923319464062253444031633479822330463000198573412372942458893377946101081953213397, -86077633877237776762043747032450902350046535377505577456937879043842075757978407618808858307623, -72616728215396874567677719299022970194238128574245205123402043337199299479610158633638034159, 395950620721061097333529776415734655364230929567097400952742786406722537607092650431386, -21709743523744113933273268634406252447517885181696088842675319529850145161151404518400], [22092481760123529339305008534450722819856651530287700873757227273501808404754434378357125268334289828204160389346660, 801225956925362630598500255190735640440674527586116781669724820367056399492403036558200970058338491068170, 11051133599143641711696464279599210740815609778385208974896351749373977177591064246236871707478, 56280604767748517539423612093839255443260271320509165342663497580491598001288612359437874238, -1080973358893170201293714542423031436245860544636287242260590200469630774474721718346496, -6003627782438185241416848899213072311282762570431193410791685607581359439100137204224], [4982893189282000326498653433296916247883216695504816873393888593727941804867513332390832673633596044614571208789110, 243936443446188559360273134826105823775960013062868438642081828932653021546033074073768783572656189340758, 263986131364087762675680974207148963152757440531664650773204615110482813560692202763777644224960, -35053732098896947800015442036570760201483006119661236486837211289210329522069343987686976942, -462123655164379070791885082612727911099031500429265356273217363201783350908506009822981, -6672615541221550034111887758174281619843436321769183793049291154794905808228533371904], [-31787012978314239698962429290828699722331200141077744389807916251880192600576043135953390645609859940964973820216436, -1792637329694465610244099248455123559275193297098713517374353569529735438342395114146653433266393389550980, 8479901303563713893275977052442321470438020314363140461763338841067900466906779532397363950004, 15975709932086989054759395981959590889448969318434617164510253468555302842710760657019931572, 103750504372166623924537980030552341406137635491533412942557704465572689138503039069432, 11635207226167187082727075038324388960467348722203074307714100693398815093044616760320], [-113766682156435713013688440349541947190493521567322958573371014969108705803221733294292988477760533393398292850302704, 4051149802197451548372786904100474077138662339848571946627883760536045396241014423287500784206682938913478, 72118259808949038878917864612809220369727940593943276167383582080397060285484717994215628376510, 14234247543517288717573160550801305289390239983449159540610690791895150980423967253448084434, -33457451182834134647286914947305241760373009380574129171236206040145299423146626472334, 78857809853777922095188725505215393860944422673640538367749588533213781718330491707392], [71328436169787280548528198246669011709953265499479190520177833152301293690094053234831826249750427197143533798911254, 3737606037303637977694143276644217482490959729916129884462045137999640256634192969048291331334552603109423, -105080511806522286482730933616199437712403154233132758439107643063376679652674849163063607326299, 50919865218891618968100857674948149467752514574616655821704581147027629064140919521537777885, 531448811647343170325257883950084930133714948277238743706739987239054093057305616915362, -24380722307912678403116752378368337655028872713994532263550201256358906562390427051008], [-10782535323136372751446004300784988584094142511989752227647635925757433088761103497990896274558782640427630377716796, 1468400301242557528732656872626929662244633518740873205828522039374232141066678864186686704130613252195390, -12994785389875598861994443579372774208517095049234531329926924481776231580219270008285155218194, 22020198833812187955124003319741784350616224660474174333881165047341794254595929671285432826, 1727258818017148664264067012708863899901657207254213944653102588096089287329455199773830, -71210468712418180313411175616662278702396386616937012185306253102167422424406789428736], [255640641686299360012443493448978479832049636638087202946069888265429826512111089633985177280853963396451451773804714, -1722626352974992333364228192187864441939684873857713668729006099505352028660225756419693317193257626675908, -28675114114072611448429479092644065691338408793866670114516181000418305903387332924349563892124, -56847271892632853666002614984645083937143989193847087930498449482048539709017625587644165772, -702496070369697791710598583623494851855979018967159880782724506703260928102819392166736, 44384890759553483061928728490969935311543992906129020959886315501355983129088605520896], [46400102929414162183422643389081365788898890723072308624661753074933316181786198597505656532768489843031868955994446, -875576878671155905070054985961166068085622960629969923284143649412893410132994931787554021635679898699925, 230183238071986050988377754419864740607356254220556843147670000309614893301569521999384559398473, -85989087319171101299347494038938695088742097446852425246637873030258378387329207102147467695, -1667849732030747424903311528659372676348588058281473932150034454350797567229386356831630, -10501104023557344158704334407288846504618266715480252984733332697277404197228522511360], [108238484271863878856568557080720487247838208394105492002097452491385501726385281832174828554528399411652899811425792, 896505659028431171857605908817496964091268316416031014777287685913019595987608978159701964569668965481271, -33085405207558043079207026833676601065966874510164087581938839857445240336516220253791997194845, 8318922937936986029532173067677325274051602319669927590109104125659591721190990066994193253, -1377558492749947196465319275177569853580772621920766435538094166950721255126384900171995, 98512013917477597468927971827005040639597581038317932511362967194568108665290573176832], [191401557029885012556278002616562610491255245453959691371241218329676477819547727025636700550716408884633244180892422, 3524637244273096957563150063956985574193207352705699897194119036194923641514195006133761874767871220427400, -379500818880769759359841633983528916657680553951358971914952549892276303108521311281691250762262, -123644629178839257240691855377001770007253022359693190767630997100975492845930288699445234200, -154880227057717129119272618847010678529659093962044914176014692852748865198307600188487, 12170257675350404242082968076962688051557818735669967246772672009087561674281363330048], [101261097843809208113975531197046189066042047218909385822549730811239636216122543775846644213537099449081446721407034, 4939216809122688165128739162399437111293853196666305755678450961029157486100565755616243148487852174712040, 155598951258892810141682069013979839840158679455425319034969711031748934649668973488443678856040, 41248823900886264117403090222744481477076387064069426175483058786059377268990966651210606520, -683056114718607649452705911981718408043664792121073173318076864854712838762090619960472, -58935063296206609945049839032318394856275897559063598518333846226438038392926816428032], [24052534447366798089119092090920442888807704876812742983789278306632628155730980672173989237622477414002870615504032, 2647174745675968862815780189977366545026840197266541109522751394651595906702930238573486521054554836436068, -79149852933788490196421749422532408346932326172562067605557421973071973427913985313309165814084, -41155966975030257001950989718343243912402825117980398236729116940772021943170163685292148884, 3009999538206127765585716744035208661986798573063588718389126663188506572145422529852848, -97353194977931141006981121731772079573332188467958987967634727772327327563477325570048], [-193547057793515760665799281435581241032280836611345960008300836566302982020292909124272695714088693236619105597741492, 8742705162950412792865663162982216849483577908002834078920789572152629100185072639996926081166197342988196, 284497119201715851350461931424442697483785205369429003375196843022855800160490431154325424548548, 1144842804395234972578391706719477596460889255135962191444590271293725573705915291551970412, -606924188312590930241640598898655240393623569960543871963260178802154831909615674566060, -55957156916958062413600177852746178110710916035939294290359218909643853024086166602752], [-77370896880783502601274427583405488768072268338785469379133253160676142772699900996161034909630133370061596090058286, 1813951692869074827829556049829183485404948893194149601153270332781953851765075105502801840491521838304746, -205573646571132084212118739196191256719876617673158753795791953402625812979148211847540956584062, 37283919710009300822334520357387543957174087842329130400555372624532449710930412088863145150, 4275326043296403186622529114748454296928470316998838207685857133225326305708899895171334, -13710613137250347545438497589249659902626308754255858826438871162098502627911208065536], [25206443482547019850175014497690697565917569564400505860431188184882735466812156173759700639938788129953413295801144, -6764707536752098777754539185880185628760151869705895385599908380336139649423139233531565362446455365734468, 315165927857005997122683527772220495117579973148514092399384629474971473350830339903616944082660, -201971790091393544715395132985737859841140329280620404544387352976310106397507356995104602892, 166130932510330233397463397509661098708253486486942242375052734717848133007529483484208, -5944309305906942348424949670287095969069164962056108705159733398201607735495313653760], [107521416032083047920958212183786386434008680222426678820143318664811537890961814714886643001105332456602348065949942, -9174894071614254835582432792615061433456310952737828744949150670769641063355224959555544946614407111721288, -53298623815528086539992758322777472041276044940604839774956699643872143820988457740938161694206, 258230071155089154541204817584766391415948192615592236751058522701411277270663735054220203192, -2060035584008478233439967336824685919874530516316177386825287276817397031793299738103203, -43021544399217293015722371592089423122358162915485617199331067508099756868160503874560], [-341972546921945534489305109525816274858843408052727353787409982998371053918398544899112169159384074592271797401043862, -14407746270587924214790347665449617898571924577304978547802161657518117123750994541240316378097370362244084, 325084122315010351211053775164688734524307876536292404192826159809307128828364681794953014564236, -58637506218174705207994419651205474690395476971514629391436761995378287038020023904969882204, -237267436434421741781957015654897524840128699756255490333611127599389456058682982563540, 45480982952204592949343349309061591616980469198820837039692023650336622170170301492224], [476174197255957645445458604081980702479664590640807265706644991041198924442541164652841926448787876332272905546599184, -15392340471549642273098804793333626332368656701298098710454827657758551801623331376651718865846888271559352, -593719366088433662282351267346552943955319687180884121067444520731788315918600224282301763944544, -152032272849349723539720164516328296070464030092816727674108241493925992092929645229380563304, -922521502750455561425411279156444374778395107718952429078382433711152451377451163242572, 124880756264489007668436119619214009405339997942651427383569557814100011345944895844352], [441621449567805780817697951046696895208352649700177510910175682529948694602955995921304054870558341687506065686431388, -9494005702075147828179257280259939518439327780347042754450225078335661198605166018320525794192510702110642, -424366308320598498823792099252578475474303915819320232996695992319738771334931171685149585591118, -171656911198036682865297982643899799531536224325692361059404439162149439825284732179743346614, -3774511506842054471740677280044727197423376551955924937828309245807890334035959375493264, 63838894326061622827204024407501628867625800486151006638389315520855932344338259796480], [415209377049402441124491666229795452418643353590977765690396751259482209992632531180928635952058052815686412921923460, 22606090123644440701344936875829247212056753475309502433300416906723536140653342509593267714979685432931692, -826013456044870283891787625769905856105696936169132824845365691614398023317363613744341172058676, -96089832180129102162567299143731704587957177058659220131978143403268682762177529649451716412, 3764131891540719909861306166895493803866617789397293552564782995087458363823191323208956, -327928099161096664839477599066222755576104827928411738581813868006853979829930768940032], [-588014624028578843013888636070843643652651438265896805523604235708275407184804288760840405681313036509687023701790262, 8314359573268583209733457758221493335560605137002747150500856379659730907818095495053914486301369083461224, 943998645637969011018338614465301120161559320369011265012222492117146826177763810536885959181132, 508625661948002543488733135749609576195642971839101500784949227011354445634350190939149275096, -1560393339034710046902649722591696889665840072039309127820612769936674158617510209724774, -164307941557689157539267298961238868769597589801595894813800599721719900366905830051840], [-130303004497185065981147037343238287811073841218651825493044983743425642707792556303989370288795527824224729780896658, 17682981187310949893196821091053249889528440309070249835987309964886418828550179607088964305667178948564719, -168783707718518147091761273327586532858596337362243378240290224515107440658284062482310670836651, -437380585939832306299926692161900020987029952291488487192297022549601512092717673288041853283, 4370361757265863209927968197483146445158813178634395983423505322220945312055359381635674, 244367684316115344238336641024660353304972345538374531614772608106109813190489564741632], [-167987808883693098464099149268867073206966380122918628822019220864923413495558610093146732111323440187463552751283496, -25196586285971858768012710213053885624536818357834576039719092238333832659962484789651085133113755072616571, -1163972524196435110139730742539923925096791307296951593797345426349465156975121954672708512102527, -399619368263168095240136899359681688369991576331313126403094441477870206553671315490263100273, 3162823353839926183204418041113541816155466750051388563019752976448422698127821253752235, 492657614861331878465617595586637885587310731821585415947154861113036234306390520342528], [-1328965194257319854059878852680178309763960033698208670413226104282628790715212858013667840776403277124288404602251846, -26971199824217597987176688484828098101270364185759987194863514379692814657253093624514840069345039223273808, 1435040914987163078521350955747893347681979596287849529333286977762702299977998702076978908702712, -96106077713173131428845919012359319523276924828733725273277611011137170635815805252128053936, -2535316585787766480850459317379581972831261285070360151655114887522134493571545928810028, -222575410120295590914978798685154682641253607832331324370829381818924327448268652634112], [-376348673336481685383963408351053714076380305803135481672288723941545530869239842284546002621993954178432714803199132, 32761185720377267161769096572383102727224247033437068702700967268790195682056510658098023362281702452295118, 1355275373614465476293289911331538736149228156119647396109200177187054500388219807021000989480514, -109615423337512095175769044150593276224305301226107172002520290128640851218361232822006498486, 21198991033697626762663430936144387092019740185966916234644382509389611079136374120158456, 109536759879716741429214403467883314793829480138681908286554620833170372086484785213952], [1949150809939372353439841474773186309401543341714608390705302237952438201459747988699399219139706383557396130104633132, -4567695333299832581551361251141095607241896473874054515333253144437412262122612370974614436690535395431614, -1587942393150088745529194201775392457090986774684892414494893493691768985852245180501942731603022, 25220071452924420681191234700079846488608907619985802647488427228166327407218733613978175878, 172946505307731051347500753073351662128286507163329551356555281747395216918942909434762, -441721663359663379116054708785141128324803291351565198544537486433744441545501950020096], [662106308028304987544156599736355641960805762885435852335213925546822543042203991230987346184423976689567530050399088, 5926073528915314010235907272784393389412674418656577397275431523940555856422166098919706125319305140559336, -1070670251044567246412121744303223717583518256602766675215907133004053723312021582496312239786440, 1571344332929215443580664953596632644869322291687012204579453445951672387175119359079143377720, -6515449092629923450017677542311831608636369901769440412510481534598350250704451421070512, 128076143753993998179451878174121441042780254624090567292654414141441231916035570300928], [-60658454912158633528554085046364416301517758590751907547693166794177621653317542389750122790584726608262906234465258, 85119875530437622271663433610570973279848394610107677221807833717806759953668220267841229545466458673523075, -215621381074571603614298038844798740649819233184383935683561478970334990336973127627849025527943, -620096266481168188818987299249547026491209171126277492719722631632569665045135222274071800999, -20055045029196473144229547190074515046981552004812546140244199192305690733332531330646058, -717672364689361152891092874223691767122792863938439323114341617468997056578392057744384], [1375867283858893166637733023635650021800504531309440815200311557749474509117380538365032120792313726834489207188534728, -67856749044453419141592494197370530372227558862002903788446615305063667984680504994643655011488399920424847, -3104107498512996736713469683262210870842516154180314031163759519169132102660217972304749769953763, 1082901846275455984970768063299541235506895610533345553553183692945654072008832992405093557331, 2428297262695419656220666644020879134012338332581176183157290789077800220789766163047119, -587285701722065819855848294682908410884893332048036937339021270974144079537160167222272], [1675825004134117104325814383741448517474433983745339467831011505330208231783707958134447086623854866189330068071007406, -56682158331862730827332505634961259096964242292314577215227296792353118809012077135930498253775989769694026, 1024656505372001669283470729892943058009134145442086898793542509684810227920823549277865727221936, 665372783319634645385343932270600563451119847074227254961896412286614370764619604799288352242, 23910225792440833908653289267960122048595362529709518658272704366553507608451666865103267, 1106384253005898426461345190378782611883575776765430037957838708455069173722482670197760], [2169163027920392186039861747110913505592331941679202685975394742906601580832696911342309664376458812232223915105738452, 73423916601872957940178105761610720001310332946691932242726045796208492622883560861764426424750702409592018, -4100384934587530161284661625345078843006963596975167262098890397557308600475107139615647451010962, 133006369891561871294586369240884448320356362978945175981286860094724134272628393373629215510, -149214579961146076808464660965859831374973907440568054938143274277448829131768418751824, -981941673673830813977796349645905176522902522175336268937105681958604038868740482200064], [-2192125038678718246218116458665466677266280060829805473327690632643934596867374164071622504404590289804979719340415840, -83250038226028170952790166939564274164819911794991017872784672564053839874201721566181665283406803794566424, 3346513143514328882895774211878338799714983562254047043383064014564184795714725808413524019821616, -270349062867940487314257591674064910156656859058205571004197250188592965176616162122650314504, 29590456454981085777799210668114430078013984839542213936681926941533451168453115352556492, 511291757494150497797981839643938492331747781144360900860882450184088551659485740906496], [135337879847698479875302989936878553663556534421218221549023156393246784386568967144552421992518547455755354986949282, 136670372980574958966515003839355731473559515371033253683001163625205985458508187543530540792128781032346624, 1600067811800059235428041385811796356854414183959269975119090320425926167089385322788951717857568, -2674084031063605919835160149614554130644076017912982303774083656343258357409834781709123520256, -49183030590483817031579913176673124551299240254084371723749797772969677368600692494779760, 657420115928735250723874422377065764495372124771954840946209730895753565931220435726336], [2451022510419944824110439966197988178405621307884760297468289463379727251631145289116806528041767309127575847125535186, -65526032578127309550926284719312426710601857170843621445698616290525579013935376662909230905754272502805954, -1361177273759013898231365603511017194722506988436956549965034069841530260424279577408981203096858, 2257503117624011380237617778531563868085935784471907962321729473338792042934051133753471429306, 42231807377810522529992425215599324848625004872930565695949647996993199739221033777197442, -781844158961723656590894269497845564308419525089073852897929271609087635180022371915264], [-4023749445208906642834033469282557852275825905842374992424204151898526133380598027922389189589583880305258839183080870, 160500679050588828795617252365475779799572042688330893202172045522883936566544687580241641296188444771623628, -320810429832833951680554128385342854589063441874983685782850107584858038292861409261333878015336, -2391059446823271733599940272719037018826004613295446218804755235057598494295228593131799895612, 11778595727918480826518167869696409111109920028866582753032128679879023652332068109531282, -2611307788464379192355821979481420563870664391979603103050718169094811462464851411854336], [650401915255176144486814373667818429005400472864376149144629432530066159699584583402303589620034864471860983653886942, -44752831522541733338018453680088695152765119418736669796145538712494877929018402389492673945748858099988607, -490181240372989793909550951912253385054732758484060974010535161956792746975619860118843747870537, 3252589695184480616641396628115483309304609429733839521772422660539000859874396716710264328979, -7285335246160912591864674553458529259629824892745198107170754908741879018007141149588892, -1210859449708690438733811655185134636457377750968360124142940438525294592153319899370496], [2893210599361652802085602341970168843313986626527463112775612552170534232514305963533462267042703890795486849746261130, -2277266748312272274234478120947417638717944582859967612670658724031640044772350906327106910180947203720574, -4284328629345537332948010627915251242170137425984570880251024061962898114733367064008917944239246, 5080762435292110773563812111193243330335016895173582763235422439991448734410847070385414718278, 65090343042156334465312817287149198160335706749750899211081520798951749088878192014070026, 1101490494078003278108289009465258614199535637282668725553223513670705089027611795547648], [643045337333323941826322653613292838492014504327289712442895475348589248281455672179468864304944257029043628041909544, 118087182650250101189797849833393040489377505091158407322558354477678700492029822220311230579425235124760449, 1473239988009174076765435412771490916597919185204974174617469815788217606588437683508522074831117, -2256594906319125563366433396339693832009668271116190256585523494787296106703866552975177462141, -22884162862575069856352244699313072802744697226118200866367631634610196498527111039738801, 1822626318117718917083938555449259595692052120033471208165306189066001107640109981199360], [4820413819745257225453810792525945470432319421324640034231543952864826230064393479684683434221613682616416622153955042, 117153730965083536766445434160241656129704059708918007594992714420346206915402578385156866985978138133942640, 4358286219304530627854117219973941703716130799202796346611700324037176364455073461123657182789920, -6366532051686180413212361642025600423725446542005480891209052637720152082262811086145672833584, 68897113900690404852974824612431267391346867967787819014845849889505142167979173021754056, 5218277767046950509681378096513761661819087012557261350869044497954425109710150999838720], [3761569171627886774647555103825474123049677404010920055484971642271542775238444824711421320959172777498181869918378404, 102235397180610448926062169011094422463221441500156320770215536197392696671681898669928356277308852521029818, -6622481301015544103703383545998904773745178316864545360547437583931812975755184499903482622419902, 5766653361955860363481202483434862196070983742611432904311509749903454225570657865587214548142, 49230906699827002182640265666128781278020089784914047105657377340407570203975395636709710, 453109067694902282098248663094785600150242381153730067257854578791747019902294280447488], [-1235051211798402474371522076376566662164633520506701088009119549567831692793707772817824199171880299449271633668141720, -18713194604169640853245866576806339204601250944447521030638506216889726766770653654895027900065737288286736, 4741405795699921848440827838763657085181223008384725941127396133236583682913868745585667224063648, 862793497579768416922661398476798446369706590963188779048701794227960458300647639432068688720, -37977110636829561505820770622925551704335604813723364212128555091992671217346242790348856, -1577258379761758711059130795411801759223554520981382880886911921987447428418756214736896], [-19006261396825178074438473545091513084915461925665844201187935681965549786720023444844856596162571189130968721707044032, -169039172723196349960984090288854533659133112963627652547994277164343544085527155664333595207062379406942911, 4897292017021452322387032419486953580166138521730388063764769064235202719522652914265133912821141, 2427980388521408944174300355704173571968728098666155367995763543728788340285369572891903963907, -26189747010541871894669816617495417320082623896780719502472028715907643195328288731997581, -3909691758814492091330843776882685476652361419817594007966160007613985770718397684645888], [9045031774466273202602623165180089456555583076957398612893295134102600904813457067640990777582212913442738003830215110, -79066071646215391210658735321931535199105707239017017357000048959515977145763890422475451437637753254670894, -13306919830140094505647318205373047665140205041530937522881248192420138715050139511110681156726060, -2082271710020763235272312000708815674631066354654176764602550793914728844160450522733771450874, 53929481502078763093982212457305628078708992457857718699601891251473830448154848695909155, -2593351069780120987843318499497181816878077123958174130076168998959721796192862534542336], [-12764059420952716852920173800817129451037128594032405037351117774121639562819537585197612240279940095515767272880634340, -93147863504585625732562520345612443680564307274035152795315726559599959187984703706121169017039328547926784, -7868364603380456417181818008845039193178373615585898315617802113427472668669613642979354962268120, 2943689489931167447641458678853652286548465980508395873991304529824029984811155015973803035968, 92184668942210437645736987788291584147071484324193346581673464120851749683789855930290068, 3989721406262540492181306261053668931196682537653260017625969738878030236226416160727040], [1057504536776887960979714393598078114860180282798431770261023953410631965528431199267090674856515606182218299300276640, -109489887426934478878777255430982832852944433655255707591228057112807176033101735373311771733503881635357094, 8083861334813504492351681106244278343722477958175571408642883219847692630969668680570775357613098, 6953840788235675066234908571745486711932696837642191328054464849168633709184811018698083257038, 16878751191815274789830210653566512995488511633173060138393192475137362815279785731654418, -6281698156461956268278732873840260648547479679443092699494603443522637723872027653396480], [-10700826784014504638866693529973563358263859104288466823715749195741049552711610706350428973626492794286914362883451902, -126220622279892020090662268091085489124938784184312723901300638743456185649573175978636532082051376768229576, 11724956084308302878333630687311682407007797954473484385249604822080348122621518106319699710474600, -5511575144937234626576482473367840177969402736310473982060149202377470954972509377378740992984, 41453304686082501464984602492640341406921588024829812234781093375686043251213381345549328, -737082731135865430544671943952597160534061357300511065322454580337494183678347333306368], [174294818394625503005126984429097987427687749652230434952089418238630515750379423389260564730401498627466009747210054, -423311118278073564194715537493759129249775941991415466289206443951232016011589278649531062339434241796352239, 18221845014949624785380848687693520198023154689304372959233749612362973554102591795755760205695087, -6509898404737707713675597489072967603501229456957069963596390663138135456117779471342445712893, 95587417975081000209707823679115116658601942455533660186173704754201907680832818785008520, 1801149850221220316554796121740788786704804699568294339953189553346435855682625711735808], [-1012442535108461579598448684559058781730419010463021836615516187401258866424258671254353847754287842392775492301420756, -76540354459102304443895700366750402111364262115136125966475994735039306603251407811558833628011372255636624, 12637295186792768743237987607274312548341079539415073267911336773041305264257757851950324812218080, 682553499205758082880461802571442890576357760593098152892733242275155782495502528872478048720, 219918148975469622895531648558932583278344012578473086061852280822047819098277034240983720, 3323673181762166676249689553102267052800467529821298846487341264226383968459398357401600], [-117732432221499492425631857814465750066329225921127160707568053972012344230378888489802268598120733196717752933120044, -293258449705374201995901499356001679200240192786313578678712151329889823106105419872945719659648609577885766, 3157973859649608239844872516366967328377824647815544146976196662211561510304471258068674764589546, 11064123628301331236959226112689712219435245063500619707711484118687137587339706018521460321262, -224014171947102327056014056477923238242255112582685959227828206338419673982010000747499358, -745016048571354533394657465085501544910239473485913639235771187570244209295809136642560], [-24392471529836708951000352480502850243565483088543115467235123790843332679754325611874021966415488942631623850653813160, -222648585906012222675252932662591869329172032458313072552085355170758878177721756345267072835601570877506308, -6419589351094472777669253441333582533739315554391269390909118420796505354039779033083427110628900, -10825372719802670390154440477287477199980857033283106039517213450101464415103302234082688579212, 7047411938164610784820544594607779906972373039703280603561781045924740239012246140732748, 6666348070147746288699221703260545786984984555754015952898941200793034022281621087283200], [18204793622862492322367641544365347653583320565877543200510693483897880185228541270714883475555691923839750535896090426, 226411089896667025597743302446142371246754983123105496204644749956124854313589038166115505147384068222879100, 3039551536367751815275877467796642973921218622828340163831049801938370814163695741410809382882772, -1477979201535355777709223227667123539491605989426798116435945647783570650805458621829618239052, -43829047011580853233140712967936611278183935763573924997013732443932953170347237006746488, 12094863112237228671795663112613688134837300081020273750512643371645803506753028722934784], [-6528416667975374939772775437845978840505240339423971214406094613610052252558415010611077227813118752218855789736124080, 633950732469894560200888775736203569456182558898994672697111792705048644189066241172653661402170447333913831, 1312096493091777162168908242298103847608928823224240831373794304058548289167459942908169029313283, 427952855096350658432916011814282088720810032944071157390536001339985119443352405595574785525, -64194396616155537175690163091661740294379982338277132357231815987887054705529626377325523, -10716724617781420590679864086749527202201029444776497341823231207016987303675134842334208], [11336174615105680851223429727049294217291152094376156682179644776757305056499624466468890241437005932578615415481682858, -616573934450027155163654862797878664267186064431694849735663140020787143978543781935461370833533909186244826, -17181183655004489891970927119252511361282040483426220360285744984459147931064312879294596256449834, 5397973818847610934404727096462767737136229789824849742273983893143373423067424607832486361010, 160319528896932481309220803209862304074626036981110447873705534449061248903969798101787694, -6765962878303663124353275927604186680204776243947687457157238891415069802987998398260736], [12331219872349300282612420217364183411360579545665329487849594053307796209998347153588681939219196610537590188614878956, 788359159780690767422991663620287949831768012422562548249438124183001758709553803284581109492342397604891794, -24092698498513022124114683182051986327273010174206418748828121329375610863419335226943718774686174, -219815238744411783372822996308835724674291666917736854796622203375336542260758112862976873354, 108534150874226300557085251585459991621571606284102743838371040932082791252262644813667306, 13637471036884364646646674961789896496461347897576956158448601022390076994233059463319040], [22053458539936468497819521044340410709228495402520164405025948858671184481557519364935939644571308334480893250283316598, 91868854131169745822876039094583240835510256745068091148561834310830919413054116345979243927232488937457189, 13073124945533828779988647996872027592931430116611718869143791443257051510037346140643474654925443, -1283311742570152974702966832092137001282570750152148014024515555824559452065063213803586661953, -156329080075477567417268632396310055887154611492757849680686532645334603724619552824650052, 14737253229762040233047678116431922917413383018941771237095136646215437376884195949587456], [48401379925265604055998892780042419613357382260342657526441411944796878270797782263462138584544599931520866169500137806, -188066090277711823260096034870308011979630515959134941139014713100224524439588486616232553417387749291618436, -12734889428001186289356985487026497429655632835785360898667060519983569272848638012620580146532074, 5075160849143740721668203676515134583399129358118216229087678913333549207291410655885004524548, 111813577078699551408181005542577870715609255756726679812669931112490700978870583351598185, 4206797492984600726400666568153043752312733835538602754908302293880946625232413003195392], [5710361684194590849603848152218549813498455713101601954187213212986558293719372131515054763935447120863945779699074082, 541175266180550266338437889228210638074938258656611471622552857300688541544768885172363303272428419713034838, -47656654279827890707224108412013984130445097249059269365957933969358319887361333531464704615701634, 4041147062016283464265441914092834763179847947380321857975897133793734490598163841515136027138, 160612519411307655711278054938932469417290051375773712463373263620012667217741963154562714, -19596031396325879857090713676036858759964712762718514271166400871213034593934284647550464], [5322747057428903495554516193792575376704663089314440739739229157348987420656432424680020451655813622656924007332900096, -323024474294771183150442593526039887912217530157179673262693089303745426873921792255064432487533523595782545, -53227359642924002971119337667257155176671840410519202742766294706939742964557846930514401504778053, 17466060037798935116962871047195960895091898497229436909157551267993867348579381767271200966413, -170128964780080132935848864231523833165883394368807523783706400718419603456332050324319219, 1706285294614636743754066434738620702917105479541877974102950691073926578437824582483968], [29014857734632761864618625091831423398743339066878849949776343083097157262079193365138462637440469008790223304931494426, 1681869178046875607266114791000587154436913552960363282190013712692599686832211576690743309204286100576467358, 22443463094326350493630139361684632300694103076477829942330098742511124027967756906751481464849430, 12967894562970877623169268683793647322645502618618476670373146394502083348810523171070020492634, 63287388784974925562368083471118151669710824909687114365844711750983423256000384706712266, -3569245626584488521022299475922105783581069217663303265137086914937272159337233399838208], [29616214347981811503986666336541388792794352417862953017954898179974495548829955992893830608493984772736768436426651462, 1693603110963306018879418876559315893507589709070829957353075812949234519231600032768233529743789878948255627, 28934467253579122793513780222829410436340143085339009132292775093165868228031632524948052605789625, -11819519203541947598780056746349163124554667483109073071822731404173745347133114087296743744719, -512955783815757038382483614809816519832005123344238323624002824707343563598198601329032390, 21513284559169193910159331171090642863079195462033835087072097255645457495001153173284864], [-5452416803864832373009519316268682859970344113541302762159357810023530986692147608075089727211615723297228858866314504, 1134983207374095635612690363282365755466159823040733050814832922532019602916435005644982806105872338819736917, 50873264376157505905790451875631083700601402099031417621961846825747546950297651258087908410930177, -23442076977382456434957815241637356613707625419301034662744214097199633688261191710214807584897, 34606420729824626509421676316092513232087084594338320663950333154214648018697860703852883, -8773698740490196861076358058896326780872845982201539669754979398270599852148012386554880], [-20378579162191525679974824924805534580863580073075211982290740535307472484185796154691631909526608565729411838846706018, 660464176184529198934718861942757711823601257314888712945831449998998661122758135960498223617708451983773978, -20264050062838011664322580648239636062858166855480822359411374361203216302789512055418676715623604, 21346584255659023082572067789824677636720534859766795508326654025464059750948876397118198407262, 144861628054500906044099621029801301542613594095108548265577837544213610793745540575617347, 17078719293006140541247151247630259246913925587735326532246101238532048592696712101893120], [52294628992423145847070516855100949684571615882812769922014882020117301563678450345130031683874392937506762661636630034, -271999862735775197680903656941584485162270600111838528265545522138411719385696110876091674729066998066471066, -26918804799752369896347132001085546742140332383254155374255574072555101417782273561606049461645978, 11477744006259324408601800857867844942401384079915571128352288321583671853827612540588387290354, -65547833101961176962877880894848278934474478449967689425950826647713345977886532123143786, -16008303051489154754764828764673436776437960533348809678871874486639296951241225010501120], [-133372068696927322969499404034416512483949354537298826669372377456114417987973078814637343185357745326723598217840204, -1336765653813807902150253113972675002825744126418362024457148130819995572737261473024330120931452045573492302, -60070496738794353066996194331943651899837203430713083949363885329935295311592964244285966587816030, -31300011468870654351719305309288759290366363531905127806934370135348187826848983135592119353642, 206578745886056369957358248713415792453155138467155902460365468900461508570286108952311866, 3308780587532273747829005043366810680417652346837283345697640082634574106306219648491008], [-25565222670735230076570896073932385714528412113905114675848414098311707592348419093511037783919464523392353171579659452, -1438344749181115286713608761723160622551671820225991866472350028602414340539903194779470131992967024328490518, -3889363764730785133526173680259312610613074119677969208828461858411596921906482187402635925194330, 8351895582751360955145790777756771009201202695282446880103663601876095576860972239525216473694, 724416883715881516060664595183399616206475990418936343119392320522991443428783066701456024, -41458936327791851120886332746316014286595935513690308090552658242334580209870953426188800], [30092686719436833254770449915397243256149598056304749353364853771891796257702159739162064513347407771308755836936454482, -879616087355363602360037801022072684532773507901416889306059385715021296798076770601290606133841203220030560, -12174828877850215223355850625655547413178816815344194750782494996939588968958998050847287868466780, 25127019668315429272792860848861940398469349332680677822210451844372172091050137990256350393216, -461763234462429730369915378753913172424269310734355438162221834444110887077718924459418078, 25586707671252956893754495853484764736057756709752057404430989269465793279578753292896256], [-31432153157268931006818613282724651468706859885344105761345096192941417895452645550044180858194031845959481137455708650, -329323968301736020787901261175940835240747379598790114663177883192911825999189413632328863019490057494361439, -43489815801551378914760473065392749846530474497674649655856921618392817939623461973201635355887769, -45540289015107800061225630758001104500068624469867018906505571998042667768621581580902160778509, -376456820199233837930400331500939809645057107122049954134325380833802549363426365002031028, 12021945656046863159532524868086695306990763674725479580991729875391305589002540104134656], [-31837534604022126571224461653614313630061823130834833881365406281103836285640462494691883204799041915460345023968213412, -2904419678484759381782701560075774745213756695292179620711774207253058178895179887486648374285014217951915326, 20577761595815268945434064381435358617170111809585220940293555163397662771703730052548379412439198, 28721790480701349579945547182785607831465638232058240799883354656752829922485070978765082676454, -1375451218993293076314183676733180934652318976168627645132588860351933828690118858783248064, 9033549182567834240064766549516429934590923872224989706987630967572994250229661585300992], [-76670368158012170519186211133583458004213072900694314807893239790102517498441261796805416778970256007044424994476627036, 4164679289190656141126942651957297988618779663459691336329938504707355328456566455005416149884094739709321182, -9533717680879489206170046480146993914682790692212112414800417980830595808993989592014365497891418, 53706426366331225583957582805728687352504381767582613107535476208903073615083631752032587123866, -967831063439577195661704532729540562506702989525363896851258292993078238192151936862590286, 16652510363961176412763203988148775957944400951400850870992301477183094834616418263116288], [52328867502028621848368820190116458592151115296087679741763475797197262020607038274134214263996863508392158780386923850, 2150054908296304027414244108313998549689670676336877299529780455896377137845169164356389609448724960694946856, -110651173060451695306588090719201636904602109498743988619415021309688468055398826746187762953883132, 7056346682803504981099887674992678224708452357440631812084415724023747577904911066563581652952, 54963513801500618853082920462796173581608410001788892580313545624944425077334447765640662, 34481440618180097929958636719369849513433471790866023807456648737597019472201376872632320], [-49929180791267248512370078202062061017286785999220087567922280904108795111279424402673643251826680593122768667524321682, 5043166913060855347075697146825647985654503378394688618145634708535077009335473189922371232968071557751830903, -377984473192094652207105611376927224741046187039300505105746993242512624009825252429577958475731, -9506404286587565220047665871735354059312320042073624666749282516058414391568654579597222155339, 607979220065887898455908718136656722362464461880596202769658364487616353231780740304663498, -8449235148761377045441642040092180566564713609675799545429838684568356833201400099770368], [-86634656410816289895437645891948453811656299390288285510262492889550168011861229201078124855049549482520957036554119488, 1235447271397355932201687487681120768244792660997857814886037829018416829341917008411060597094508114617154008, 258553203779276194646614761744459666047041753325748247921903334801571745992459200566340290583987584, -6136273813179486985743700466797144429127317452000475987658350153890826016462777595139527447864, 367498359616901968569943857626441561366438048818641398899788469948204335140687366175455084, 8811020299006828103598329932849855060840671735449323198085167260589202191171002754623488], [-94099761305766912539046071916587154642478759214533989094900700297304920976315544988604052474465390321029475370153372200, -6050660969548455991805016897106632486407280492243379271103471018562046728650702010987426061044813180930519427, 255309474144800352207604246032579319197093739058436198556335009532742604272454601982493228673154809, 25916884868685569133938943641620278363456072221371675470266419788454357528494509548542106743, 253773346935952238792288625828350897378264372628826550677759523667140104661820231207788707, -17656220750784402035157640009729817875087519759016227556402012964443624353429122711177216], [-142962777938706203954530133642842062322903722419444302519506001908472877209093052663014076214135761015816285538009424014, -4448901291107496467730953385420111641639147124265330357203396015107840176980419433835379410700063458147614914, 79084102319000480784879346179429116271223185832778132200263953189866925727246200892313151049016190, 53564703757198523081105492925177073411202799325667384962297662233451091785834626222128316486010, 1350453067005399136807129564616267729010861130612700891587369796296916947690359694706536270, -21361851074194779520456304586393572777513519216476448675159193495635749682106940082378240], [-37252820191692577971760113059369831805179972948385178302693874296043787672335745876960345145261030363429488474254482888, 7078907370341149636379979400083968704474895905273795293734557888491777464042340537596757736702078602591394390, -119358690671469192445415860152549310163734368816443937712222134688605458424693798531525878085664138, -45211691539234205336563545920020482008373661646747967537614883230680724817060895687788255067454, -345505470596363339041012825418879223613476250766907165177899770651371030155768727261095914, -27716137858105765543199130264567446914970059006124090828928027322083430279327563071764480], [-22999695306934959265716017866112818043432858459993967954856886327520258377844884185917707246108672305901080298224100994, 5515610314464148742906205607326100147198860882886529615393004486022618488411626910886362005040044021907896977, 1263450150348789031630450896620047394498530305051288844105302539034436965271442104671352961698063, -32331123366216429696890943665737503301094784194402340908261319355437984948465927564299603174013, -1869849487628137431399474499358940854085512611762135067684956398873531607113366325105664104, -74691617901895402518527059948645084610495006176097592414370760233407104272706086506366976], [-8510333870119481847692495976510699311333677687357449568459362904937433748720553041080562084832229693249039121852762666, 7018202586673612559786139667174235990641087638338983923755196505894899470580374601909830446084424915539599856, 204649435691569640086714501971499919609590023548598912173818714252360072097321154626805246039817026, -25676420058578659780514421165499976189337539944034042125315927440503478592715010406271977466208, 715960873064078294815096131231670631572503205704502613235491438070136882493223013877238617, 87120151839101322550851498289426559244210619072843897369561097400083146160081932799554560], [174510026841405219555581104552691075895029761670335608011797187304811874306064794590221054824823801955661374912974905904, -4163793087607874913107115915426011728849253211259703753723129067569264424766137770974835594516508381386057268, 108535495994694042448258313695247504373206394587118598773995998247620178361603822551774041507083884, 131559260987857691281914773734876172321817985708275840149215094877610961633062217921873853399012, 577198318624873719194232516406481123154958230480732403235908948970055863503413198840345724, -33997542690738369211205626427674418909046638800347289494906969625098659569703282085644288], [172028435301793201741129824152735191141920933870297586271473396376272902141535350804240070923896695017550709999489675388, -3382116403422507356762464275268076128500592784144501418902828159024564518779073438199272141826683086191910130, 72072964922089760897582674835907378570081959877125800247872804991981507707230883606255981581674858, -142542910455750298050440548482560515390790191752274377027365805141603016180725625859538442571958, 1161535629324578310898463713226208843453575364165748077589073658204699185999337714559588396, 107788279924255335614054695388386149559447425484927114439689732593069452814910690352710144], [-16256616965386714367445946668007413184865589248750788088649311589686109051806085733357169620367826328685027195075290198, -354865689420131767877234862799167917335437662594771399895001310222678963628868382073464345460705694021921304, -12492840603369482302066417692389146394929709704162352460639466911195763324468763581013182396922580, 9324865374460072071270351894530357792112379276976362858649781987309791937080177790090620278104, -3470055814768294508525409200118448190659094968352630150223972448682106736284740819268273334, 67119446080949106445591153363194742005198088556597694687260681543560727174256450782748672], [-429903931874824045373512173677169215401910684400812502018970225915144331385564178329034644114789097257496864462463117490, 2721876089006555129328766021019650830512835509679190777763230467153867798745970556082512050888960264454515815, -655229669484351261128715723294695026617176877166614641587049501243505396815734083591629168842438067, -81688727153841842783293951207867507451612612746055491910301463693966434876065465448334115507707, 5120727463269739972608521175980745275406965884389534681408507159468978106372307164294304722, -41317708716606205083960144726947996936541364343956073877470592648546335976513916084760576], [207125340174310372766419963623709675730469136287646956128621599435777759786167575269890276825317776962739505566150663188, 2934808558133986953645588962769962191224448578768168938230985200798813072717265108411019256053781900924792798, 670840456636625896083500323257836803769759243274329416251009416159061331409888830007437044313916874, -76941215964544074510548245967317708547777596742921376126726895834027564118938924985049543909830, 1264612889589634621297487283474366383211349480870966311930793437015095549231900261733182788, 229280673677552778630432934219701556518232833552719041299414712501951442315571347846230528], [-98700922021155020653059592314583375821837272240468776924552514201026407176616582578128848449885837226307044908105521350, -16650381842040531775503824612427653475631730904334124029603767648287508012436360763489433793023340312391863116, 188785561226666679616945074465910101637098499703948724635131142630856783052412044977799400602303332, 37919173158232390972977183290102752597525828996178439057937873196552937771770562012183624135708, 2285291911077023457898539537537701901412517726039732167698190991395936249712166115871262636, -3282843351872609226631199600152759628502442234660814658360795905032371283945516588956672], [249937436000690927642269676478783099746053194710931151521227167072458108067463320172096124630652659890339428786255166684, -12425791025642991227561088579045932368171937918669602950323999784913646684676093772444059643889794366407238206, -207262193393594379014203595152282645465683168510606261150850324690391858250736127420957683911065430, -1959564546878341883763522897560980993705739761207306440551568661105336243923847705750363575354, 1176151719462447798167194266301237559182524021005198860264647493958819887849290825612227142, 32265010865717956041577138385182136892517280407041781970715408459040162936716562382378496], [560302743508254620762506446183396859569040450644266638548079720745004233011121489160930915140450322594852800296229358168, 1451051469372385169717218371063779202211041347434313626945875981731542467110416693507853968243627133178024290, 1133877506635413010293316711677393734662896989135166692055900914162869985556795801210758008814525370, 106527582585575998917703566399141404422956228213968188417178096941607189157000785424736333408806, -5217314901679438889092159519144522229187086367455026353436869280200008546140897863033430626, -122319732942680126478378618742740108019809618829846002368060994697451332254996796527931392]];
    aps := ConvertToHeckeField(raw_aps);
    chi := MakeCharacter_3_a_Hecke(Universe(aps));
    return ExtendMultiplicatively(weight, aps, chi);
end function;


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


// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_3_70_a_b();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose line below.
// The default sign is -1.  You can change this with the optional parameter "sign".
function MakeNewformModSym_3_70_a_b( : sign := -1)
    R<x> := PolynomialRing(Rationals());
    chi := MakeCharacter_3_a();
    // SetVerbose("ModularSymbols", true);
    Snew := NewSubspace(CuspidalSubspace(ModularSymbols(chi,70,sign)));
    Vf := Kernel([<2,R![-113121442007628686798358125032318089565793873411738238418157568, -14077853202888839713141591629451255592483581499277312, 1803690772240817713454182406905306583924736, 39533273122153967193541897322496, -2684631768650366766048, -19700962938, 1]>],Snew);
    return Vf;
end function;