
// Make newform 1.72.a.a in Magma, downloaded from the LMFDB on 25 April 2024.
// To make the character of type GrpDrchElt, type "MakeCharacter_1_a();"
// To make the coeffs of the qexp of the newform in the Hecke field type "qexpCoeffs();"
// To make the newform (type ModFrm), type "MakeNewformModFrm_1_72_a_a();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose lines below.
// The precision argument determines an initial guess on how many Fourier coefficients to use.
// This guess is increased enough to uniquely determine the newform.
// To make the Hecke irreducible modular symbols subspace (type ModSym)
// containing the newform, type "MakeNewformModSym_1_72_a_a();".
// This may take a long time!  To see verbose output, uncomment the SetVerbose line below.
// The default sign is -1.  You can change this with the optional parameter "sign".
function ConvertToHeckeField(input: pass_field := false, Kf := [])
    if not pass_field then
        poly := [-11608057594368249332625196663730471558406093241461869568, 35564509575256206574563332087691180650482000128, 86589594972295987044342709087705454976, -3619866001951210071877967584, -18795872470415627868, -3, 1];
        Kf := NumberField(Polynomial([elt : elt in poly]));
        AssignNames(~Kf, ["nu"]);
    end if;
    Rf_num := [[1, 0, 0, 0, 0, 0], [-12, 24, 0, 0, 0, 0], [211778903923627520139425348255827122068172212718485498112, 234519987467691230702307692269422720705140245248, -528775848438262569600754436589454711264, -49498807386833879951613619104, 52370219295084693165, 1725241141], [-1278182730691235506753379480697661790587354972675857065283840, -140071575584482192899887077227607649818311761885952, 382695705267597042646168653945716402011360, 17869069466647030662532516496544, -18905649165525574232565, -622812051901], [-6514727813269645208229386763944768843836092419206003637663237376, -45068668662605440818298141845697038686098198714223785728, -1831957080661742895586860354230197619463579040, 11559216341078523099923912171229656352, 261149215098436825652325447, -687580198211778593], [317594279206985688318277247102119634699065221984689566533231834053376, 1949929883211596391434605232574955365872129939317018400540928, 187306220558887538447517093208279813704122145555040, -189888900813385683268026335502486713225952, -18626326216530086775315818821497, -1079038690906363417057]];
    Rf_basisdens := [1, 1, 6326987596608161189905607195141565579264, 332999347189903220521347747112713977856, 2002211264749418098071394682006824550400, 158174689915204029747640179878539139481600];
    Rf_basisnums := ChangeUniverse([[z : z in elt] : elt in Rf_num], Kf);
    Rfbasis := [Rf_basisnums[i]/Rf_basisdens[i] : i in [1..Degree(Kf)]];
    inp_vec := Vector(Rfbasis)*ChangeRing(Transpose(Matrix([[elt : elt in row] : row in input])),Kf);
    return Eltseq(inp_vec);
end function;


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

function MakeCharacter_1_a_Hecke(Kf)
    return MakeCharacter_1_a();
end function;


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


function qexpCoeffs()
    // To make the coeffs of the qexp of the newform in the Hecke field type "qexpCoeffs();"
    weight := 72;
    raw_aps := [[11026222740, -1, 0, 0, 0, 0], [14982825462961740, 223315, 1, 0, 0, 0], [-713023520397484342364370, 9986066292712, 19552951, -40, 1, 0], [56539679665171225418482004600, 6085020597208821870, 704467142494, 68764912, 104364, -144], [-1213700178565992995743958922003918588, 64907264599153081599674657, 48683821575851961539, -2448158380737824, -1029826965928, -413754912], [329996102883756356754818039565215760230, 2185426432928478655655005416, -1393864700342686164809, -35883420918929576, -304264002590847, -157563209088], [5305351466719645093210350247306166183897970, -668043687925925952055055798505744, 111155866218364039312642570, -5762697885549558308272, 1061975335613560966, -3516764067625536], [-355766529433888302151543405289019937586755780, -10996218695677110196060062283930641, -9733224641861892100604468307, -391751455350465215690208, 109998250898659388136, -237437426670073056], [160809067107566155627186399847301698749253382120, 7559534838410679162166843687381381546, -5238749507201191753621097492086, -5593639067148257627680880, -144375858409862979902860, -218662915990351987440], [-219506620094640724992852479457829830942373052147370, -21364475756930475503096470509430367943736, 2238561969057259519845140741298603, -974015326315649949103493489928, 1189598822484697491017020077, 492222681149102696452608], [34531079744178070388539707908281818005775921792619232, -423218333824517475747912609111111219530184, 91697664565800489638309955216885832, -17855493638607640976763607843712, -1827655783605413768668407264, 343756934483403420169344], [34078200002085691541657069629913631540241451149284708110, -312056558772120793402812129168422337089174328, 2035626240359030061501331779586923435, -2247914018058096719300435543328648, 944224253312591681519737549869, 3808294924746574916177141376], [-486622341084708737431480503667604443848254370156744603558, -7577465347309191473695292263689860493328301984, 4924843888717266417474976212080084136132, 157543249409812649703006062826470688, 70275349613599352893840634287836, -193480046729698067190894416256], [-3340152728207607067591183688234207217635003874339467657500, -59159606328255950294119118237332864434434167623, 38707544898534910943113625552822850511027, 2402876135635430346559700745617535040, -592824269102714583216610903164720, 332325804353789924968517997120], [134802909560588575891001483299081227528004152247243922924880, -1020548584086043755826532138594372315548628202508, 416543295107834341014231421608434859312004, 15738311623007842870000681608005101280, 7383864024766597136181634547527960, -24442211255483468084790094256160], [-4279953132501265359623603797008387391196894394860088734891010, -78589489623084561770750505395296526224998905115192, 11408970676162397362089896236090010570631627, -1192453912242396538066647306092384073096, -1609545220834279969628625588822015987, -599959886321433319764828737067648], [429162179595241376669357378264953100169752411413866445099867860, -3703585309545651396600037143153301934128679347006091, -1097648394806955702340346173343483214737709257, 58507017750514349662807663776678381306752, -37718434933349841623488959680064098720, 2897577666429735242635307899701120], [79304405348810939163008758928429778084423962118342038663614262, 7665706930935520583078150986519000236024722929650600, -9088487591571593269393173849651410136909154625, -686254293037366242927265937567439727946600, 279641504875922626972508359246408196025, 83845742329078993599115519924329600], [-24109847056863287862810803923309058696757014209303722556716616180, -58350673951333410551203374433692481499336458726070109, 435994242588974071460175201172073024593088726185, 8921169343416683731919774694156546409519648, 5238894758650239000072243506311539962856, 3340018754520718548157247235081909024], [205947869590245621974144379541180888325592195344437666794649148472, 5027521205012742317611862690875948292930187929830341150, -4151060567310857194829955415871840940176471634050, 31894722655530592940656710699574629252302000, -42702419301777942003656484056346150865700, 9592480791912548964165937700231761200], [394656968057024967776273227764940201463324978568638100939382650170, 7760795955623620471920950942892235438413073449330282672, -3864320087661760281233923678968333633049067807694, -194014927741184594011810697933345273701733232, -46130778411648064423329847315777108742754, -113070580086282284048280773567092324416], [-10015783296809431758582340051586288276763063132142684521277514195920, -89544596344401513237612652778731082544931019704059055572, 91741088084916545957408663138635142634095898799756, -4847421109519007002621956519535152864575516576, -2506603740169325911193668706027838848895624, 1233982218430600903078546660861373591904], [79699667257216970383474004330362754276465543350265994921861256171260, -448713220100790773356558731569646288785299061558609493121, 218970973998813897947341436518097575300198270781733, 6331212817839983569996388814747740377720281600, -3450058587050470464645136988405558321308800, 10209201733289981951560908509824632844800], [-796594997441552640157300441283221897235924809472453572529904474241110, -7816282124516858407843443221694236020234017584110892628048, -8611520851472154257240510154905577632697235398854446, -43957495437239011058343708919389452864509768304, -79715510548958877021036212932239572521605634, -67217784232057792437590291293568866691136], [15041270564632948997185763592363868487783136765159275694804661537568930, 240092520493771007933496306494463300005904173226543169723824, 64147384610026110327544165661321956354075489502336338, 4606304628981348412646486359182770153544570929296, -3122906170507843803678345662966605566134052738, 319308036830816780611391475108510716845248], [-49598879643044409869277775730953898851702252091588689001536446010632498, -675040987126196553358076699882579086770930158595278912586616, -660981516018347415566908624859064958484399440964045357, 16608575808397004020465653921150848355052694902712, -12029626489674714670129615621500805401070753211, 7515088442935334810417105837438958460688256], [-79055942980618206798617029418560015963055898859698696391962702107325160, -2046053086065622627173053575064013647771459845272449727821418, -529521134784532603243640447240368226781971757374699210, 4887589868400896411943721189164376615786225788016, 22486517015898198724352779799481917633302554252, 8503239298279115559672924974209123319060208], [715342957732025390360396403891273686229388185968683401713136116859521700, 657741390450567394853888348374831907215259085370721645378889, -2280687728845532060730152153040711984380930018751844053, 189888437791307496995175617382459437739897471741984, 69014841414852538596038705708063302981940902248, -50612166327513111242556220376556905959274208], [320021361859152978840445038286673593776274854393572019762318475953999110, -9354894831289470870248236286127408468311076620650054144184184, -1704094708463763147816490214359568079436509078091479693, -582048579921256048167697029538019964592392756528072, -34887239501224211025122560732255001194060660443, -118255376902456592654608051244658266729513472], [606105028055405250719296627406331991195361948348849382613577167873754130, -43874491317448470460993063699046533320922370406985508395658624, -2569020898359262767945612713455994863202437016301357584, 2486512342266323062311949784396675537911966708628864, -442598908854522939885096722685798951479481326192, 95180018455921181254091470338737439158572032], [105532937583287574761879222292383079045066391202223413316117429374906272640, -1833630011201512740519518514475526760514170970338046924998665952, 3085134773659489369724526628049625615156727237901276764848, 27988114314686735722389161483576446623414534590346432, 14130776789156998142071147491865803158503487470704, -66090788308624082600996306704358416595485502784], [913723314415548301698982287857497708705023255408543071331118895163160681932, 1307310870401581335485172309590641609674848673606080817280022227, -2820807085699718018987475101468440481915600168201318327671, -74215109430350285816549423212578136998043776525887264, -122231365229155826693307611530296641086113015456808, 85842795931684945016374300391115639688978073568], [3888023011437534123071870674384391832276633994350748466268232312278930191610, 12076558406617738996574617741496485855827322856792216242788044000, -11068523073947179637025169832357124477793790684515851349644, 1153923590230439697439677137003385113596316846630552736, 142243361876960284023169910406905260066056409752492, -978314837231322496672636396631736674421273704832], [-1014153767019090515942008242934191102584406628756505375109301875457663700860, -44950343157568903247966301520178252901081254999075728060145203551, -41848438300847028025387799645861676641001113286478344297077, -628470077976506279070324758697609802298443446286707008, -138086283823091074321381168604581373870864192408592, 1227927800455482579697738778167367879874048752832], [2775577078988265649077816848767545086025338950657656103667141770327511041950, 1702924427038643490837764677268560895642177674670049967083745293928, 45897862952366825211887306248298956686021529075381801277031, -29135038693199338636726953218690552527614123057886979496, 3320668332637416313485206071244741650855296227283153, 15506058778117863782796008251190314163776266285312], [23279219830181801549503611137809292501551063973314094034669548207558006600552, -3277920435047093170243954762164664190358727597477838782451588626806, -625049531940974209052449508547018750391010912574697317192662, 3467375712410286465831157176912650630194976879031778192, 21677269217861566996824187618354435158870792285323124, -2202804539698521723502381347793830812251297457904], [245663259337444882101159317999493919188600372458240279349296750946654012660950, -7270812481302170490853394049819730059586305398569646221642038922392, 2035043093807121052649709850047255030893165187860304500938855, -143772603803476477529051334805566909263119920557069407784, -144341727432996933838257134683125371651257726315643823, -58492890033121080717872021960334645464454745406592], [-650878808855671842670794069195779950303902441545503594404152023117235138484820, -46380333128526688581507661618183677605192430560750116491570665407893, -123732608194076754898221905640469308030608371080306505085607, -777432329031482481437067611664312233276143212580753942848, -86227349693627762607758098205201322839620227584522256, 46274833291612462719907438875468188134976929373376], [-5509717377577149102468680123406656581312196842540209580705257274326676973738280, 100982481417322305017759858587772926606938239882489667064213728317638, -29842008010498163803343707930703560643427952526329372382975306, 1957289151431610563739640269470438822112249426352428008624, -74089086771944648397475384609085280109215336515985572, -57087181970210822054218864076300122812793301665488], [-2204848471159307264860570196014780909330582987667846066121315822377335020131130, 11227590746453831619686529467547941366865119703843570717898481758760, 186014134110161256631169068483292854058824120096085437538312687, -3915980172251860060293716749981125406299708924344596282088, 539625943834513557588445803269478300820459688672833289, -850407208533589990221717003762390604541631824290944], [-26511785035957843673408214983103046669841742514450154007794438533769123711141220, -6972307707962077094236124037820957794782152751430471966832326589401, -486145804517684563862308221942720209252969958619457016686173427, 3704313697153277207498206230967510958217629761395498143552, -3586273150108070504984284558293708956858529174542024048, -9322565454759405699788985762505172892757233460723392], [-2944332649410894134072147391805137694838893530476428353372696318905337443801218, -1144319160419579280727038299341082780475476138697776995770322864683480, 898652290283927748324213030117954468334632339235519196049542415, 30108837570617197089983758453210288494455769960806303166360, -11553630231538683302563165127288620947745081618741954455, 2881601793911569343573089874790757502132057897287680], [506600763492820908208643168577915413244853002933323230035722108461954132541827392, -5389097417589662633390306857284480644548688888696299439162814292896496, -4791970919008576130260529345854646290213850021315964136829911392, 21289350043911391966420686488827705381701870986467594731072, 60485760187668056534250340390142849704157864992208840784, -982923924758753008757655991791459354544340530659264], [290514195487049632615045840291566527697721480155990478047968176741582395076362050, 12793099320087370881931018787477490124744819041502927649276361352778544, 7467585120629450909845805675227576245579119489510229219526740706, -129726392290892496654361197378987358199604956201820189991664, -4931863778967196417114355010176250469900733015853594258, 44715550996230400541785832765603902505089337990079168], [240124465307376253967304633327027357932629711883834999944250529677309371771256430, 8528185156994231505493124484324279638708928835119903362167447691509032, 30802460547352962030762453395587518440712110971887987179537220719, -130225846566619292367216791581776171639367239489241732095080, -114561485212040144230252899344463420347716149307632818935, 24160459877146546063596589131251705797253060080469760], [-13907843798835448829618277484751840663743552436995914136091085205146822534627400, 18170666008436077215435531974194180157866774263590894953880736469286334, -612955317479410215780452069672229009416542779088680499744911282, 396007475669107047555893941732811853053042761608063959849712, 211098967744125534350542414633948974848953996365648547884, 270111549931592783756799759115870013644028474277281136], [-8655043286070340921463535543538251362697481779912210213077397843389247370651853188, -241897477484199029916505351260642459697676513382883615718236171044155361, 86067945206812520292880658940595025729326718137685057454712769653, 5275098264004924454477849474921821755967463005954747916287552, 1373815352155888953219839162716284750875750810346505080144, 2307813813626800704895371397315510909183298606922586176], [-23916669647937844768255914437113861078466639753436873303987554797275109281865024480, -3102810087449839744689153304970353092495021612522011967010299257437744248, 1033347998874738607312731638351210888091453774974107250375366857336, -41994696126215973490516096401569577111776455833982887397108352, 10408493114705838062043501579424192821200798150056489743456, 5469904318691421452067302931945743036606692117650263424], [-240595126705553737636575913963087644964766010825955737862043422971215860094781850260, -1179209443694719178195666320277150118553378019883820890937522899956776933, 1337940175582621691832237082686434420585643994976510233802681771801, -39176897183210120067301587174420887845162591195844914128106496, 16410017268176450571673732892143332077802820065770295289088, 32567572783772791212277405409189735702089817067820465152], [-130014548813416508792891610373566117943455533288112015272202682165691034738655272370, -3499445480495766361743135932502590685145970443441768712608583630132516568, -1301929124151116534199889025024114547655562135366520627625940425361, 89909317646265560484288405231612221481516788460574411007039896, -20376244641694087893920049410221582038777369939804401462775, -6789826374984690097267184454015757586748134434678521600], [-84801077783423686857880377436697211100951572457525172097117240409625133985592537190, 855773034670259704941779329836128851718430759467128649536209279691895856, -123071464420459332781374288211864251860934187607332057319952555518, -266668714027860965729967814672219732976757731754078375285520624, -54613136557502268048646029008335767953865672631455347219378, 39624682478581141249705346821706091820191111114113546688], [2354422148380571843588490420663108114052239604344868255457458182918712924079733597840, 4831121586471217085410361751513896929377830704604501846060150895173308420, 6963736564949426516162865091111338721870665846908575886806530903140, 493224788180479600358432498359648572573500024496562478929369120, -193788711946834969181333317468279237123966233881855730227416, 2612295405550542330092600202661681433900909646223323936], [268394901003766696579835851300439671067948164328113483456841806130252403048043121042, 69774820748454686974450570549947721048964863756279953657595309346594653680, -658002776549302409630194435191191851973338610392786512097502018390, 42261126967502793367589958517763000455706972422030045600828240, 91875096490253287187697407410749585354648323656572482061030, -115813153585781974365531825054355984123263031065554018880], [687297770657361360344107132919859425170482071904890474141314054378694814513031455252, -14929096553639747083725963854056565788010620557878467275516153742129841595, -30441742062669084783633289982914508076437316245618366863602162728665, -4770504300099329386901595334845405542021597157883298642252332160, -567392083136129869538044552827926754607279175680434950626720, 533081092785030036085267216403778217039238476822863669120], [1292429654262558530483366153527637471897952278547799013210836682404165318369493141250, 41047479777022140904870911068203386214723678400143836911512557628298512384, 17335391932209602228610199339785393217211835513385632270617137107072, -8013881922020675825372312875225442954040094096609361668032999936, -2811415611682672346400626614998203880763245014338935259646592, -4418682046348561278942566180036634907096631675996172845568], [-7204260553094338360919652738466461997459166051249611981852076930360285720386542646920, 461443736071296133191309000574483119553987899673692457395699964818915002222, -224905531796456471456148959569114047964557976045195023076915752735122, 29531398208583465531928085329981773381227441093663022112891962032, -3055674138226084081366524789409234505834377680796272945119396, -3699515957123806041265765678463743858646547255901401599184], [62977728302656711255966051830730549461097355946971770140067878524079284944109678228070, 900509033107516232963617484470574430271320926533650800993737302296362942920, -26307742937663333184950226384738415430558767990412314844244544131285, -5062398484373241999417134519791576596564206428737614811917988360, -17753852860520559465319702702901343425552467328820981648380883, -11631456876631125449146105559806059629159497227036468863232], [6441488422514882376463072062844131896444223802886347522976539724292836325809582460272, -1380693711139084189955283454962150114674096359081546731765534161675881067844, 120036434655380511108024817869236228377502386367249837298058890192012, -40241576580921168753649763866747049446216464862608631680598970592, -2760593901894154543603849812655027323657243354179673370665624, -20095838219274639744567547742076818873782777379242710768096], [-136299426910996259041857161038034175471638565933470308772666256988703224868642140714210, -2475565903798631696155332964396916674991015600324357178035708205500114671416, 1896588043112845650379287066213555716365657559519831865108250158990955, -17042183840353482100560540815339170386524384906578735699158245000, 4172224629373535359043164057323490605453712018889295938479725, 10539859930990837802177496197212720742550089480334977558400], [29378925185495726856131519684523576569519475982507235281202547707779759133756663605482, -4355085041879266437815564012020723651718322825525084235552815052960365312784, -1605956200618358366312664567229083095213209455478445751650783583004918, -110853030373496972406046593361875368222540387475315114902028712112, 76904384728414326095421366999823655778384072690068600833662086, 10917487363587582332561125843696274672377685487100599063744], [294115778355903348642830842565364540186379047385154969771295730811329548043375465014260, -9344097038806864319342845155341361255635088810019133133941914956227734245219, -134854024990725224166466740408114060524924446662058904845308889128953, 154436155250829949858639508637009720428793406041371939189187789856, -50045528370638403358184448175409040504657484953819812808303768, -99376467860839521998172314917768202609676636594254401243872], [1454926406702013116267482744949163759833273867751005790906284733416046700228822230094350, -11720306103083045462117481353908249293664463788766656066296882486809097382232, 2804717956053583262466125046279556784191775197160037418472239190511359, -997599977895799395153890495255494660539029608175367614764426128872, 27027159107958959406871993917851074652544735494087794755349241, 392876308006968614967314895857845165350510740147626131512064], [2296723936671183924247852245881972730598654182989304316223758180400021447104338610319900, -195778614095227982797338383006886693592731514134167768503409055731318695414233, 61774558838235540176164659751421950877163231773665147663568482484284533, 2933637076921190467369509546211002391603684984977972245440829977248, -731379002895984439368844356199391825477767602465691512223252344, 292197317836303352828817925679957421146568020296756037560224], [5991069327763094592643837226096859427520964139955315297535802028537939272202113998599112, 196189865149320982932900150306826473057213884067655677663460762736787700083106, -3111315722185230225293801621115270685210399503619647165088513599265038, -6266448739799847804515139893839684773046001915968039735328223553392, 1168732477174310599085611550159658574375522046760178084961325876, -1829563502661484872602487529772934310195104535430740887834096], [-23668701200794790143311357044865357873803201160400171128634485511339719695968712278114870, 203965066014408468317814479886526061398349854842843509431092089015818649333088, 114562371962969900759924430851440930237591009966613425485584403100430500, 1857482448743426544735730262694465516370705578451336492005454804000, -1769610053964778523770958684573816330606789577521225211876394500, -2464649876618594787029853651464694806325994811949714845808000], [2907967389512743040696455799713032283816238790227727289415737299450104481150114532809270, 245983870898839883835703718605336538761837478782735972297708662022909544038088, 339169396644720235700531687787660225472319367346099036579284451259739979, -7212873604595046547823013511905779397136335931494080877818195982856, -1690518064483728922500900093174234220425749976838413462706437107, 6139503572723063781679326953665092129967991278542811312207872], [21130922273685947523518762868634138079885108603009760238617161380029630603765738017732, -2502591864902313766452573215867430583923978267321626409591019561292446997427567, -1200638244660828657511334603874564188112460125800330802310437585874502909, -8161930922946249139927350995456684502563914147845168848958341010656, -23452669490601727548370675869974668106915390598663751749794390232, -7835609929218138416018909235390176200556916066982479388021728], [-205686934850872832118009440691187699687761924012568944884844314975658455768166750889827790, 1664599959359801634456668373907008988399417653063768272723161277207996524251072, 2262898004956193262495867645123350453877513523168473672313633950475760680, -33199532643099465720539868167646366654768766792182110461332931491008, 75059697763910802649816564522599624552369036582458028946878259224, -33173773425797266685366082342765841199451875566292666405032704], [-139307328303180515207550384572975466556272160609129162803466388777622716890585582198790220, -729951441238261259603734649944068737308460565211178206625048696130122218166675, -4472141007645977134357479285028542844234388596252695452064733615037262385, -601051073077689752289369826562644795511481769053190504122209337167936, 52213572059536709721176112907362137727306962916862913817875164208, -13715346198277967641813400027086305478245077413650092883106368], [-357170870592130076252417811230676684877102399098716959105356375986336445119671573006902250, 12354533469462370192855174526594262379411720507953920852376898749912124577335944, -914292414262135047561408316441616109709110781936782579994666991906141837, -42614548628257111463981710434642619573760856438929155332195455352008, -183034334683402273714939675141539848022625716092695863672627171291, 62195596820137019430188187173343171475434702734369604279687936], [-885361229692994321493975343913807427883247933842232788542817264832857669085755369247638110, -10816780483181676699833178518093506798116136487423900663256884575519409834463040, -15446848987190592973018066669840710391477113880921340237856761115515098104, 817465478474582302264722813504502194434200740368391097902017710509120, 188034640241740507156111014857933104254105365790214358147756080440, 181827442608788397000079045493150710258204863215641620495701760], [785816220369584316402572525454946675874143622640524855103058508654474718486030345545511960, -47758603453250979680552403050528077690408744829035934731558609327683355956245418, 29306060617663343860833991097514828326468781160030298575037847820201285814, 1002701737494015709134782326980897331994463252429489640407696154101616, -571291906197119136865849827717206619813297266620196182756138769332, -282883032896457524843588535466012631917920820738173594806554128], [2869249734139521475931607870055766647562443964739553715092219021551783680555742677248213520, -104026136470634728654093573268172944594323666195334967391992729306559605360674268, -38778427279539069241964008930964793404467319012675967781521985068966505388, -521421058172483052429201645831645206404747433283112873730416314504224, 59612656232273746922282363400045039788453480691949000696479862872, 1043573884501993109772916362276123544877581382384029921427774688], [3800537900939554040310737111393448341145768549281257584583066640595669064988072322222215870, -179447136651254023831487732511164532736310446449635612433170646497046418905070968, -13951095888813830629653569001934426304342632866986194568317538455483960109, -148975005211986979134482547637928798753160227628724487449925786796872, -15324659932020270934814134359002156538781273597056367319618915259, -905051820346803857703836505325698948475622769783818771696535936], [11295178059655654700436290767196651712468917100410225722073230676944678069587228351935564180, 51893064095024484188608041690564183946220904979691120016854750625083750602059621, -111761953853972371713172171160146688112046190619327712854151208867935033833, -384393809847128536847232216765958772969305951778052040553771410498752, 2593576464732382640774591481718656118713502544962983789918957699984, -1993380397289969482725602358641093277167080912888660237843702464], [-8649258729344353264955835346793665163949923740745680010014852760878583073338683665495469440, 505742008387516550350309100564569864197321093887787355352055405115201745064795040, -27698831675767939277260103668701775385278975858937167418957674639224214880, -3766815381539334697749849817278008128728791210589271604611526545814272, -171451933094746206435996247777759614841209215844915368350394293184, -1620392853771474495946218638488332464788686475476228257487035136], [-3819721881817644404608104341978804653510432092991186925378612302712730564463538188461782610, -1028032298194010966263906759734218879674388696874449282243790270973650941144597176, -94538716687560249920218114783871838586710261770708416578088326888720541477, 12127881533032889073507437509112982681481872915425636556014212789939192, 1817252042712394507980667338007891079955903256030040815351569297533, -2672174477032419633336310140392971769031764229152834170109559168], [-59918419130523779673759490971724446297830984801011844135343674011609176166358588236833119770, 1150236503952395976037852704883098773135338476509745392750786310950463614753196936, -504516314438591835424486484803710396196984094555902152117074480215165357293, -8081285343094150394719990658850768781265195272688292453009168962357448, 10471603072557770605303058925767845442013720396550583486250522446469, -23176158914001907748460782576628000162631201403154803668294708224], [-102766994959982750627479405988632440455623918500397771898421824980868608062131838603055696398, -1538126851094694770007148416842402369863841660208832433586346177639902918024165008, -712094712382993583139094477467114424116704617235541680205869329496894757766, 47053168969139292220259793919968455307822230031042142626772051009314256, 10889676756520828729965636896762211214277393832837674004021010495382, 19827244716832105208078607867721437859458875870706078959115323328], [136218030238794495622190900614971259918627643178719167164315488511971673521581800231979861610, 2314877230758953254678080353045594866474014480152197312543543091916524779577150688, -2895295193493471706527147999168300293858198928047257891718630238136951718924, 142550552186230920887878974620172458857771183037888990608385529177829024, -39951304611142563242952968307278919662524211368847851184547712267476, -16248094797601198947729106521531718339750698112269829297112594304], [-17472873267124228688162828118510954830225806630985751688511287699440092042024517256718820180, -9053962602678659868508995844295713461738018975154155328946019081415977241345585589, 814307731730207601702428251419132805519294372404506770255543473270241212897, -63412244812053094098229001026910804812575824963757006654601827947055072, 100465606648528852288979285548178980633855076223798171770619363998568, 19162681387302950630584221335973159495959320695361558878297821472], [-425768955819472139497669981752418565483674304864838498916079276559184232180739544856088446578, 5421566840972952142551099827380748682366997140343740422115371849919923884417004136, -5277364798857989064773729213371520405374211320726275529609001863928069297753, -245678271959283226689818364282192922436832253159072752981607744835946152, -158367247649919023770603913445511143986741141405607972648670840305519, 96774790225974024043283961617201199653412989519738055732328525824], [2082613140640369675687196060946278811516199711273721946850303182327875716197917938406290913232, 35001567861455527714575010784096983029945430432154292918431648496701974057375968852, -3466993034675027370192245080913360679247874873050266401978923858112724602796, -309109426061463362131156162148844503834064721369317281057606582061687264, -302154496936608638653383992312792710505739440686258050894276456734808, 26018926030009796483463596808598875090068671153825315680713441568], [-135754092102613661313030213863154627177595450113783206241318826159128446501845143132369164590, -33128898770829773530726028528188501852992191088429675665021733834466340391800750736, 11965763464682651624594554097702540070991118307596017208833431202982359812858, -81055965694356910031629522366372650307789762669023745204857089729382960, 333581982270417482762554425570052550133669222252768199640709559601430, -185246250990634649741401566184272894222037409812589711851855625280], [-1208214330889544245501804938027713782371479247708056466207979554206282867794843228889503819960, -36366954800350986697566599585095845335081905868922039860144031018195339475445163390, -29725378247233253561030842908472098408664445635797917152224870458443773093230, 1280980537730284160657867089757274417675253764915626558483160805362589840, -511414179732846722312467942343557002704021546460715849024787844298956, 431659989509406599871412323988619883747972406804784803878242101776], [939147122677946508375732345609362049739051322372617574766342221744128305744378817317498690900, 45199537961206967443781559490939033145548142965373617856787252973384414763861563445, -64131633413045122136693530926458226952329977574176680561974334238938614443617, -1279648901787794601805199259491453527465952511593097193530227148249406496, 609729901666044176594870006552933176156572272573403107414574327438488, -407081209982953638367385443483657720268371933481702515156588969248], [652112605825910430737823986762637563579990685488876208113487198227426728808284152517916419650, -77543153697783068687995214840901938585165011152420762810964839442270001410645979088, -14997698165679364045220014604804282943810665536352030403215528090451358424126, -5551402877783135340056824335125107174211591340854667368537569677292236784, 82963695380877393137465422022610409154355856500642635123100511092622, 96785276746267363219349856443188954807007520304570514828005956288], [-10233062957066024313911516524698762858273159331783794802884377315686732080796539477665446817350, 2037316069446874328172609578994868633544868387638134274688481795151953353370017504, 107476464230888518696394708962669270875512554959206252735895249460463967104692, 2703335617103024190975543996915220044764364326600854010963621334220545184, -794747029822964681725048667847582225630328260230652380258773067112852, -2638760050784632601868381221530027948417441165623214827441486964608], [-7144990251301416038206605999295572885602829790940345217073775213006056554631056297222865678938, -38007845222378241103609855759712965109872469030350606478964538059049906268461120696, -91803288770143334034535027564850294174638516372270180700076247734645560024517, 4980481726144818998832954300165074922087057939104886075742549459232881272, -2113247272141371512744004232636876907026306172865121716874179493281891, -923879336458309218130864077956575695007264831124415190972357918464], [-11529840414519217599271972339632481611777481493233237650817341651136135270290782830078256349520, -111600706206121898743063321535704419889878663963053264217234835895119256910299394612, -193596866122008215287106378833509266339341826543442505410322868646863555252180, -2251773575800077670002740913389067030653783310922439374282368805012364960, -626788175624844283905404194368627174183722544788427931418656154581320, -1314078669614228461329137944154144996443432504900998322897166501280], [24282424334841396661247619473339761033524273091721277660279056530735826003632017840921505777020, -256481578519335578159944441560139614495926197832744855718856978030865698572071849025, 247946813124660691332403924015359686608807003591311562191078621968799586184813, 512224506770378968714774661318101785064059627662185118938590328570029280, 1769111964483868306843444451613222607488888917657829183831850558963160, -379290659737581457339600008314294036882685013721752085224737891360], [-10367226773174573828871043149554153769413756078084341873177179533862368932841712047479315434720, -140179044121545129281722713595184190540939116032178544676408647849115536441956885944, -68842373279961225514906599548098556440565090895330217310427556075869829562888, -7715453371913383505787538718321087934474155043628953615542305369859327872, -7210735457368480479026991783557479215110712008683458677309553966857696, -2070771731287870781308952991136862204139851878898898044807962253184], [161986816170693517647226736427918277365802767755903129519135758754943731671124202479282301220760, -1424941186296384179170403373562495974312068780198728541508794668285435331908710741258, 600336432015134739089268858106815387634315450069842696881174948873813554933830, -821387568741268663537722843825958907363203887908010903714554858847854928, -16362695590672720380461826755513067940066717877402404641088990847028516, 2515238699263781612160173035442930475284197608084692126626925292336], [-38333903454720872732900555462555059558174758430255181267371915173507844437943776135701554908, -192755537959562222584143836316171220056044946994552407191127211217029475394572483447, 1006263767754450002738127167330349804129388654733850668172825981922610636375731, -16082407030271792564778857481925597528268558621673671620428273448038877696, 37862504075101972974079067491737361381067110870409900521786085811618688, -8201980166403864392192238587498348420524088023045333360018023234048], [-11728947792422192157195102035692998826437029320430212120120964167417323856039964206281596212900, 1130325742168119540617456566160296307528531953122468346927677711368673124770923842071, -3372076633665128049341219768832389740113791487789599162243505915296323497561683, -74424291932457421184147202582764297786489291435315702719152094907364380672, -3351316410566958737471264538742320274500981997804776090489573247728384, 67754899510383251884070753324674563945359840817418864418535595812864], [-356563321822935796849434765250825413167675893961703550852798314837252667622824903266960776730360, 463263302727472639496227649842203161947958597439324633184023205719515259499852476594, 153483228619359039711409003868254971309871011728703330723515644813093368932434, 99597250075585232985494334302149960403198922079160294191467761487585029072, -4925063906095206758087499045591882237109594331353225098078945991801916, 44782129653444527556600744675051444382385008714220731087822486310736], [-900901130116837507869793766143386733881788785532215903194347790045071381555412058969802870257290, -3683666408755356043984552910599333697899055345201572637276907926766211955468383451672, 8881366681006591036324300043807649222987955626008934246036724641897092081951831, 71481031638093310635916819658852056843996435524373469700610337690824333144, 36426643638876645753290501364176793587445846074418225269115726020398049, 25813435559598348859091960835808131988117805670863969297140994791296], [-104775701760803251581224210149843859513055308977573139754888294180325417929423806030552324921478, -30245649253469537194875745540286363768081954275097301164932600506538860121591800080544, -8491940149324877089482954209212413979381821756479326325759332438713976907381788, -303949083196599748106073225890082588784463646848793124423358670507513984992, -387105523851470287475699158322556934029787716208375432291081899057894724, -43255932269882089165366384225373611451326143437218458313434569498496], [598758036401970763617000453327807745974855618621252786340324023301914437176116132563452414287620, 11105034429719891404419410258204848509483303732074797134546330357718663434745888010721, 9658609558874278901789159162738026382199319643407386594184513082090351466206739, -682052463452860919940760434883653087959880763253418817479329785855540541280, 158750680255915668772795560231020527872254452936188998807841739245759240, -9602023334529041315636414488544752140618530775538588728422044691040], [-2504089761264467182610604060719728109756281387852059538829587061648880151197780085805980750988458, -90383101806972951409068509924507553903792283579162048310198802506249494004187173964888, -43456536168963211838989939769818268839478017334979255048899841689928660418558401, -974045870205969766435184279476420214484013086466310315520098916065370292584, -483797283036457346278271107958386362527370642887345821507281892957601223, -1132358578556222904257037335912495697050371173305757479617079289182592], [5681860591289818014335655829445516990984212254257207959006051250568291999693850901541461605518380, 113164447717298000063251724753827705519487666226743696485528583100935170695293652856107, 15545894138878472022964895956503829627566685116645923666345985382859292460723009, 1334788631335528167523836614907803449528875126944654205421354883037587034400, -2363138500087487266311417831719853322524262877739411436918497531265287000, -281110947738021869012030436512777833176803440826351069731957483884000], [-15364380132202998844090203987484736805704891920129342458390160323660256240956343472115921093694650, -54440794497800468187620985752671338918743555333452487026473848581063492862085565362456, 31517258055652775472607239076330468711230318972920403055967707224002244324176887, -2924717680226616919185723744318458380190408931398806205927041338790162383016, -3463477786369143464212408525910275638582546815796656482067371502925601727, -404064403952995817894324043879645898726952088043657429039324888564608], [31040945541948864862674295906058149847691666455904054453838091377596911843417963559980210079133980, -576349277439847868491836311943769360564462516384132234926599629897611561961041475576601, -189256574464673149638239773884651614296173694517485639223061224791616609653400203, 1547698131192715167315255911661071251439126408339461223671159841310169759648, 4593139802862520062644938770012889012872527258645783206224945383903187656, 3045771165682962935752816246767253881416193347412428030294165990104224], [-15483762851510896304936211280903471978516416741085450801983894843190038045694225002270713636703030, 28867122266256306843532214171113782256577369761264549569337054999481724189442619782496, 207803900211986881699652164679537827716799687131138616311387231654064263702502692, 6686787060622966649732111748628209368672278279043199919464455561200972427808, 507875834694577318201525931589878640587244973189478469845812838332646268, -615751756116856630753084339226768687481467892401783965106563288057728], [18051715507032251432158048692168620689183912834280870968794534349446534768266859528999559360066772, 1126881170686341853042580573525957103545453611555583992984761799579982880913653601848213, -46973567173957777767934263290591902918648944642100644930810211360578270621214049, -10641764252731558825826779541656243994455227135396811689791777578379116378016, -7179482449745663087814672260687088672756855511064487338473735532134116552, -748467312915286969927986572400184815168696951211864090405862258767008], [-50192048939437975529823961055946746556181354039025036334532635688779109851257751207948905535285310, 721355064474953669891393893955877745194179120985537931833357349101552454514303878410432, -77881629082916609642887922217265580446075852296044671517597055451795367752502904, 14860093596408076708960768891283923763083558000192743337635000125516860490304, 5731251018088713034219525194717260185173790447712352378029499526109775288, -6947924348905089753276211939279954159474318227118947501011403982818048], [64428220302706044085257302677768839479909428090164642371540538214558764744492089557132072095486660, -878434454664054490397734140740525059756387533920514690928764292753897177640386646990191, -1003567805732745633391207417280897557369794941198649801450234450894161567311371821, -21783148326938205502884116111792162333504837581499724821399290038240115381792, -8055513917568839224134133258434484868725717179084343216635527626232354024, 15306111895594354994579749701688140812970112084937538312826781013729504], [-100044935478500154875825307972033159955579942198599966467688196650208726564636247899828388089491150, -3088876528728529251907763226438211563032614596263555794855935217993171004544875947380864, 891158580592236516324245611485864113927543119835560604495868732966965484220564560, -28475031823667036246661873942690521861790021146430173671678276797787683293568, -38601271968367477309410857320243883871432801934805033133847883713869855696, 25503126303116540633321088291617317893096789878434612784839295702063616], [-65675159736888736997503084169827330268168790257144042894314164786006197348346622847474922300711000, -299027468955314727292811378343974207619702219467296617221720852260357336457881035850406, 1899352352503933074737248195582796400339636291118251269028801687288338949664350538, -3527583368537543085518043887666295256248726642153506420720814782871071599408, 25072756707952163154036881333579271735197589633181565781287445232848862084, -27017154888355058000493093408770756973293587503426140521685211598214064], [-214933920389991288489761869730945073153748323868890265747295949575369599905677191081835487701453398, 3093536968845649600327406164919920611932884655216299924015537687642534771727747632194480, -2179936404183335037347729556427231210367510015182357649910756190183489823212956590, 44269011701355217180201648756548193746877427010826986079275234266341393905040, -31922913270160125022007056546459281901072614335652726669241861062024899970, 3068092594879023302684933630536348576016970404230031523450450487389120], [229820286198911481448274229791317396580888436377036193845917961656125223269633470348462097604656800, 307173582669443253824752130372892583637045165475652587838270126046000796579439703180520, 1219564309544893831518856381567234109005926820851902201348141166629572415702974984, 38268589716564253388937705930321602404326125055495241524031513196202798726592, -42861004772442723009195770990004855695169945568383046823797264729772173776, -46459901402602680010607367403399399731719326411589932929464825339248704], [-432464038906472065411965641777050841814525551121904276224144061309335465487309465050061650070603570, 6771490027470041724037700789212119004628174205801468517851626891141932781844408545731944, -1269048902325454936036404482000930415240316813268132524206932704216356490714204473, -251705114538147502155013017951556950648000743604250564284529268474212838771112, -25308355619222500995638373703664769209354596835474092241153243274226353039, 29936614899287698236989270377739500967964924406957499975598073974994944], [-239677976188517567753565256894709501538469202590261107862302788363818159193857464605236624571373030, -3796251504943549021973676533451634122480200634316230228242750464732006222104481864831376, -7163994531046782148990299375843796390467813620226501111537365339078479517339969254, -33139857486104439948322752374377563707285220847509830624495485036733898091568, 798519944253533731885003754702840209782378561533522422437805728092254454, -127327485654495631616412569029461562414918665023193337360603915294142784], [17545008870216554872620184904818096496976790854940892753043006575517166513444676207736455213562020, 18133316575148897557138295264808627507729512825784971193376251354614538778716249193421961, 846436699235807473420364416506125807087486120413729107478090128017876817409803547, 101002715968531958251495802739991174294330530421020038994656851301303610725728, 143344212743164582414866070437700381503409766329011228436492018277760096888, -36165322198043463460318294581020839053962880355313815176530890116409248], [-1147324003506095030763844933238626031641783566522542278183082678698769338198549610976635844887573368, 27522251834790644177063066989301452563446511843470829355198184850090430373562253894298514, -4471667201522234005583976190954065524694770238229357458503906594186234929999335822, -401764828274250368717711161898506815448092624589505489073834869757702589017648, -271858108230927845175389972433287270623758585693594576443081816270204128956, 117623518438328419875548394266895525424635603489992506647622841265853776], [3396199085168971222531562154337054294574773524044118457386640161980783262286444009800712520070355842, 15287428770648028573886197863693290364909792728480039452822166327489320726241854793557424, -9287643297498221924706727201175573925231448098103290007614381847179498231705897902, -371643037081379935206868875232289267748324231062969442391216248787303323891568, 195894359806964962057905930442003245168669593291031983334449397082929488254, -70648881423393588488495502961529719463106250722656227860861287157912384], [1195351330774430701984888903665990120439784750093773346092618724860350402003016064095222740196273100, 14211835786586591633426492775813844501386571890359298583522397514330239618414959402415379, -19333334085899130428030454350515451027725493210296025622199771873922335942158788039, 1154574720628781787344591227043551038944227007778658407139567419553427257359136, 263416944507095178067561266523477554122307051604486006926412361809611383592, -95597239530912683315436468252717604985108553001419804040814371328574432], [824847721703082699138046261892101242388123224722309051045138613540874681851692205726921695151653880, -37579066083734626969066767963952348108470529715661452551894957182153160086351015913097970, 3154671488576370145934267516029735969401109634144473142871499819284253228093209870, -1013563779708979461014141358134228436551373886334281386369597799323363999410256, -61263316992851632885593869145032875812773983355316968657438743848897516132, 554120076666420381230508160359253925389631084290939568119673769413812272], [3212935265345616692015396592153310269657449979582901286729795784298811927147265030123993091803535590, 1241576076291940188956652566518933231531498601232774732366896055376092480013194035227720, 9595691449658390525387843831953053735026723370229990270966012509394998754162367131, 585524933067781487874219597405689588145225916340215182003595720868520373525880, -120942032726461190392331838817352467499686715267812252982279244528986405315, 674956003569667317991599723979407747306958294122854142133413491242026240], [-1106140194483539182551430568357278238747399827072385530543322019958398645135152300747787913251119940, 74688643550467967098279192865794079013098261615165499899247885300092613802845524984662895, 53211395615695809088555078803920881746081337407656809471560368580753703063498214165, -146853100447634217369898829685142541384089705209704997777621327396200094032000, -1062595471916408348717760745503172568283680700653377135804909375086094585504, 289929215480159209163566594604340353253467496233344241953015808687424384], [5004934104634326960185927591393550095088948078855757527488326280522333760017383954590169907524226462, -26110177436709429056031426308299547272876607938234603792848042329562213781408421062695384, 48711198311374750923049373742919510437818760863566871753485873968610355054693291407, 553380976666335853616560381722287508031887552349082793484869293279154584596888, -1063113458059652128551047070259940728962724123314266157113548195124071753239, -613096694041750778072784165652107904843319806386065389864200338147821056], [1691230858312956439742050379290775071649342251098955415814894685509306612540583836394903169935337570, 160620135508306630697018577161664760349496166822676931601654415192068549399701578225773872, -172022853807017590457306846559933577797706000428735382957798000901953815048882181214, -655507008929086097169313044695008560977320471078530972763721808062156877074672, -984026386897711187077906902567696998358880506340997591127976387316219370834, -703090084256928730667450741312070377243958787246910155659947926961852736], [-2527644001639819861528910133876529848763284496608023379909369917006805340757625883258455162483377010, 225268962095667815458312453304894558964607508855184451036315204170796213671095824349682248, 53160426282050425090655586411603307864116217980054923705124643719809598951374992443, 2351258086405006254092669357366003580563258961270389824451296978839884451764472, -157495771448883426758695159056856573381390565066387471299469316622670789091, -1226647116515785708718442163211917758273559815634176288886563817302382464], [-19968969728243038825454481049877088278596316913723228121298993262878025611789605386974506970140502940, -214417746729984966481105788810735185137608184694379175823401879235561146997741405947164327, -94904776326663652725598708816097519539588147473985258386472853667295476059155171549, 5714118336875556618699165171959989201151619031920080744211326473144489791818752, -3439749538922388441417125097782438512520279358892300088527146470864908339456, -4309155757419896030412378503746129971450020408966157624278310457753703424], [3673006949144183138352835319401390108030824216499335327272394628324700193248842987404669228088948892, 446615332731368132275405318759526164523222237531553536679570478877178748568849109403966119, 222261851787139152034663454814124552246935023165792633202469038348045009533504481613, -4522980012354185929299078485546862766394244904847649798328772036301600765391808, 283535599124153148247085198677156377627363560256956344649916005386724182224, 2496768569901562088313169900930697079497877976158211495059378195846866496], [27554391201623190025969337046642497644956038720161572754104672873870755693133752001005889186117637302, -362948454842623566799360851767270481952328980807230745477952086494135078152156715490311384, 564211140235508027105037563748692068229093394763253255789575751671965651506550120207, -3056306100115023032621287073422350084181899090275136283663687754202394349281512, 7551571293242080845498269223733842174740807455856665277552811187414205379561, -11881978568743645360040709367694631840978627348765081007380631846616681856], [94012420813332160582239980887574865732013012566553507644952458506263981842233815293707475386370201710, -636349465476913728232602675939368087245780286345267532547611248730710281980534573561386424, 396184724905477874704798790236481204937394331537136632474802073700648303405928215227, 16285872918319037689643373004082439201191971490355221015501594714884255415298808, -12503381719036633250174960657609845643233588363244922835472826818481416461923, 4933315431479385060593208144457718663215766925268954141954817265265492608], [-61494215795409325141954753623380563414985814108945691987716406362587414917511905133986469913483020880, -468764376334839394881974718817753721177965534508849271234133842154735752204882863274825204, -231624096539495181590416301434605780093019753330666466438830998153845680915144747508, -4777518296174439076019686121565067988146463256260090027991856274675342933077792, 25306957739148117452670292098042821773654663296542155483309249593522532950808, 31440942013640448916820719983322563002777487804300239517966011565295998432], [-137220367763686358602897385106117537204019582867797192579733356256721051645375880771402983719372217560, -2508900788838649157156623599661942066367504308092867972944313235454417303815248859758444486, -29617498674724619802603715645305198062586690064745464539546059965973087962513479830, -27149238605996456973439381049965744513902491910502369943800767258373567071671600, -29584240910045248641975250195806157152164130453843917472842579665080819445500, -29323359788288853440752456265800466752123321394044225926451884734868078000], [-80124695356589571253830241960538347605508277020106026125905465860888336408630799531143606421121226090, -1412517890703205380470501735089082222546071525611704688078440322018142967054496820777954488, 376777939083113851129392784993505897785065060258367011099985830560978790556699521019, 148010981624357364337280276708322863776878489783103708315146505964684591594078584, 22600295742105054149462280613992814780868533470963271913859317424026073982173, 22595912915182106580928727691638029972072163129961381914322056919040084992], [-334862052878133536829845443865313156266547563670587459258817319913123063841427470847286705746585715860, -1884342768050658529526049066217676594653299782300774114318580285088851302169907881509215077, 1647010284404395091200628807413558290445328036931307819803770260520355632755396143321, -273254519497345541963122137093724804539811749202778516439180135739803398234885376, -7667142530375550686700344739195260604164130376782712135741106773442481572928, 4170604505871891835892578711392148581104849265319448964974912470984121088], [232674614003380488437601943518618539858146438989593659731944984473805358851063640266697949088721346200, 527299821814906412709600295016632987722992706169152080652320920698465799424382164987976886, -3348757226569332375408466101265002156334610553764092121402800960417901537811041064570, -262223466422722551349310161305827892327981029160560731116682712119007013595810128, -59949272651734393749792373148730371830726242385990957527498589989048596954916, -8992872583505170951267140509599073926662982911789988197008657246928813264], [890703902952543930540396018603914952478453169972443180299053929212574735645319169467944177649119966352, 7737290945544040643830881660192095768764668138755990260939474967213211913181274125180748036, 3621478875127850021980409525035230893575188168509020758131505779325763608414903874372, 394146934486079577225814839327866376453771812193906292008653752189904449616268448, -65584217869317150247618756791895728416981125312153240322485598651056417343544, 68729016759709524586454853997871581449715050489821990359129159247009848224], [-765578977453512415805199657822184612064628806500620916363248195759419729943077126918160701830094752450, -12054741696419058833993072299586103094207148001434284931138437022291885215715426894371905048, 8161767218088928607928522866673442634519748555484924108330353281313414214709992108983, -93350204866722164250237537195668762927196874302297337417678372168608174540630312, -132681780660742162826534684467474718452054690037276306403646467455718193354239, 157770298820674588804421279841072621763390839129163817588524800927056934144], [-286848803574021135161726981378307482930976497131018585533996728132514887560996046550298107928567771638, 12719273938597400756847543701670234777841767773260326308177578774536222685614156900845932384, -13630706162667014393818857209136303216545469380579477420745677993793414777990858047132, 186935193312586211200237916377506092346972674272797916043348616679396959734714912, 134319643991300952145312472485278063015353653753081364665135176370330378280764, -90679084085259471315757946871417549527564972646783583122003419497548457344], [-226563190681952987361371567124427094157539678683147072916838347651900341676738067232762615764452274430, -21572639417564785114212923155894042460988839805803659521893058308939044248253124789883210960, -20969308678448292799387613832804169805755575954873821529228131336138773530394340848670, -44909551454635873387171112144534685161125779749552620495300648506411487347945200, 25163293325812582076217305116294498074752823097539133950139090784128795774062, -175500621226791863064701428659950769752091688709392331205752293811449157952], [1090620583059054394074144011627353829208037738063992916771470459452626274172734947730744646318678554670, 20648301033425960653954336728873981169089783569695468472844043117759354833397669449595527624, 23693662264732803431344191839421293712560747787676355454026600015047835201570895920395, 450963447375916713530164632126723805961289975117032627418971012869609088128028024, -365297400361356940347870253698447868476558579193999495121329205650069915882547, 63209118375956220102127946859343875704101881511546703016069392360814506112], [90573058171058287990954986930111767088525838952456925818820273495278661403724899240439551690272435260, -97506084808263270173264077433659630341259261778475676433199425181621972497227948052222724849, 18238616128021818167167752912671057703162684579791179934554127836429375067640375747493, 619630319639020660073063484860070101254463806804474793974348894016392096098284224, 95709243368937575828785395607575162297056537478692623836460051534044017081328, -217911633705940322898613751788556884111346670974502621214080836619224493888], [-11431008112710679698495315030655197526920896027705249430930661707663743627003365520555865558343664876970, -76110709180872689754665926458358576847107432221668466108516070341466505525838528318075833624, 17100992139651245215571838889263056462700530580490301098829271000510368821325208401847, 336933936209628723837058453078657118445586393206354593444054720163656036637154392, 640219635049853170565191305105951011203294578352015820138046999348983419019649, -55377083350109798658088876996224851705858209810946007018266667674685093504], [694184676730682665152783622958475780737917501749068429022475472800989955324764348560651572818729381210, 16418813238015364231680591480358400052126538998355611000525705366375968511047804246434961760, -84480737594605058059801973088220674524584021126699504354345126961460915702588936834780, -579166006671112026420355697464346005484204312150270318437124669599324830644467680, -1024520736634004011294599089479479437577506216739609409259929960119067186094724, 368850427642621801698721737468263397648571954544606307146494877803314981504], [11700659380828042887190919294344432014343720435203852445169435817522458663813923764450208031445071139812, -112065408891440015234091775938208063013932672622468953044112308548465628785096574131312610087, -36681448770256163582518333452345842690116440706024058957682083043084032257099767155349, 4255635315250420599294837550425819386549886465267937870324403998986599198921184, 1298550466449010305792086418688855599005225257936406941466088334928821516487448, -716496153733176213646953681804750267183283641057179899760814899662541023008], [1779513896342811254500956444272173908169025153217814525676074063295562349760754685916824317940301498622, -86486772686150939770287281501326028549638263760890493322297459180884868747939345780624555896, 126983021478558945252230689746608835020273660932498607296267116703805278168184304964883, 4088607879942011293941458498043948580591384540030669980303071257898689819502105272, 1441698095431498191262055210833812707600351185495328868893453286040412346376709, -3014798436779890064151795746607568979331757385234115351153813899916017096064], [3286037879238358847034176791000626326016015486366931067908979840449428370280646294603364014821997707720, -54180117401747645354859494056465833455916817244831491466019450394407592608638879480414708190, 209337067429079969182123084342725725582778761062186512783447028207486776897302774748082, -8116423550339080542410566768875103188143342781120677420053142419083308178092993648, 869007118591030717059165414026366492713967504048056670695289082438362558528244, 1698860880747097919907530941453063857482859979416571120742630676031213487376], [-6844693278668146170556689157112126023042199261824496662994501197777090003800523811099823059203923414060, 148161960470839887731275526104665388328334035894949374120688767474730985776545221934568143637, 73245191484635247473272329315654402614151546681761803610939660294253970134287449470031, 10082519774684956481627746969779508595550305309049845815799933407934874377968816544, 1663665240842661582969776819942839729152960588126125107603023628114205739940168, 654866245170354994832289340456756810474674828498384831283826271422498381472], [22723888516995420726387357762310758583074599925753416356626387870907420979653086157523526526214655128630, 192142680297276365769152175983002271501505140071958966645919118832962369632013743975931418856, -92047555575967889014024165363944790948573059841094509829486772145457723477024492287113, -1849336422981327352981366800819744340595113132354845970108438353773583285489218472, -668704643048967158125942677942219589825448251527934895153690515355777792475711, -1553248679007463337362397993915613555502141428236079286487462735502186735744], [29050818695780067509767746657632163568217873443450679481364764225553370347656258891237307827664125002040, -399855139884634183997995226834679466691535362235082557411170578326117546316689484810395816034, -55488023756952623030627986890201454408346450788973870380988968558772760428583147309618, -19327098631920191618310574620220920531393703010436095274281988264011320111241131152, -3276984530261108872477799112355944340362319977787654552755577266599682131890740, -4484188313749231079360523005017568470041000524614873004570065654069613202960], [-5402102373144848779338775864092738433181778709811882116359816838969864843078954214754683430338052063010, -740483864611304394749692226905072342897192470981022265785371990852232859972623896337780572984, 314455479586101226230977452144633659421313100977573316055965185199037430203533977442283, -5894560512786975141222199854961029600308111145875556841177845138054916512974772872, 4496913756357515044683611230835233621830492377060653579915685022491566015432941, 2258399667021715675413543552782908084986768859697578954568375751083711700864], [28145498713619966359427951367438837873074180357774066735899404676899197060302233043567918915654354286250, -131585774220809137365033954780697515334654184233760185596998521702331103375821164455039023008, 586602459994216428236895623329151712724895907235271542954488438039503845702997537442628, 24671297680537452895821446211826265189876570088715524773055794312287693436545241888, -16416700434911568488528185906927684883808448406455944459410706968848985556768164, 3553714491615435423481504373708974721157606914329454059098162597054433186944], [-56421370248274276778249504665951109149533897880833287136790096768272598264682042606870034778002497739340, 1022678046533622760185208554511628052500487251250476412058846374716768246153292192101855417709, -475961887019188681367238827247638185179279106115616092209310123257038463757756986280657, -37711568458167989564796974688137174224528402386872354481812309233131320986821299648, 3521619388446261756313596394707107177612453733950160670654623829171057010682960, 7307664125886070397161300372941257685382237281403618420508649566197236939840], [64631561609567743812178849596409061630038225743854097087633397386834649641845042142743717438685640459680, 384308338305182966330390941739287512832413804543248948171604225362903641807412066992220247144, -810754956690487278420785234290728568615169403768041156931132473640545900645277009999048, 19999633454836085285225491030536062853277132408288726017481172760860734326927660288, 23242576574433048466733094546801963931174400078178208169640699487393222859641536, -4220443686220518589184784581309752149823721059144381257922304159893931456256], [-179092397997172070265728608717412035985750490312395114121999934843293386264409738668069154729460939234810, 1121421333551824507299248969412053064487491464012968116385155389912384196188253409870544880456, -1044456727666117189365951569434608293129567270547374301714855396371559756713068082849861, 41531480369610384059700879926585075430991138104048018201545542880890265900726419576, 26204472782684536606807799632353962531263870832108420486225885676949130728327197, 35536115500940059929658322806316789797297251043280444975628857132807007391488], [69596805732341287632934540581344756916495414904757897075601579570291776087670030611479735055333393912082, -4624566416701004774173445571241578277844778009150536607085522388852119626761515528872796843584, 1103724838300281191216256831731728410396519721497599396072355019790491746519781919789032, -92846603816256852758748259111551885943646633887179316964350286650249543970713054912, 21801402607478356122472759558084377067848042811947023628928774190844448455541336, 15861687617260266296280185934298707373308982671218221368984940545270019263744], [50016233184484469391926945604528969421762383523526263198610200111753648909293834143924352052089012125660, 3612249262020630706117789213438854118831555976270872252644891228817533948244305388028441977431, 1451405406821053152404790397926484538281881412533561440612035145300874374931163649439477, 35664582071735874206881282732716406363056168848904051252905027152472928965772155616, -45165862451899685755939358214770524312590207883819950738397771157988549920071848, -3767924820457188988270057520211186068868446886131992523083065249596521500192], [-249588458775452156952905445780352140034735613483827887797190962690844799974887618144430803794594900638840, -3082164250553931227978742607368098388098131302274627710056806685299698549345911789469404892782, 1728459008201647291754165036490250059794937581420658039072986114697368081602462087275842, 23931565408378373368101509486553328777899259074948728497059107959367978860913929360, -15820783044338986582955898435743908412066496799551181713699181483985605905151180, -22594597974800475942583024903678202187727280737937650453267091287008735924720], [-587899154350497779193729346524047965331361180440410971521398189296468319924671603454391746590434013221500, -14444844878800658735968138042617198846060474483018758001331557293952161759254928852476865576799, -610543074954709693479486696035235099680631271561037583682020014933833751487540019922309, 201199571944057359549864560547445477062283912075864395184950492299200417683550071040, 12236125368165199002652547561620691486945159218395763437757166166140140187292480, -21449879251282833588234520919461513193389180297523417888185380902701880590080], [-603640485188527206096549816870651407445059415637795023545217248882041160671081667692805694509590997948688, 8859054412364727352804638288572609548117922793731207738414145687362657688205078530230287333532, -333156832743263777561089083065441542048377823733431182499262809913475498977498485163636, 270340299296605484774660712010423801707707227844959815475194188946267543303107420576, -84373419389721768121048556885725078969148312845933714017741944222407629583236728, -47739776991224315501919311798900019589225143874585508009406855106457403446112], [754636305081813668063970993640514351748989112134991291933976744074836724509793787613314292810357545199720, 611337253308948071245974894137759908896271837106393004550223096717765361611096185879199167050, -2137737011124368759198719739454856254190333698312150709966340167605773393246465650341750, 42744853303045028431956808998667464055605900760106040414615299877293312512917764880, 6961908506506360872701613846480250732984013430070163818902694138088746031200212, -17865689035588966205199527769091242102559649755334541173980420032849179114352], [481480488837557884958905737112378872222101432245375310669303029335012480940634247326238180437933777112930, 753936395606581856744799659003763174701902887423574918837816728880844768765480442186375472688, 19020302669335661109481338518411442521321582641535052804236557228612877371465864147386626, -400127386825070072733947803304000386244849617861723932963251306443558522972694733296, 14367326013282517057417130726168224029700056269622838261561084321166742303623246, 187780442762202498140432562283681582923517206684655531065339435572752063176384], [-538149389444332766201374931441244732202028903419174167367204323137180729616120169742184531140107966161190, -3710840986163985057167072995334804812898636795272930814447679366116739709662355724118967563984, 19430987160775756208969901062256137759308357565508344444761987543735883743158515183916258, 804737386252256180854324717323362397270386860838420138438813917594094843945795061264, -330715827609504957150329766980834495068705623838714142030188058381261449248637842, -98203808612832116411218656320582142642403506561668188557666033994140527573568], [-1672545675069377114468792274081848436885508270522352905929616264080269648884085775302117724377956144448058, 12613365547531508853970921707225341184894576015221834302246280895762544408744375275934308164872, -5259702858602709090768297432655968589952661607663702213386569997908985513242113511769181, -615303966333432464291482959499883476267042523294882061013119854675717300944447058504, 122644903163559634574460954365900168758046699926159050513309065996128107552504437, 124092126885793921648373521819195249947814390754438958284732456883250265346048], [-633464445464038075828079588206741715193121326850254726692273595979374031126476844615232312010184265093220, 14600515543251294972044179534847470231188859326077531668563627478764393517141798006217225898503, -3706485253019855852472760621681650151135869051673394667816492270027930162585768618852939, -911550009983568295730069479484403201425302917028325571462749444016629970160424336352, -37619660733408613664913339176143008260395430269913861548109870854975510399125144, 363230059347808981148002218684002694633025657947499920016093661657774816757024], [3272338077208872472597876648394929278578505193187921214761969612151784152085700031532244269247874827958090, -27769635626991877333462297745537463253924267569495539788637529668072296007035312808639920890912, 11639081662398933091495090908174068562416172980305568320251714292930926628685627596710932, 418155142474656096782569186722197100940642512208108116757996482346490209571870548384, 212720846363738189960953411432816419800072212598465716544561584550495967079502348, 357556710011762441000005871741427208877006606744717884345005751171836571032192], [2164157595360580100282547706947070913872912634373522492616432185561705750841862537678998204107791939163320, -41323380303079502024524223315073559094975815799756964023504133931286675762977066107908069000322, 28327020128011743206727265163497812720608703366048417561517132989205651863116797913749294, 3665588961326050713553243544054281263050519732957539923306004742238686185504894851184, 417107951200867438635991982074915141499962662759892495150144118787561116334875148, -92057339174858190718565869116507981085597875495822143695145859321442262542608], [2851705611872395219737663974112057954594365573098000708870987899496800412037388466789236408414164593717572, -143400094480590642575586654215720991376085501523334644605543361523030582552914479641314838664943, -14966744003293991244457453033537380922151802451094722648279912630232878531797638859416661, -1610061602161379073294317423578426515884513439953584989794880906733667797494782058624, -654565609030545063671212619302468136734014825814280922139939742162984636815386528, 510466758140806495372100814813074950462272627320568044836304783131030837922688], [-7614147587311449672367672275239922142943323212579577496152928479171418956259330112564186507141185710367310, 195766738084833896000182835541950833193211790593641980694532636426559686462027605887428489847024, 24224903420317515542661068004760228648691943386628525910605234507780153256255419887609290, -721958145992308001231850323233751183100413279323281348411161925010126171340508748720, 287929283707640288507559813928877008722144266348938700542113763071733455072743110, -866840764683538624713822541152832343409515143247958971587528919991967974442560], [-534197237291540954784606572681123264342905573467103076569886481114328244769255842609715486719624157345240, 193797563993682816228131638106788056810958832701881380301739455536759042925378886067589280632698, -28754513703087534443234470151059552018277883846910215918336502783716879899049592718668534, -2722424538217917781916058666559343172890352920878458513725397717347644622048612001968, 1347201356634118989891755074773449234414336407881360547160179328078145310388509604, 1558425207951711088289069963610674839070132368876716426729674549809736832516816], [-860007693593489926545792646248204739380525502530661036593206201514578991037944439909554825552787977219808, -40011971548978536790752742585839400030535491455184646354668814475112487306984378095467463416, -9545196870026225583383811475619350631551224200554576751372882714618104014998604207928632, -8924306924267565641030734170993260281943296630344914468446393303601323874408271588288, -319661678926204807420187995532722551971099153310894500416013601034375146863349936, -2858824239570449849042599991158502181414833532488701357881604772660128917534144], [7288499186090361809408887024574454551330821695353885402840630544766209867422498752163193252581169558494030, -279940518474100419873072853955596542598226360107162210674879069870359502685796336166199436048568, 77133930047196838648225176309427034788767954766508652912754319460873934132739251476608539, 1904817228141362103326375568259215864925581946411038811676620448066891534010470995960, -4838797295678956234264008313663567049092637504237786957334623339758324901401129155, 566560508818551796398023947052537441241546700005937362206661524260842313034880], [-8973229292356283669860793878961385274937707916468340764699510224815689337776444886918643778356803627802990, -365016876632747287892511388041428913584966196764155603201872522491779493110216788777019410960144, -294975249243925388672762353316705606994553271321296224287820730549269970513395397429334838, -7261302338392282084599098980313514573029445234610666876068485329011924377300150699952, -3550387716687575335683514244303158304196452491712268440328415873965750339088225338, -410106657419974457229794458570730236826110084084966207848897518443198656639552], [4373135826250801311522005489290836961517447791424825483036441970259036294407564810129573263283782450080830, -136231855990654379459855662476434395699405939686580905991310645053460482422489683221716127826648, 483841867683707999969130963237591696998405360395358835574249816671254480667225742762700463, -1186931753246344159640572810244512083579346305058719141159532443399401716305828346728, 3010789898263030066656466057268364813263066093353651217675480982237168601305739209, -2611062356776138318478952598629192033214265948978556005670726677953432382475264], [-18046887534937207526864693469706703224091817703168718208307447967205971164169389352462376870191101576812780, -285622086812550898496573426010925242428097924696889708353214751468813227809217579588725549694171, -341382173052592466122044923968685369326990846720999973659740741996541512501066522505557617, -10150837166498085212568570088583394460375006049882025175868372467080850486018458905248, -9375156368510762185424282315986071545374754976938294768665476242453852134757099144, 4471902202868449225051273380786752912439709037176730383630064934191096389705824], [22123688299051766649801251932837539815887609701232982170739435584026659032315774734275139739243516583797622, 902902499986188922970041445873172073623814014228177348614276705278725902574666423195091373737992, -131239749020119507671133468181121460485352210885423725868833594298964686200692205897762941, -3774526076662870923789283925526818132524014763690436255439845003781337126249696758344, -2139976945001088834144132293175899542827198256852426208652990059062279915750472043, 1335442849321201473332747920240382246621253278708378232898962234201338733328128], [-27570389605989068229228080495394496707671329704226727404436391650268562857584531585316326543765517544677768, -71911345305996549277124939706820400559300782112537856974069055715746003171223385257496834620114, 65034472032045573845167300462955783013738983293290493094126153108472612486453234831910222, 18167881345505004065946977193388965066305364952661039777330971159393529932594081280048, -4535939581062167930990467997390682707997963417461609118804612146166142575152271044, 2820132180795079167041161572951607167655194960097950665846274728549116542082224], [7520829027508746281483108413457761562374185261978979994992426517409611574549467540922921125965258636985210, 373191747461873779430695981019289103608197933152408674979262617960634656520541536797851690851568, -29307192153189479824643151689697843359560966344704624977520930618952793096636950377816054, 26767314498787847315552530847663376867792178137543179591640989813526243298936220725072, 68246089357159867736402588436863768911840105396989762443406744715603586890259334, 7127480032825958189430532576596410157561678966916527287621423117477484590060736], [-47384945232941209966864938304922713998936929484753218961609877442709775127271235440450890738816839022300560, -68699793105973539678752087597172775531570297635578109622485105569281402144764707350951692994692, 696148056723987663406138222507603119818326937080108318612003355455453305472475195773955116, 39117122068834939717713858846062265144572141237066722553157950117423198791679718438304, 1478660978372330370597349911882426311760431623478681721336093491301502271413861512, -5801088150599819852496290143213557152520085055446959174510098043688937647501152], [3420041841678425815224794579282970016377185586011508707222810410574238491770355950820788365811835816668650, 766695483283519662297134947312483679194500286648237771187544111728765311726332171461822982958576, -99487368588802444919709444775674867426078171719964256365280346918063946719355572047272598, 8193347769015177897541477255404375728316823311192707369532234265660913392782270898768, -20396861413780330158552585658817761396256723212876316707027316509738419484817824474, 14390043637119397296515986402560618030740356455408100406072361432593502836109504], [-78454188230946872205599498339455340136507093106152291135309596155706723698459149534607174536693000955246348, 1127132692037477390421460627765052900737474932110313087196145050720583493529316288090540646031101, 631338909964547386507138700772169865657489915383653885944999295948193189492799491223096527, 33691601696727765091832432841279834380585055554198638480019822248138862464228375168, 22207890817237923898606058516270897952556155998099094072615318252937657732642488096, -6435459467579565800403548690227454236286698367346756720135063110851357635705216], [132091444368294399499238522805321896523482527805331172010339113681686047114580901247672591422668935912981262, -313089853218280373689724188648465765753226569700864366068524129144944078437093518179209919790840, -465183831969364492859788276696341482040647366754134999911589892045515204159525207851883005, 54074251304052075909221290884326207035736067652485973335916823347656431933931044743480, 34917177197829079420737272015980171441244313118883575671236994109358212450248059285, 3262949191209129450309367131281203192567799070048698081328306891724575058016640], [-191637948033857679717200148204579636428683140897016084278499063917628429804786085191018727418668123015729320, 297383813541203722824655813251535070089964025343225536422127396053605140401082221565616378443366, 881034177644095106261014046527649287520139445005972886987031593802696775585946581113199606, 15842298921014501509195535925311651425398956713799427072003802761984017996366043814704, 6709072642925864862761852374429522417884166668829168073128669720203802911317924988, -1630015706887178195687543470211557714352995907880538000004339846396884783111248], [-95392964288698567611028549890843099797852421409988668445703032054317294982632354015158882250148555586809530, -976541970485928768140052533184045373027609645163297859964977641163496469503853351194227913654104, 3115504825935360383433988545126334400067868713204532329290922020559094201578355921164927967, 16265743163081944483151611088526248684887053022074818018222599920976109386799506605208, 1482271087707796650475919818058230201676688369924117970313304644748541447034135193, -2295632677656761218858014257197344516661542667941370730285657018004428713638528], [115335539209612542553149085306973044778707247837584984452498945978490909126938317503016077757839816891021760, 1176398699983171800860183259320404501990118493559263472219950602884431940478973671235254340499440, 651627351336937146462981531503568415733624212228067792570551330931885259521958340619143216, -113203785647648479362207896003924196505858847352654254102283024411131111135943653773184, 47254578229109368007795745591051860807759139741680484561798230767086268748859617952, 44207169533595587239394794018928799939525826862302033611340215270858192970747008], [295099827236111938445516628046731555910062697168140208351428388151244997144875282256907630714675616194849292, -1095962445965830870166137513168543298677827732395058503202735874751349454202804648675017739272381, -1724130040560470458318096521113999864784786375087656612561266227515955225375573361254237487, 138700835870499498744539195198554389676003223275370168929806611202484772879714324992, -2359000208486156344013527463806095952443340792791716777047517662268696975383509376, 26992910904253621927719767716363890439625829519015021404158458940177589814084096], [-11955141845596470914901419084302444485071501611639419412378638533601479363898777207629020705403035240959250, 8192394979924315207894955451730892814611769337659595376728950898692383634584460246273371092155240, 279403741541846100779364303402397984592143945145950867413354695070492357495689040309687943, -43607405599833676547451873385979280639000794351478947123594091942219604778129641296296, -124042087321769366658190815245232429960575534202181627078928868094173408716490353487, -69937203668763302176675292116525519701727257088092671760907912154138629321179648], [641380844732967718194686156923590272434886029491257572485813285610712199088273346066561692185832197203593530, -3674550997739267099637674351093498091763096629652960847040281116439216301696257921586686157534480, 781685038234495259616546266837011349150001583465726661999984135087006637026943069912198730, 48032118124556668494813705857056115632731397416507240592149918485651269258208431859024, 29748624110638704920899474129391273941770896626174466887152468651948126396330916678, 62995159155412409916622388017874514036499057981772990100191367405643387508152512], [-239887614948995158434953727826177076152313090587401914064123940178153356463177847084555130936721860382865360, -2268972856405054037617754549375390454483552906853576049415593715931982473899812927522439335677460, -2928242913210212644074305669283398770576461538334099539941399453861101442749651043669954244, -41354844557804162228973721619914654920324105718750704969429126066144613962285575347040, 36971256423267548449386174186652879741939123777961157469061228297837419560578120, -52688320319924572558838087166197923380140070086728653454468431564654417730535520], [-94230536212926329258717739655776437747330338126804607428998122784593732029291517351914650071778190624019490, -9793386579558344710278901904719811603843141039765088221001563443889044144623883423139362178932120, 2053711283408386504679099160149789317402981264921865379417351509979449796024911914733647335, 162958274004386872496531816856966281620664016155935151336405625999177530914721957038680, -118246072072709465420732512838508193138540604211088463237096260907844303829393677999, -8973732704584420043571381860202641943362418087798921288441340124845370639844096], [543299775511932985167205590964619015978909901908296730336395947447485887390236224997797741362389184183176470, 16675163146186573963741773530176445225714360547119767282543549089273601178933196113073152011744104, -96029892289904181853613218526814790363335873541567464014701859150288607014544157456713369, 287515430105236815710865795155419767406065500894713246873928733507603468819139764915672, -93599438163941096885549054168207727154480676707392923988524703385297933994937430191, -22289321399450269173702099306519634466709851675780507174737452370492077737076864], [-314589505409947187976613346744080196165451979120143814280967841854535322071593235367830741259889141019420180, 20227363893198142885598529083737413935565913721443385319303092804873571739914069378812201902575099, 1861753384662422328509472706128375562152809965369304864522408168556365360701736932310221225, -489311797736465732651109602097230943970179548288001946262442749884767708295054575367616, -218252295499029667077520009925211112998989927125657621248186790419904690122040063152, 72515118721124977678220203906858713878323153912396867397120971967040273080880192], [-1652843966965106660222798439679234860027416319472667791053952931568914120774322586872316969116782140622992870, 13747831769699489218113294292733793355978807269644416194631576086875014095726094932581118527283168, 2788344363422850451175033929707240327835183088845230931578512789105656245036150582165564436, -343892362235300495923390732328836424191041968930842709735895014717043469333643378370656, 93462406452047055781441972934330501553250962709676874714325796795914762162943760396, -58463904947085766702415126267285603474143260296623443264677728437471301689734016], [2723952518738252999509098007870194745029377744548696246906425917605491824308783353075714806596044365639137152, -7210370861025274395529395307173114675155653186560854360698696425162771058321504023555244909539360, -23056760327667723000086312932319240198171924209276087620320373398507622666486370218079581920, -149643998193810506395216647098838159596464916014590349554685771537993060187536937658880, 215201745949399210396339519352201278972647819689837539985436526003805203754840314240, -234200762335429335924317819554650769157651580495165573066072709664488511264279040], [1151034000401599481536545994098236932523901834675337675561081787868991313367496378801808930837738319203157890, -47963197997054331098268975664926618385587478793947022280594649846049812596247426301002142301751872, 11889690090238860021807964145040553251653335737422092206117689809559611969873965602373040872, 24879324438135224922043883446885906060143157722685623383601475720806834084979099247424, 55218399751361992343400044233060570187420058633062691454398883712170056255093059928, 258615048650906382826553696621646932036944410159346807343524453769963214991264512], [4212388154585259365121026175367362023004659336949432130197157898117984220133337304573941486235661239662619780, 48559947577481014405239559377792302143375952111413318264429422355893928869345711840071186260530593, -24809014417261580801081539333099547962656423698326370112347427770736844907846713210353677685, 820483493965582965012304447148850300825772036552256237757421495548900503809142143416000, 442665296384294730656312482752117820484211062894279545487045880098317558532437820400, -632152843985097252533085215807034430339491295938687042792625525059708033329390400], [-2433386568583448519000574983880322784937463945293500280485107411883416297345481059236373421279497027809455428, 75717234351309930540708568663325394023827631206600094933920224249144268645457086340778607583418255, -76330070290076787489902127637344222696120025413218761262789481777488302431470160001285043715, 867913716247192913809735902327705406122660847322185394766399412337893592104910774060640, -812982840090516876463108553625059767995974297639371708505683152801155824529959842120, 480106173754159460617831678686796182226426401493994146891786839981790947299207520], [2917587614387048213243828934312113921904911170744301651350947563949022585647799876353430064704852135089364182, 130019079745741295010830258691616048444456279751815689767200741338901233106462338818821250380658504, -54591136150750363674033645136932597091510469486168675540658153109147723279919139143209245317, 549271139590877601947878144522391367641875660532202266140231599608603884794918771076472, -127118747728613401356173729798479360450198052326236130232540822757863725331929289891, -499307995546846273063317866670196322721692847664020999314839486900673891233342464], [6623807203787822599622252618182590266811217393821683293368789459168411319811510165726306330084913849724076460, -61168812269180112811684972371477629681559143889951110903282070542856163852116379702021796306363925, 86369434961969491413582645119245965954992616768442089073891320785323225479905197413516020601, -2278542720744265208896375873840682339225165702086148496714167485247848611152087891903424, -1087395307521550025227519375083789439502750142207056278954808968805377355772783674928, -1059112805224124117976930631903360389870921102990631952624206806111560967211864512], [5898601761291690583738012018855023542856180659206278020254798714555664618032817937431716550038464771041381850, 83813325364946707192974150281729378902950227707121561408759456227830314966470753734047775783974512, 73405711776706994398488396042266195138649910068487837569055591787355420557493119115340457242, -3661963509530639150657942979371539313561779190227646381431608183147904161076268534075440, 2115848694434720031688972899005839818696073897836168487482909384527925521177531674870, 302120982092366572474474240925252778258141296972957250758024193563003895216972480], [-683885979373566721560568634318791209302654782660579195840834113297405096500597764697508551920977272231511598, -140373119318932510016318488373047130407097114654771111194903920877451382701573963855934960434122368, 5116438154940129367547376453995680293948188920285805862051305577605848482009852473113890064, 4661682726205138255774995343379169487008037488392905538728358002114274819851135115445376, -462729420250111962241088295184112125116006176272020769255473136311535797463240810128, -1857360970530564776004287764400050812473056494696410745584370740443141524921779712], [4924973717339740441931279152152608263711363994500461197507193644432843454183620230881119437758916451938626230, -214350639775091231484733677555159522013508630128499689833868776099470739188457288464012688245148312, -8292880219126656923252706473981518853623216369533844747912939659221331053240190065375913305, 2209737639926140887866658076127678095549719387879216392675347806007638711412582895521240, -68863439681835059563064083489791710911105458689161691033940468362109328659066163695, 1949964201325716316296365742888724800743036881537607826482716165200814766619918720], [20524564507260397946450118128422858844560809073422251576976383201063606309879813884545116521820928876990415170, 52875678995053243418248421785635200630218529952059074655372932552981603108861871051907143955102464, 51005451358950768728571325414203145789452512116875998336152388164616270506829634031843658016, 7097627150008122898622195570760694210715925647362517785715248661353939509625801379096832, 2014212686884420786628403332707495265034066879051837394814206450040409274282789876704, -1454125292464054467763239028547691615339138705146742945987612048812635639981814784], [21877996880708594090898510628665082651184186648874908458485225920199262812033231010491815795116845005690145720, 211576413284929731945217812590672414861093471407161402393851198660613835824353753649374028541915134, 251424867915246432700439979801327727758995022936099813624903440700110775794793930963943406750, -1684716914097269948246537544275355566641359000722099221577586867104692234291541407677776, 4708033079329354314607156566454836314662484103798652997309233069190587775854605659228, 2793373757499570069979065513250301744517777607469144961019899501678168282068945712], [55354652129845126628289626239328246847396638375433980395062763026864093680517301638664637724913722184732235430, -986268784486595777191523194597845950614409658588855195912976463702577839051755421361879496973720, -2967221363101658668175092729635969681396870826934292785160265385626984121163644767878523065, -2418230266484353195912123538718956275623217493782685390565787204048763463460512197120040, -249748884257722983097137350449371930062020034671562298441002799097986830708008551567, -1692629929166216281748098376032754383068404231953148398771047129193655250527261568], [9408696193616835346970723674939067151474225863260479089410624626634188858916920212515835167261619704030323632, -762176877136239577848223452713756501088440859670238645586865093088897600751381803718564819129454452, 18638004893384204719866666213125633797040617559101492797362611872702958059458692614231486796, -267654231731863069935730456152684023573375889027328022560908556770887415763603646191136, -7140825961039765137498948699117130944148838628062277023737008493461687231403732295592, 934942708419084468866059303201955867341141595684095560734557951400601953225348832], [-19248937778776628518304015625466504554654351619860603246287595318236302730628912970797945884272472091460016290, 157387151645876933484897212591642346606787632607939044442084558080249722286667130489956306109982984, 118247964773978302991776220725808132481647599632689000031212743805777427762401739187680367939, 4437773013845961304266954298826863086480260853604687692300380604117955221830987969526328, 6247009856090114247700264421747496638552393148368586954358361571907994803413692915541, 2943160692299315680276685404902301220490043650736839374496587707081389548646555264], [18502080375427603996227979023297618594891029435577507631608462980949983753165945520459931417291658248998678050, 675807901325268957848735026209159841870725720391385993374279580321366653128578022285017524906411008, 433075596390981539290237200055627955485483054378527940627036267473344570439434247581292956416, -15997600673922472175743655501611022956600147697115164437307157253776355456371836176211456, 886283911289032090079107311928623893592722698695896240879786579513525983983815040768, 288006992102375168698353992132126150014015785211553103733797906637792233434230272], [10449653983554639061080736970028767178507367969426200188174967341445025072074617197794411915407065546881805860, -1183030572638769241598301133762029157160684358971426467554377751700129758821737934994342944846643543, -566802582037478098208423081189177275024218029086307653590959938815924589836098292185638384661, -19705268225012507777445389572622360009290178848059888316705712455791889196155996943077984, -1011256288287631848170818033860455005055444963901699887117997094150281588599390699192, -6448040177107567946971290394051421917566420010893747683082670253329493271144713568], [44456938674799490390247037284261859290225730246971450481356606500862689387884757333928807449185786864321475190, -755879544530886200022721387137253187029234285256382534190890810866371425733308450373434020442748152, 1244197527482963599541670080994849406754256560585647634830586074125861843651897067197904434083, 48640064583117584822877741390240110345038174712741148687161296514258614610180015038637752, 1883773269226182843199086162985251387287001427075120415389640287603363434626665156469, -7585932264565248866757277347353920896955896070593007701990502487786864284895956224], [-68399974556410711326793974247724845260307234986773977390123393038611114557481124472248652296341921905113099520, 512080710090832083538032276794985700124765632844432082322313454697656678983697309586914108300945600, 85907715270992800341066914931293330148859690113113254174240340091614793406364434179132974400, -1916245708842085471879275410438775356261880687745429392564098223863673090728548212679680, -4057431864793669872424440293319743712680201954441198182628003175521924063803973774592, 6966718915851799071807852134718276391548626773873335908072688738421646736871160832], [85395197715459179782707554782207252704369638196922962287343134600181848302427016516709244394200406022105366860, -2360161906209498501148142061669913135472670132783928125028237404366498537387296276447402311877428013, -488686627325902125549733582085967129391181701350332405055369300465367334591344857446854685391, 34593372224057078758857444943369792008202276551936110034077432790548100339093514330208064, -10533653174568842788730795979697174079699302730211195512894987631045844806475568199792, 15974350992752928175637021308597055979501862284541527961499478785352539266744717632], [53946415803625836761726512234482053098206664329294346571481882988937092177648187824299167592111308189717037690, 3179767781724278220547173303389593430861316513890705446180420402771773369967260702811128138632132528, -1290541289743062248975928901056052442873443594988301812329459299113452462308353960308595112494, -41527174485840728495576934310474862717329819227554416517209590828748612807391296816756336, 3934049495982262660310219557864633199862858740167712375092331967515634777048860361982, -1050279129376742892846844384137991554175163853964449853953988293459330859263454272], [71054594364830596010069858437259895162237944938017757091807652695695896746907912970430234228634969282869337092, 450889128038729128343385116611933383486879094376898364406053828142224749458839802094419546552755425, -937878958424685776396407563229807998856533670115646239935305037991041286484409220385746472125, 31501975906008635414483986216901838512605559769753638902217951436307397097828195981983200, -18176032529142876772078539994768126973946687677126265089348514056125367222235696973800, -15554748564914523877284571432798121027795723219173030473313443394293666027817831200], [-8567361844268085740243238105686701412028039287214309927322873089290874036819043970117023523367060676725174670, -1376084324209258991575615763998438871321815383519868279302497519204348409130985399154641627420303376, -2557057476695290210551876411858196124946559433298665340046146159923619170883352640652981733782, 26610896268499846255266576675384003305507651410627419314092022969086090362764572978053456, 10808453673346661290250228193814125084277536719299214743948260246910443325450897817382, 2947958314364238812488496691352462756908422504272081296648998795362661951311969728], [234410055698177503969825964766609830200647674488508824660195019162372153088341883720640412180075327120974179102, 765489329371106323333523786620570732734771763452168256782567443971118040967939303999062326537670568, -237041032649741159794117926334027409500941228229390764637882286185353720302360030093785480289, -21222503242765346778983899771077070496605730176451255968937748413334249416980593220364776, -14587643760299317423822578420038760716153150697454280279258663940860809827143220123047, -1325588121188625172006371787146815180170189615316139534889733269350750875243455488], [-36247353310415584036660370679332299835546503017413602218450064637942925514289198040777503189780587297025326360, -2099968114628477176546805169745878482270755564394802984210481679353966656814131124379162271249344598, -1244630533981951360288563383904157555113659859883902406480278541722669872976815724004445777510, -56890507465857230397221900387025608779569381385429471651189042277555733827456083414307504, 30296657487908878894891924769326560234376405654012167684504195256562366242059024139812, -8388282284431657672384186225443113875653152316079653558109731391333824665453301552], [372023528923621521306852190525155786703359924528759826782276355024871636843569158090831014612302771188213338100, 1461286765818497379291058287341181468683487808550225245812229247868959073842710674943757904559339229, 1476613541545921999325242886130389478008642870141902413742083495512464280176487161665460747607, -34748236391925987271749042509970591060049349126938746761104974907093358425532444941384736, 17863865023356977039324481745732168168626299610136417354631370939846533336734502048408, -15653026658342992606453640929427666050292871019953208460500669758456097836468833568], [462539619051920201541250361937474957481783565871773040882658505485969997690673299164249354404503419985113912920, 236306183612021306144071239765578682795261916773133013726042024303482809853746157334156552039014438, 1368196848987775223444345522421138449083396101363717888002838770405927145825121401328936854326, 146174896289983162118404500638270572213907976280346606033370456031052472839559816900303664, 68227732744589398834541623384356106325737814770774720706557145438857336826460757298300, -39514248890650605880454792618770728478695058618681868831953533731813698579203742800], [-361864245382679294852955512868977667691216166538084207320221651147342460365785072251938343860028374828347098278, 5332866639667465548651828181138370842585981657874244466793124706362280458704029035504725069876450400, -353184800166447723002949626119013547995435654873746697493676939231621483069886028858971363900, 55788889743252663147267622323897443986299340793699411327218646622159223924233572320640800, 18582289645221305190849283314587345467411641141737044263882948146689271872287473396700, -9507071729160946695915503898582928382735292894935991273102796599450909532520035200], [73364924283385608776815767479583066148864756324504402311191856065823093975238743544886154413089622184677468240, 6162227750453724794325166611746718858672942667016201947671415854538380257494249017523412498420675700, 2857663658519850872348443507299583152109696523576396214703218900272798347905620776845991495732, -141603055494865238611109038933519181406887399194918709065016342141098600938864914817455072, -42949338917925905204401256713806797249188078439239362368179421307795092314326472301784, 10154895212319149799728508142096365409300811015448789096851880862061330545517170464], [-191535411103291505990107552543287770089547761982370039184007309879855504697284193094883440990179664381409957838, 18980690126268891939623966775800074425724751074763148683228466407568072652065826032301887389501204336, 12469784648031140628504230434548224161300250612452377793018822303263406351468949657034981326522, 77205424386896867032818123335760047454821620551743983427337284825710406509794575776746448, -143386802929608390750681826055040589983167570749251333883994016376475461394502465281194, 113507596299355841770871034551498255115015393980007444784472430583560807003716850624], [1347633806301118207033579928098960074229434603916051169988368471450429729178074106119439423929251669639633892520, -10400240858358124381211064462991489772649752228594716594986415104271964461935602622091943593863142758, -2788557116743412296433483397969141380950923723982820813461781780375640208956780914776869942518, -509779044964575352210348179817303859123161448841862862020320525317517420153968868478487344, -122342108278055089943270646155947215582552653008363272698522402040904886065128678559868, -270457079310859075069781454356928395285751734936260585282126412887617737943326692272], [-208850207469229451054939166040737967506227755911607970981695238244217719524183277253952697442916843647248228330, -6672950454618944214393578456023510381634238010542091378051900211316944745063912184768940090941279160, -1394074196870703843069761960868193849722382615014447375634175740760526324211047079111641315493, -106042780898114222202984083386780821492638660644657131558776784070610290727783421034830728, 18678340809539443093417802836294881009491278898734518766853096303514429844921108982909, 294809058582520786169719349690960255706583721059619475761528802424585808374408513536], [159300871240900658638987303162602626668923928041878903347429413614174676053861350235062699119653435394375634382, -9619788365334184262117468283320930753511810658975069747955372350198006862210956917711507006516624216, -10111843747980220367367599474223806066984133358692075947587760655898937642258812870981104734657, -494768811085146218481846640991000059913637818498470179226319377241778997895850087861773288, -182720079138334443036456959398293792422050097184657816656664474906787409310962290147911, -435629093287391889692865247940940103174882901577039959875782453221990412193103756544], [-1180923844916396900228287916866033541301616211385441678486481850328969534880967008496331153154857911852994772600, 4979266147215443096557609381821436025737372368389146110378873023795932163227744750228217309038608210, 426648244498919540005443141873749183603834575022301918269587658006434191682526936782304757970, 130862723866173233501297596551872331682322052370225063159679285547965576167161264424966480, -300101806296568489544292176689864043319344341776038337979248141673848384514127862289500, 96855765590016862453431934250249185842936256564861160903621153710476937968081570000], [-865119571900164218893839011314489988138347389718894876532138219375765937545261328013864120284596654391566724990, -13566438766167773355679836974985284735941146853330968766543826576024359258987223703492414306232052048, 3981812202438563237485465695743005146874129955387406079450336083981478913549262289527207327154, -1229063624977732043715135006408174624425127668589016978754313976308241575484038821733491824, 286534114665754802017419617519270690338766290174789095037649189080583257735763282284318, -127766698088496501586706286326053329339834575852687282581070509666447268749989918528], [-6873525026348283560814036845166679222003639033410731847653260466096709646981305943283806118048479820058749393680, -3271763240759252768577374586911854025591882414251240665891742887418594859042051824178176926963889188, -26504549633190772539690295800856324769474293776222443131554721543031249238569918457476255818884, 1738965415331415677692325842622560073597855106823875329671701630887591069676129982525479648, 331789183673875012484305010400544611940239680176745272282359087252919646360685837589656, 775155693817590220518065206973283023511651715011164277567072801234602170834679392224], [-276457257302392711236263160024470568405729046599671027721898991516925580398947281727693480306555519387310587460, 3925477705152201596263853696988538378471134692021872672829950296849791827551099961598716308983130511, -33264401128935810372253377015001732865718243458937698508911599389082124385393515377946376926131, 1019740130783926292697564764228068957308618420142553995824907090494293381621872195745709856, -1601750139540612183784999766845955457993881152190803779770673775099388572239429709514968, -354532212246849139904497266560135543014996893843171804178853452728400935621221832672], [36501481153039145986042689303112461820203254967371493932438843160714548224946763169072553185921298070515523230, -17022728246739715777675526079269701575202117084392823794862319895062725137736129598879287291466475384, -70062096786400688635955716769504311001867357558211618469569584369921930227475345458649308797293, 2453696118745439998824511741145652388218591007929373791579274044866493058443971881526529208, -927953759879628373008607943710271289627801106975390040648681333455149227432058447015291, 756089163206846110150412509348024458558501287779560485325412506634614844249004151936], [3691934491729599497621030021543634559770173879574518103124426357055230483880071316724656416459365490089486485610, 165486525229712769037678671597843854773261252924249356912927482248989768647850145013994266525572516016, 55272953048099252383251084502733216066238381954063448682928412232634967922313858505848763693362, -270702497364963559073015330919475684592730594808163464253955175231177336570037253209607024, -438108845033475846299048945251505450147365363219451884640702105293594814239474696718178, 588572886998080537876949322810647873454454607606218010055298654205994470641263511488], [490931657599588127532508002776022614018558026552517884982106488846107371310597334388793494523764429928522969440, -185507556143449832089662261406878782394225914925657899442553181485935526963478369820203839216334083176, -37690588606541270795057017197912337713726842336253552246312841712844941682478752590084131672552, 690441200971807923873003871101899169999804527351805529928979690524583004657860894370988992, 1818215037148623734909912830199793046160233490457350196525221063824017769286693017485488, -225567122422386684763118808839243324715083593077880207852915557125453761104104374848], [1699837634253119649693955810607687700882093157198624018890982011284592306800563732502050552550704352761557957080, 146639185486621557986067864977138733480318667623567318227556805662202063442471125595809993845337496646, -18542480670656837517575946155910811607367538166834196148381078329552774603347204764265503695578, 458161579485909611245348192399105685781075024602635509359057210931820153726751013023391472, 774026394521308903842734148498563964915420201804368134469696330999467841072092005063084, -969204125783950294711660093249703701825535553232973752476560363952495520056660165264], [538747915004027767007464214850139012443292122686589142440983648397775024054661388723592542858237534933346103652, 295124014340082576627920161966695792750169942968894338855793430848904873062136117307971794430648295897, 13003697294935224671972916048506192087540054487779929803396817723303495433947295177031559562419, 525204242272112198086027451130952385316605133699068437975707306461270115417576622870863296, -1818986709422772322769087367040534409032162840475057701045220203700696601395123216241488, 1314392754381953496522833918937822078312621221239132690537650643585088427359855782848], [8622837542348137570455859200647527703146233194518931821630403300946552053148621887864114663862849636195376616390, -35112057554698574396684824930221453204435122555703678602135998854603250822516519514657337446830177464, -2663902199633258067671259050719317286636574472226764164816138669277295852865576484794276630597, 3516155129817918063659912050051972912942013898571434839579362248865116579961202231106531448, -29406432717147682313965306316382354626317117005318106051287096804909873712983028072419, -265876233925724217422602821382606383949377885889129332361090018723383195228562104576], [-6938810414367680512360572225093219073604862735913021310270547557572761245923530145175040383908570998076979274340, -104780772665289560840418174399473480317222289502067133510183164263974850786813894305494628292076366137, 19623160864754822159465536054139372550842265839842669311734980967382886950354428610115593642501, -5741490709631922811013405459312770229216325911763830284752267300156399941826380039699474976, 46952510967408476200986124271991145898790860885711233983954995901147964520366185409304, 778380163818540362621838498563745282057401491159612112443852494656860610470074606816], [11658185800921293659270310964375771677825322843017311112273702605435397993145105372792527117691160761971857886272, 81516859983972378612134482217966391809431479964869234042414516920594359481477791019922911027833359504, 160108711725636926356099140001753730824470776238512204982902052116921829787576300190269344974608, 3456371513109414606212322276376661906121098154240399763847474770722734097989702827267027072, -428901243814990042558536961045351197305666558506515762364670867981570705387046245349216, -940226375797726663167707288434968330025532636076237219915202120886779348064060859264], [-17623827825639462410697380897919901623958541070274842685568110947695398197817171205762125297494042022937123714118, 188183879705481870620866030615274187937246653622866846836180810294865577906170085068771264750047439088, 43697881580462305314569685606777558127894460406976614749325486286380009439393466304781113529226, -1951448150669848144412740103360073322795687254150165492379682105015506965550952610958295216, 4250387612277807070144145943472678539165228100002283916806143369393565783038352295278598, -655177621867062228071295552032470079956471978013651026241946802022215249688542617408], [15630213289410344919298478926511071871865548702918312258832981746251886377212498942851274819501726321020044545860, 193085191559417636489791224234178151567455915385519968407429703791625420414491572619155917795857361809, 63168369530775540000669756877984089994746936959426353433725846621316210270929160363461037603563, -8727868235328917216047821043952242796009957166033999214473772793430582628399857272380315520, -1261741308333204657414593404745035804832504722797728442083675733224484953037579504044640, -2701981695856222329058608534745248235243641434460448420206715202002981435494516466560], [-17739261782755617162678835374920725829971515623365118563535501872431667081879473838241366393967600593811717449040, 45150046115438167166219117010132796049584909842204994923878720303351289727908501130469671263891296204, 117889388464735113268833109676402027179659521706590901276049639860672713796835113444503950605804, 8055865086145648014861211514851025343412900205898226835134966698513273475930483717889505888, 3143776736202421814800986325709907342492307779617986350294537258641929358897394685958136, 522942972109856034234520042581485271086750664239240747087452125143008693575234018144], [17977371278472179005308744500636605361000629276319850769644451993780896625131162634316266266655178187007418375090, 93437559075029863397182497905215947970814312757396433455253744328923771733129077720786404594521854320, -295071890734452548798508862675045990574896307299313748095636519997453258900498730195465189119110, -3212960928683279649563478208357501403009959243830695825623965716939880270351809032077343280, 1887126229671787361978205085258123009474321989730077590911869121136312095139191855478934, -153087345273925094306060252366310298460611166805163744528770092835472564770168473664], [-22993953675993884559620827174011714719253268039744539804707373294885406884408989140565116082478322035360891026850, -226984713100898070092184433863241946747298777076902899140368661240876250719935899823157290226483447512, 7992952763721243257969473752566897132379138832103049009923250459544317404008617755813074749359, 4771356640494587876324496918295950886548348475606301344329123666121561834914680690825478808, -390368604526453253953340644985762408063153170935494525620923582829162009247723936895799, -4005564163879463487844147503678701716486208105098784539272734533792819566835838532096], [-3398726871160804526309034900755624350828117681728517103511007499698549241591585412514325728600431020050806967500, -145720692749464547630690732569964221395432164558258806658058725647658952246868206498622568793389161235, 369375798450105833351180625563581094404045730388352484505418561774240286722296552631219996748055, -3101840505165735828874036555712244120814403382995733646265657380070918291265805829252995680, -3252614657239717941600143892848942786795925682112977890107305747719218661269108248568760, 455179793019689203697336835417800585954337554828612825833002891795124650469612044960], [-21324796625219932369370487106303893673082693000233856972890931085409856507859045539328131722448804773455218166888, -846811617114499008843147751514334223942235085490659761231572305936024328541136526203850902284159086986, 101576440119015624892955962994796607261324485885992810265919419844834084351104257221141082655078, -3007703744121604298022101435428667621360578560533703868079573028267894523037684464650448848, 1531423136862415021228143103241072018215607673198800253158396688103840313952495883776444, 5147098395606713301896378034308253307944351315537690272659747710134852905807513139376], [-15587292658931859671797199013203892390764895915692514760571024209513268652937694446590724688492413583508040546980, 98794566028347207080749248660130876018325952799731080812424353435175304578372231821196521291751548055, -54301415425593580908129035365755465955576623929914032606090325767558254369023504428124842947443, -6128168327469710939191581250753893162188740667033214634012834797299436980486961795067511168, 10793592346189200872655677785804082454427905982014631801399611572658229365892401496476704, -384378597606166342837432823698807348985731972326440289514615726809118421828258534784], [132508718588608883006288539480216452680233777689797426145265493759192867661437912944611428611474372322507751904532, 67678796214522632510035154598197116770522225807146794864516454059450033315216726501789050741475049829, 111379685074459709534760448371902526509926916141503549146790637155876179215677842684153031653183, 13621514763473304005615666501233845763519512880414435630246973059313625862285149836762554272, -8766560051754950410930464274380456308644797375571214610363678214573583004047036819580216, 10172758146136793309231946147170058437013259274129150698712250908763719019594008984736], [23750503565022891470762501724019559899960442429348502903746779139727807482989384962166553836011692705256143252600, 306567138830157225197544094126903762520407554503973968114978687957113713377675769050019177375928049838, -663700152219780564875837457711375450436624819384060082328214818663241305221564840443159266648626, -10363029166158000754721021737161840474499533638017102125434089392308014583122250863362652112, -14758240587665725943423481065242507466333122148048535448837201141967683374732990309460164, -7498117707891167075861309891419925293321150290043438776519242241599004839709744991056], [6300172002662602985105988793766480328630585332838970676346338250730566974255524490815514890485999281861753147750, -1306835350078408914290298385627191092933730574893523937074049392579154221812678226498192558073702172888, 960811074547830534246517750291903978557616426382987548831657985750370174833629366004832443889999, 2012562636902542854014335271577204921674961792074034533053387027648107705585855829304827416, 8381038706324097426378840614026028798757322762513185741352967441512758619748346490201257, 2099531114109795696639153494263478652445184297110883315780487623656147792716800723328], [51451038988242568688442222566209322273290056426020528269637226096938924034317293611385915262960232580169944824690, -123200929500809869281388855280982662151591685121706164346044643717439743753159745306460756962421407040, -697372106570324095530526632207154960853017781737710429199754520905801668522247651125272773788344, 51939997587397700854850877761481441153209589104735901968564234924606342804806184089417266240, 3959616595273098027775291841522231993752095448240872780832649066438356219111898468799480, 7654124240438821516462540563531296049344022944656523066653625814348848688549912049920], [131386522014053157897919670395815397823151716158754075000805623503397748773522510384121780311348702582160556829160, 1823030868970873594869914259755954405778389573748801054018389422091775016062702015713305242339425858282, -35859299624474641757423556132081247955149117401520724868935697821174615051215045681841169759686, -18824883769209363810109077374116764231832327261659317659118597777537668211111458878721716784, 4235380436230138258884147765639026030805363096904306482459197840691925022543552212622788, 13262858942587213261283664016301731065823018159582540699862850679436363404761232598352], [84841165851423983533034582369615596530749177513779977806098460383823465870987632903338539889391118816036469021920, 98068593925403256687465438648777412628426492682748224932857000179920813609623749657112749703518495672, -485037654844827409999286701030510466320083755830005178762126475982579049901185410996042336907128, 57994623090390989457240912709381495751237733529285065235539255903886119172949586829014070656, -15817960536293924511808960947685184587542167081419001553280518845130489107167114259191968, 6431699853716053894563707361168558951192426647599646938584136023708901101390733907328], [-42994248991156643644884165289371136675443129651939487780445102840498670175177013313513274837796461890514352924628, 835369911329976013722724542047989705660481546870364915172006264697004276186319176510211353748779915499, -116779411998791484717960874453068319840115992087276488829752530166455474243606501323089030432527, -8074844976755118905670236601643977138610434593921066749836834183376057106790853937720836768, 12102323998377548918652671575769533201503335975498636568521531004004287141767343768669304, -48792488450979333474823229016267568565771646556285148504327136012657802846442220257184], [-141523847976083887514780812144010742046803773815239924730724035900376195302248351863747303789969614714600982837020, -2498191765545893862649243593190267968285223906969409109849292672450428013359554348718634391785562024583, 1628745999199710569154904459898777683955968644448649396883256283681441271227013702443450649230659, 34784125137860005368721544982465550808791406965171596460569358719431510676071082963688581376, -12520266947920468257212627074665232838805317505531889110052075417251431716658776665727680, -1033460139266035034651260719387096860533048731708332520347617612999162004634141822720], [-133209866089858281276249595211705036501946877893740993755149047941228349359393537407366323580885089010974520869040, 1767722458860353284363748534968221659144892600274872061680269891161313985027739671525096419300611898676, 2160370182191603079619633888007934243400114020889351048971603914747258851218046621282419450278452, -44447382272952230798447006887499148853803839986211775168947446243984825703022694263178887904, 43400351670260548706684546449993155898756125964039961459460329072881076490540661265643112, -37635001357505929378106723432919595036955249980398208341453695912492078640565492496352], [152763827367279685218730909234505473399082208426594538267461353434700994880767685986917805657691992424559500242230, 5227911611947378133484753488573729889114618952923834680681089665514530263789030307560863192416274255752, -869664939799085698917738089828161867284559319471497253566863897699990349138541218658539987233581, -123049149491234440310746612833905451469622125857388919781479316674562409584640347080125920200, 25943400782015930594676417794362739760438935720793698590422878139804024179503125961040325, -31244572328667905997689160358179373838516568199176899771442532122273365674193581459200], [174722353412015182487006378509494725749769718624584522350493234445758935635877736837226552635557496708014208881602, -1672905140354664668327140863134730650030384920502366422576262611282447806587885482980135084823875854400, -4816490444939373856624662130469105846966689076568682064985421623576627995882668633943473061882200, -190906063168996937162286097767248850670463796906739203432283808628230908531343551632791480000, -20650046143158898664758760770787996546365498383756837242098178662616958038996349861149800, 14762947766634004261312275988654969822936201406123487331679905759918642431616307116800], [-195405429789794739538820657223265055412308647947845921237865938186167288826483801494825378687483302313976690694600, 3536984321611534222109161396867974582937635124986037449276587320066783114543212679470966589163414093086, 55246154399369681227655314273987917456164024041285604301839802306269147283676977964095673268766, 9202861530686923371866298666321720400675449690222928478014410879464310779466753069879839280, -6020045403842114710230132057110987148300427651755527383093426279353145635246585330095940, -12846571271948644192903753867129314099098001941650740833877968246333458643336768999760], [276833925975074774362010961613285718227298139275741883569732593387419869868505364415954754163557111362046425694010, 2590057388521446939575660151093197971673287583543654701610297442022157455512868187716165752581158979760, -123853849978877520850426433784096038060605558818071892691376346151451736060717374251758432494030, 55013444829666199457643520116647948617835559526049152840957435223432423131945530844866021520, 128148624427771445864550180840603577705315902879590853521281197745118536309206045937301406, -6679469903667601354329019249671332502560698655445078063755128426431241924075291046976], [120577200265064990076061418213725754973110251847992526991531613145243379762246341007204281526173361979827506497830, -924728292508715767601583209393507153541992434835029496811440986113511421959261482175595290407349971832, -2440925356639156622968437217717932578297973768530344545228395297365445965035283362882507673731725, 285667306026905506242266274339495088915007941162714645472977176101376771746457506588475339320, -5267010452563274583699433754554800251262645238189790103194960179086933597558495470422235, 39942593362296745746087169967882650854542391652852575773077185774889119407908125634560], [-526267409097850482868157816281192479299849338876189153334618182959988680158595330007918021997967876557130756114180, -528948581079435347385645532601546546770004045558655278144114769623932732591918246770869743927315601601, 2982682963307463668410022966650697551485622506013193091126532157333330201812219528640684180269173, 238935560536988560046920241303926216572766997583814457030240035186958187764373150287652299712, -35235656992241029483806160667031481234322968607626081278672121402476405532562893845702864, -59302343953918885428928063640058172314806438475793874815593715780061393722156358293056], [-183251951126205673772677855708217942879080148318399857905749789128380868856622124768410058796239715754062533830178, 848719843771099809553727856575505392115705520461136863276741667219396542394567255408608013241961330408, -5626646364736381393535859458111346136572268297657076580782269205888317089872633092517852000517609, -35533601336321302717226974859519983803599875777676798800601293737719987818972147116243823656, -65557537924791343557560389666390270910831429896686232728230332638107398281305886091117407, 91528948940216462906188078023755776105717591394068452444624390615987655312834172643072], [83967844400347611226068119927215389887616417107327816865332529451527722457734481913861730446189005342802004533940, -8396442133310374126988050945772417531202001521064596006924013204021771542040197219995498133534323740179, 2376401530264525702965611053393069621234265026594189293750069521933095209150326449954158564816319, -7698855563274399215188702185981116601092985565686175420323894183838099171960760979195336704, -15495525029188233348824013983583399495899500848417822008916102220776670985447789561004288, 60746617069859363112507007590343152648467389684246700828567269144610811875562078978048], [246907744525677028489782682608152262529416034040095897590492202023924299608519911782217031081739108891113553250510, 9112967898305240069634071865483465394848972354526013454058578809198248953986296605502437585456392203464, 2546404640271418138189959863328021649182470083367850946039677019445642682798032926808813620415659, -288774687557068507718636916325148520643397622242542317787628053026465037438313102914210527112, 19271732841677526393720774274360193605448873715645773587663471635241681277740803370038061, 68160682544277423995321702734946924697152963227407994872607767629835829993206989641344], [1359581657634821646368443218574281947335801102602446869947100305749818623578360608661803883429272652962387967770250, -22432556387175616297297229318781960376247871943666818570990648194214365979596500466419004674180322808864, -1992385424448181378986360424598515617055860466145414887977827912516593178801911044276237618637164, -313784724053845316852400170922628917702274136019875125316424782600759378176833517486536490080, 34024863800230517539035845423842456171490890136203200369491838738983348844389100848646540, 234673603779704798900956503275661274562076038834634553697949537535495321717897596716160], [-1400025199914716723163272260937992480752929016246026460438426988361058739344357361183382752452211958235803408456320, 12425247593329187771265581005181579308326980533413650971531866312691034274343353373934664957467386834272, 6718253631302334893188642839046946962925105403805114929054169302675392813237282108153739153161248, 320999564333004251969403027483466894222585010196629210775795021282689777680681664403868060672, -96057024937952424116690449804315965084117560422712594317080254321849497196481727190044416, -66402074864662336908094375096117233521400603916093180363635228696722828553171718923264], [489905875564725489580745825390562550300905060821000285859084580508261436409810652330712110645634594466074588700620, -11067846744029940600489549194300254187475031212385879852774446716955728122316479164062659568942977492813, 15416132178705560104074578583120549520667161031930311831707065316917143103926175835169237777485217, -547329147374470461602197500618509692224938283768385619635059662163144857521505392497335033344, 83810971319561055904519657777110029670380633799458288855507870088097997190117611046024832, -153265801685757262328732358509352739446068867665035733736554406608005757857775717289472], [-1303386316360254671740493806889446911654228927345818546059512791481105923583483221659527739772808859050468456162130, -5790618151282069494653491025917505907571936869992114957226053404611504709968510706232675674993753073016, -10141634021358665919224076277506484327372581480267439619768762502414106786819141324788034057589357, 519207160770247913167379625401729276011169061797045840179236064417563355868539263499066276792, -208002071014195644044549619981420115305599685057306520968474849352427577160075736526879099, -244541220562869053883003213946486879918883224213990670602594914703647160504457862266496], [-2059544840336977857406632805528648490893872945592859828048135346518657664357383799656580671102203010851491895115050, 27726253960353807830199766727388809474619822370811316231720469501146656188393085243544882601502580808968, -6573546852790369566810798368391268717104454332147833948498898769895405035123450174111436382568221, -893298749437963096843787712129118816298355492230547599503021059290695490122333143724016329032, 27961768383612631840791081964384562417131929476067188095651340211928475433282732692781621, 87342787923691351368757797361897439513400876098872846601603323441745438836138083427584], [-246944766183895444303563243391472359845822551712086515278140841572515065912048052990539207171991671548583013895070, -15968549000093120103158334779320089351866635235578989702847381108553672520676815545833725864313499901008, -29142158416701002430706914657336347352306748599982583586973310828881195739760045952613521677733486, -630564524348057701178175634476880616800416729132067340918089365836111811101937141017115282800, 253394781987050621485546458737168866407308457156381547478592511572432232969811588219033150, 10924230228309127069395072075976835718887418280458175577337636056018097918945018897600], [1429912111262903269041458566589649630332031903427696720378326242159538456264171432467728680131439405832483585808300, -2959310047141108601819045796602757470649677736599011878556583325761358381049726372570421948692493352309, 13927643798923785258694648925895684330091704283331670188826247919815042552142441528790323298109057, -936491424676927060687167053425249354810304894302005608102636394226998695822969523208394191712, -50357713071836597028052711946303080902244785539683766328151088495199244602940523127767544, 131509794756750325243779701012351357212286890584675911948869672718875461942864656632224], [926421661922447339017690930016668341516256552801501982770016694147043867682432407128438256869047338641395238861510, 14426470402787839946442175058124072854579629449699778341860205185873645877119857968250494208759163391624, -19254851352208085061999646947933286772872182116475036186343571969551618228594966169390169064025677, 10733421022376081249148766887918817258094063508481165001385574213233189968861040508556489272, 543926407216802611224286232124302388300831192352416860635505741320597459979117870212358885, 166296519572958390514063821306823312348856090940676938300593763656330212807367200535040], [4071697798515604305123614144164841646542428983159997698741141128587404793922459354360866779893576523893391615758922, -89617162744717586291896803344368414134342334118505516516663044278717275900501323058272788482848598910672, 9553331982034651318982145477224074718307101903828782021693754588040586558010629485658407608475106, -1480156720381000658414339771289743111593228915123385561978737872104192408140486945978487578096, -23830748937890809947140369965225873609166006616011489451314798074558817653520183810850962, -568816471465482190609198119290989112916980913572946403082981446338189624922450324995648], [2773705035775620601818810601551827375542526629405201514371397060049892212564405667869835924603873611745559183323220, 60900198563611747711992659258762584871065401518481955241450276651615795146750582626024640447217203462869, 13927866326893646664086657329437984416559275095039493542453804410997363392082234488647693344383895, 256225249892355849296911264502106907111182149182651475519943780328021187306731742854222962304, 1523499630527194579950681726978049414347549126249762217190155850567939258744148833764896288, -32719418740006897342247377019135066202585900123832809360559571226353707901481995634048], [442512874523930405153807306577872814163978802104698326455724821846699499596818379471261540661886350748732541312110, 64356163581622091760515631311948754007402078090907244792816990611909022110865564651822714970447699175944, 33749482383978956445819068237714798190659148732286053442664959452244450432161900452581454266182883, 2275294844796064379452582868959188293448095051006957106968957299126710260743655985202587784760, -505517040542515435167525661456847334192782079727588194428280086205899905789540686593838155, 463624286314642237303972096858811578575916502866075098295380472200277958729738127146880], [-2638432043291821326579503207234598527057959346882357931792379239478329824306679945239155037010989477479277085031258, 85615866765622629653239859821617203174046046065245041555346582056727336094917453630014486127446720590312, -6068964907135625502615865656424145269167924404212714622967672252307261389919925295999720578314601, -3920783825389343842161979990722366445687419814275774508314620783291034089743813000155820918184, -830923408576665565393650538426886572836413288017598438788717337677084953376026124801654623, -145490743569919720377245005800224826253540318748598604983897108767958955574303657592192], [-8382331941324169406624352934910901369317559370704230080230361271966401307532649651825861138331176421026676513030020, -94749392684337248328787020904789717594768833091069997814052295044635149730031807157425744379512270586241, 11005710248505183799527398593225955544210545251356895611813332816905979971193174835991426881330093, 1732317828496440119932590314862455781506985805154016834338885255214903768025536357141359491296, -604099831365196910232198420260572041635851792973478642929859213103629296565538654337493288, 379192107649253022426102398418049621327839214056987994131419694437881295150334359982048], [-5707795714657875799995959247341249347737665470093426137228929590304691005022627540277286757344680803084396549905110, -98151390689638922992646763744619619059013037215988273910825812989519539119757277140215776246660601232656, -113020610872965130236271420666643564946041081840638342215187333179618443711030071831278267734947766, 3157056474422903428825603903727420613524881976580895012901411096558652456710803346761928974672, -75199853249229980860132104062157243665919154784388108674930984217360034746193423086727866, 223602581076045046970996571265392162696826098823279547145565545066811609290311708703936], [-3261484286361150493243914077281452096731759620082506811597324955970615355117831505372285986941038926062300759337440, -56735590818056764305405572751895661559181059267500396955808912766640082440332695111944105696227093501496, 24010737478216257930154878570739103032420761766822262485608056011107758788465732739121929822050408, -1101406954576082425466210281095666256584545737126550335061182514224957282532661643476361940288, 109409762713697198099511367929269167964690224219312307156919402421778400562773805319979120, 1081312416248244506373806358203162421793104762931468143958559158018805145720953269644480], [-702777998485146046854474043233221246896392149237716185078373568182714897424789276938878593381853067571642653836910, -32985822408948802508295159560015822826688063333423670577839058055847079996432601348919232797984911871808, -233529397032515195356820091449771515016240441491844967705241320575213375857097683122341092521670904, 939137553307155361965687556777836310754573436746828905265314830491255745369286901728941742144, 518324010610294218158241384762014771795758205805786938821565020719533562882623042526387768, -1671604344555557708686143071484382324786365238796944824955599853309803689595555290320128], [12527561158339410085436555006153696687353981989121449189823943718889988055436690054975622168364723194970854344829960, 179716078816854382044114034372817835005704967218612908273478261920513231130413335830621849596372806377458, 42609661033306488288228894300625586168296627078545934465446094965552438533669230798057535962744626, -1664539430701008607148204109446618354495843745620300873717598417366374027684557584360515986608, 1414439969837019634206007989235723012316527989050599940284002075526490556785631369300338724, 774414874576389018402761916285647125686207123016826359827624708302252933807012031769296], [-24728179147021041740949351409263470354969438406799207826734040797376104576592097792713881560156280845160818724060140, 228167850717343326535942338253091449723975313516113734622478710550649711719117222891066491440866207880997, 90946902466591853043348827297777510200706740767093359720421367380125355883094378234177395411079935, -752678828008954092731041291127468315825292181300460322494640212703786428523004141941636362848, -2597459707558851855371549698194811547580122537518361025988167996048220877031848956282492856, -1437282159729015678942973499467018162281835033455341543232958721043495521075022024861024], [2757118720796119499552061947147372025082985200775422444713726299808650493124405985145332359661878438471153664054390, 13771439287446686563269295513116112442399020539324512302640401824304708176265067256795597090629717508840, 96099869819363397414365151382311132905202259715883226710687318598067489489876473872459802943520055, -2478954356152045748593482307688312843997349619249633025340803929255866564804283287211374007720, -913523515384341407658682556149953022901316911796067041138730326526691895872391786480328191, -2302650774681254519647275799440864149852581843731425660419511064017959214906030621249664], [10352028123346786992866990587777586109543272313170023438501174326222973007348147825291306639727069048711833151713402, -42193281704223038465863934469016216131624024506362667224596451968452701395219839980652343382403999617104, -251045589611366691704760419318302093675888608864858428557986816851000050126807681083121054918733358, 12628674943499844036881164235521116505838766624676171446908747469298326995225014569491888688528, 6269437720649472802505345611118720864664828977770326367613732414561927758241549129485566, 1642559931144498600353086761222682254048188507285734738698520011263289846358101649481664], [30458357903623952414410913913299631411667280144176602112750243753633398728053772277245948009755926019095459478782012, 228974525874025077571622594646532493996616166404993290432905299208180820226541465856822412990703860162095, 32494541394788713445061477637118113920754270042325955164289312444089581801077875621093778073485165, -3634792715597613199707959159151590666323242085360120801805012787117504233036805784460883087840, 273627711310733173357141319319328625671706349870877048477771483360917231287291782703007720, -4260248460290367401551743778068370565702904116938930289196921606745964237952671819985120], [18504069959636010958873129149563105174972409046051175963452399241003574535085548787623926140268946465108294029489120, 237895008454289213073749892050889798547270993264155942066584351783819524670402194437034094138140840403704, 279918953187958578441685968371461563872786412034601659859535793499836121493599637943543202505332520, 13165098846683933323670631533848487969088524074669192421212989917710979000117319258549227564544, -3813188125276157726699338136636477611476983532840560599839621657660905069623356803414668032, 3558318983729563017171052870166705107943755210035961804559649983744866016734316622684672], [-43204333865219484226877451971414962979044542466999079842806410128508797433386672858363195496314450266633341274131368, -83314083327221592880429258676573137932344888322674623193338908938071762497413442918113494866971883133338, 272230970855075086604070281645443148481161893470690949911498878744428549666551822408720766125657574, 10204222919154603989314455223052858201816050298160940548343064147415478322840095752929997544816, 3625944907172614811253398649907465590163574417318185252273280621524069348264018346408245452, -1013116022545772820502826417951714070577825159231309026141205281547763371464879650533392], [-17147026885671816922460198401429408743155620215466597344778183468677742901304184934361651478904963154327140204491320, 202432840534854625558140072523119862407752052959150109891524074263803355078658505742337661569602398052194, -576606108115856659596432523673322851570476346473767108415252985925291805186128895100466306361218622, -26749455965615292823376631574861730074084558495404754399759605573489583950296371063908753792944, -2362824123242223574152572733648644060886202654720254365672541831389549951491951652748839068, -306274243601250744889029852907729448284161684851475063103532637560258691220288723329072], [15206510034772059599136635505445733896167399411390492438533196028636544671948281309669430419153167839838295633428462, 1538828653135059825568901293988428055719388183545277546127127492800996146237277849931493914155967298796264, 266939735000668309616263897148042537523693391483046594715038712799703531065739407078550161291897303, 8708222116361090676098698375611297980969846330554860331334462176122557631093514460667719643352, -11430931983987983531868793021982146750899140568638721864135609463811918311738751754984204831, 12370902998017785453336279892402373199235807774581759672950776625384610493045847239627776], [44782446970402812507481373012033544790376383631692105530072960637844329999367633220078192200171539984907821976737220, -82926676009541637144452032411004440589719160684511144328025692485283370524884085726921239393792918552591, 439723915423953835545881929343987521781265089243166976112618418590845207569340781207536234460599291, 6413474121352081632558284986090109195642460178658809226119920485226502986220944879835220216512, -7503643260785855567166065224652435387773828008873403570471900574228777780124805129978392336, -1462933926824708882990236619177714789779477095892492002243357760440237908994219328474944], [-7397203368829506249562607584389573697206767055021349548394373856123090705000753181270679106818628455091440176018128, -864965877588265093588155864696198872011862765157116888197692918350366790485481512087167303094283610362324, 573893658343925223034892104779038514973731361930934101634167213277716071537474564077233378347704252, -31273366914457512789751129083076068897342500161889768717365730673099436669018187210138163892832, 9712058742571375343747154140189847544355754426440049211681916441558587510636631806578991496, -12050634643053462198305445651533890965752853741708905382241696127640992759281444062539616], [-72826391540584622092738986695021243700100551934792674371915746825133856185823150214764937819584063243962338918586830, 1498075629968874656866936682135519883360703204814351038634446019813117032748967447695450388536451237016560, -60236272967443400340155335740434165128075623586190771359896314076101509292783716925517972274240278, 3010703384640937309758937150125801353024380417677537185861106831531314112485547911187547294032, 10241768064670276848060752112416733513993216433148592161807157473862469696961184710703577254, -1203799647531794439750151324806357480782489200563630549868276017332521764071778903979584], [11007496548383756782647732002717597978454978860561233111179105569692614495261068092970143856184056096893577989229790, -1513729395640697496743811513687202836585249010496596273595547536901139285656754688787475772413272125757368, -886565634856590618575688442980730252813910744191845052806235871173497199663339858492173666979127109, -11187961005526350564117893999612237432318317355272259206697271185346649740151647239369479733256, -18201281949976665109505914377533082357572755994055012208616361387378920453963679041390039907, -869539672553530624016045899717062447400727842590148698345192561810793190498045619443328], [1447852995001742054721175804768437639466735823712928799053983850905958226168064483953561270694644011133932136755880, -804019546748645436712191707003206953394057110180157007376229174613224495092314492042295145579057778372262, 19882941958687971418037106868893855311520760893518043312541727956527126563728530534571237251320026, -11381497766900199603893164453401928299005135536746010459527118198930311544253924985795433456496, -6277060511247022476754244762255279924119942809947484121123031487605232082624837340516369484, 9091477310309619989085995890071225151965118514437024039363275125804937895387621773736464], [44156999835748915424455945675573815309438340794757921398726208000541247344118298027722615916714225311264004392208290, 178923641087530851918296809401396834327017952330209635880982551504417350566850284472095592488837379243968, 322686147641222841856002129656027931316772167964943185967134878608423421062169436363268891657322536, 48610059302386983989723052848096545153770504302248219697349721883817334538883162992218625150784, -30140397855801146708845536790036052734569164559116323375300624401240458784400605056507860968, -12335566582191967661385793223443673242868674956432750613626359586187978357273651202787072], [-65388377138157969515001080457669267199318100085871476469989586738546162529809724926688212227463018309799406931259898, -1660747040909275669855568276569525150633263751282110105801103836237715599977372964250498778695033739904568, -654614436296617351498009341134356564302184840658337385667257971280833534789154872919459065270303061, 49899657129749817217246436074891923535040155889904602229934115494269686562992309814147446083576, 21499627714676341320726091302581683355416359727794577084005527886503176766139074267392065197, 3785137033539825947620277156813193235512923330317976727405640718679124460681964704633088], [-119216990605143149148326839325845693395603975131196481990254436243010768515364257692346606353171886094593204711486500, 1081933848759880723205053581585795330083773703769874265242420108053649585423720709477113763974572840974871, -6198690119960796703439292962837143908339052916511135396102654870171683818800020203149766945558619, -77678733980241048383730425024046584482602507662950950134401672195816189688651282424085070591200, -6724865239733865026795417937165445607950877762920167781460633558300231517703038683209405400, 22400611500004569383244072029624297476247623028154247594659842178578046235873607925818400], [-327761331285267825461311716172956124849464977478065060643400811739213895523859928743782913542526548870277747781809270, 317778326069956342331265025275573099791043926036860726270498639016478410243546520744680227136943271547440, -101127857970462147920851154237009356319080891963437863199606428957295493561903747868852636878066366, -849568179770718665087331683732585228605630170751645180890982107183301062815690304335589861104, 22851673478320039834877923521359543902488491321348691893743984383085580512364034139612386062, -8115806097065092103503936923292528424686170312914491330959665831473949294108162322687552], [-238700506462607670138698067751429605004650406202594826457402470173543276167672856156308885893633742374732758083526268, -2517398033090473448068656585025334018523888165114841859221360379979501774449896600158703438899679009546943, -1671447264669365192265425593383098071833843872983269339978684824159198908346294395528363428231620061, 41052320673193471652778375223452783667155882001704146323741140470197377012325468161469554852576, 16609704122155375247146125838660612056537856035030854265636872852334114448739967489718698072, 24788963409587948660934117982059359722623317256195893117097480776498550706910848834757088], [-176981581852829559744329543675876640248280257529792399490462372710621635987263120690361332414564988353780608359742490, 1777631170225630922693755201097839757991826106871935863098709307482913040777663885736743326899057355482440, 2863416637238087798193947594184367320761378334846099680490460017822405023987934469784587653968394235, -85278193576624206436883830470368017259241635734449213971368571785221729726109666032111467942792, 31084989138769296316015488044676394320299863538714694410816915785246567020894286246487131101, -34173353513474287794247029766227309703263049134414977146810820680723776427977189143882496], [-19333793905413037090881534364699650560257742910098371558827507346418390637996687516924529534199707505870590270161450, 280020384186128167216197889703648558183339250679116637034302754608886796689521231454579719451034905847976, -2649190956433440120181064159145400292225212241209553481992030185909438755006528582160454744835823073, 246318047329305067969826430275654988729501248267735142999736842492153436108984533986384584847768, -18230665490370458853801482934794415313799547941077888928006680782211609779427540955284296359, -31836664030374460639506052948099848123620747322667197041650540302473772504292235061553536], [124536583884453842572935688972914135722097091150079838524263695588162468269411172307478004104336536066060715130457952, 3028004752911535972385012525350975843605303245823690065485380713930283596748518982638422885835999412399960, -2725821892994797507148369312839064890731751064633654215462568017163104721472272023358984605177393880, 19498336589563511429347049538568133870214221254879645272699333632252636065530423794412772055680, 86954908127710790306067287289467861307737538727171842333603539541724302621153794267091411360, -20145507922467215414716360582545102642947831877860689632370551498131303883229560666418560], [42626163697877572892473438572478857565348727273971159029999210821964796689000286963248891041343773186853782481721470, 5110052604558060140196562388948305172452246667156071683977908443385396427659986140688748406244038301753704, 5115833307916348553468441507399582044123270421158153434063471223289586445873451719667606934501195015, 146717655747136849340366392196237991545690317035822179464132127158076195226228319936645273968984, 85756600724823056033191612844178396679772585958797911695539663964122902162221693040859757873, 45380342839700666155582369753106531965884923232193891147379468160177916442197914560385792], [-421724691878800218156478729793876023216008863600080766936025964289006467872803914666035605542212937419423878498613420, -10973544120024975197347811325330376405952174279237888528499045293087279994152304255200926385802534077380491, 1701444331220314241057868627364883354468367206879535928939691797160330215015146714052542847213353743, -68023787287143481328284225223865434646712827629142388141253366753665673754765772575395612627168, -55503722061020705387261862428255255147595940384164020309720259975784788556808296823287547608, 68311257978666791162005458859302789220912003572917837012001119011375092730592272678414368], [414911573797892794562213270572025486041089676585976986544578553494623547114419505879211950529505831773284216211320460, -7110475652562136634492648953119078780282116543269915367341682421794457338176789392483455348363926525305981, 5110929418288106192909387547130074679318275602179128830929502840373066180561925955636788770035604409, 134696710466222903297619538048308139740628049631917607205909586503366611615629066852336292455008, -114520269966443583892996713251269563050836034860254703328026897140801791309557432677962756424, 5602083378429835891556753159174019144988324839318962054552493946987418055412802036759904], [-39942147591544487597639745858436392816518465270994108343637442183663937961350098142200973201867071178413272206586950, -3998659472456657807698038207387904231828648911483511510882158212224527783771466006327088516650020997565088, -6817883114786032532954188059911344185343274915499130235187765304420994409924538146691335255021672668, 192237517814725941613022210451850820143329149530901967733107115011563340849200036441537759902240, 48209898965787746807926176559830832731350901372987572119002954112671619120317882883749683580, 141042594230358983881187263670322938615319904590399939505443285248978499498704082176008320], [283684379798904593091776833875331858616303430185189664926392818706423146313768055418321551612981552553998997509944230, 3850024505067104969941281765196307125295477497151293100783580339502368626185641877985824475690400991196904, 10430471818434738574284606553239058055214166783881930549465666894106291760308098061015457305124798583, -609279552234586053123588276616188301972063474799254113906779590185189678003608405878919854219944, 10129027280945052330873117728929003903532274742715750429254993936221021725765890513808248257, -116037515069339926310918775543755693568271638045079472316167264923812034576681574374438272], [319893081192898955478767819705689885921858423132564410523188171633522801132212187974277455257462710220215264957978800, -1751288852200371528031690473842969392662682759149095191239949281371805463533740791259516903272710041009652, -563191209479913312899164806740087692692704918245746007048581982428707763448230766609090099312239204, -114293539695022089675140014844982993597217206760706792811954481845279223913678452432202607363936, 37039218184483780575128793621566696765388385891786374743511817108959730646458221428756180808, -218063564226090881318080406994243076281270719098730696463248003136901619677108790552681568], [-636103283842956116165288495791651114248827565903147797356591019667948749132927171660646728375950726373143959703369860, -17830833530907510881094933524061596318274428171947810684353796920839920223093759717743566845585366780157281, -2350142082586534304762140998002587142675386800067496952394062668261874649378583797568905333321420091, 399186752153140975101038454794928198470475246740420507029970042484666933369198776065280163798272, -41221386536360753018969994621305812350725859843597132317254564265329930023925702943508929216, -121248362039207915624861619145860030699244663017168901739268914669097622629700151723422464], [-1041610445521038313219628578504720366335792061821935360180259538730775395675622798716084167724983639903997672319798988, -37670493628140094451071966876524939358823726563643721707546206622390464297455023514448865237675458473747, 5294206015381641618677991655953925843969907415448467979102143059166384662784385688286559851983266231, -45555676433825865533262825378547800624117585826897029229436440392822556152038531107338250524896, -90838460738691427818842074753793896087596036134270430390476784346668972548356533114179575512, -44889695703151635765831907871996653863505216353220380617422657437449420802814708255354848], [298636511977096970951970120840057731073360098022553194191316815217920989917307951711931409783009207984098887373921570, -11561658890854824683978218253088973048130058957608210079211384860201753199842713840459136442800780613717968, -2149817864254161074133626139985589649198505328344129966934412772902632324159879161983508867233327678, 485705035748287580683627517840571153583939710900006423368642711896086327991712612544653499361296, 136294937652320213931263766517839064887651870839191828579109216359767724943029431680914392462, -234315170465482553462471897195069477729045316447486556365430543826926862185362107043269952], [-1867079434210752506597659143285065512096466976555124406355921147268414756662232166637164158031868858177592441432970460, 19123187859601330405589832558372002302233964973028851684991897285739842831470118757011343706199950687879849, 1770054126573501988568492155831939700641395753058460123404935492800932817106488473002136693973529435, -128793637050894682736222520037468208039222969728386283916560387654523247983965454286428595778080, -126238567268160303764817897791485965859851835372756041419534591411923190313096103329392285160, 128329194583250791468125539411744955272921294985286643101142410188811949459121181105755360], [875980566359639633873590295834869608031749908082043862447210815552807573788343735195340876686762130741013539640228230, -30962010933155260892233471777484094749557786860347059923071971761896533166988888898896160718102945976227160, 10982029241567809602450655085774438207707086492062552641401199070429924469597904836171570686232253855, -735881118027376391133246498833400130811939972182332294077973557080147100436169699208027216461160, -88812715010038155188633674230058971616262100343627667357075979632838542965247231126207609127, -62076060796982461040170498021043164324681995689779338639552319029937861980671856860807808], [886091316174092773516171226984187726877187486305732381867852666659895269109088959687171345086740462500048115613836040, 30489363674644599760684828702853552301617792794471466608322044128478854205388300847315761815613333157301234, 8588094967342311225606303480925485613081065120425206016575507537171168527489290954919975050721721218, -45365711860178223064379899745431608877089379106550485065866346803612298380384997695772560185328, -303125876549688846031913040129155813303485519237091027186628615047483985482542560100529981292, 196690188596288780631896681862297170439479089020658127964906889924828476658356933483718032], [2777838815642264461731192148337010718842858820564473328895736832116098621360460319770640594626293932440442043926860590, 295193488156139773212991319232282886315049431293858660611441974940468591023794586693800979922341991179464, 23268514390008584616955873238972567228315752470584058553232294075706096859362117444026595884437988139, 304475991278178390912635172668341546538992375865393584832056777123722013878074540761311770568312, 30781950684894767339344033896595992810649014552357205145033359142662322001587613264867529389, -63016672926951665818250574884512937439495514206041465591286725826937489508637849960860544], [-297903372155573228841440731758905344531521702078747567341109923725192184631265923397307596094000976539884012394271120, 13158095758213046063214742127506962944025340544491794281795030682016862160213597199782863552311760998144508, -14655119151069152826066977493689783684850408282433528568810471039076631259205817588097246366706979060, 811292057901724563658250185756875717518385241343301542639133963161588182432135185731587062729760, -201645823236825690201755552384071763291811121592964494600993843989346928267377218903285281880, -402855203598068248018676506070003038009420789035918373675057018447679308648517082201527520], [3249432832191353493675323173961979703895525770042941047862324540697895812510217602234300229599499689132074617646704670, -53488002392707482533631981572056449054600396776953730490902754682931091984251470423342616618271284580671832, 2453988207233722176908174819218406915187424426562316953675526244729638870575461242599569805781384511, 56050634537956144591841396588119385696433250028907264413248429266099166649775014849713633652504, 385345878526899138090600235639151981294540787713476842245948229668029028571807268256059301305, -90876922664711398929150048685336318896519457961755767417053701309794354965738800438625280], [1517853440276363102335899133863112629408287672660264246365157502436562810889785006572350690841999349139572982239162082, 7612368762808990463071567703498024733577591129189842179845273012028824883196997976780367923858738166688304, 12935524037357409592480988191257653584486283859483929602520087772286512635180021178208075628034211458, 73253238379963317911659908093176422206641832900382606508267240126400083911255301813921989331472, 340494878932419592070833712013816524929084015677294023606894047789333720310865106211837552334, 1064546475340107035625871433508221092334405081145207672663560364845410444986095310758751936], [526699202409423845809132877873760348062457508091819966423015622700173922008610359336242640234525674670592007307081260, -15931940272687476622758678705280101170938531300997064857664122777242318330252121473263657681606421687729941, -18580427659098948735803204721230220498116862260767807736117711618493345291310041426222348613752817007, -1104665447060166395074862537421877937445566631027422155433507620340624093223048386742186330371360, 384437265268018366022454470129065300636854999789744174751541629572565219902623636882260846680, 186534467371026716434906343785277826201845922239566296260154235143799302535136020783626720], [-761315437487810186377979009764741803459697422601549283504995433779137468191770577364052135967795356508981322945180840, -7961804822459238532578981190458400780733281232736283256951730254885625695925666155913685175726650901184666, 3309029696389438537328499585250122361929650327327782516164259194587582735836004534702619117682836854, 37983893285817624590814339323704910063211779154616357861703847640210293046374528858794821423408, 386620742297823383464126654274580137494260943867533200712745838320820345395621208510854855676, 679727767874168392976578518218407294841205504262479914544065680764919878514489599312464304], [2499409010214888653905447168948064721551401134032863283987839169475135217059663085836793257925546826076281960234124890, -14793320673488986318175891891472704008605264845709078876823215739706887107324944245616840002642797927073488, 13745189427878340737733125299149041671065119133100899202070125693502685722932398356648863175265794274, -684574866094037870031616239541695655136731153304266756214328405998559530478578270280680850711024, -342245354973510392503743197939926150737381407249311382213597569660841890709014774798848733074, 245810996566875453444594045834275035335141992574139889023780604064202427570002817255239104], [97009148229834048757548799645272994382091967056347225147195236263243162388957012439745653498122517166481818830742300, 5908711841637463997109708172514826555395719091149341806098794324095889529972832303882132363346665979988487, -19983951500419031710966118044985784525693079808222151734301809621489937033711302943883442123721954851, 1954262579148724330542725929270483524379396818270643374719144236231149738429794395957334554764416, -51981142151652432448695035072300381400051243559979723051695485897323994244504702591927227488, -675463952605594936827531415765199279803127153704019231250789304702119791129157795593953152], [8061008073771591518455234040436633408515268366080956973888350654237801898366121398647800134604190851692220870446757312, -15047982062403401449921851507989528457329018748781382501488795318981167486111665986202379115394698522132880, -37206141691078634434836501066136862048795801599318690540968129381252899888223896210142022316443493360, -2504805486901340415894855849614183283190128754016464621015182091318911577830541177801689136119040, -345195505702948273749299882381985782198806006679523979905619498109965280126476885837302966080, -141624436338332730825075518490133684069502062760920230670994983233083282579030095745752320], [-3725521347572409000680296423784180401726838130133753268567301955248543178125636754672388838917719821433429130124420670, -51788787671352276544971164833308225454443148693161007959962213980304400720192739768650715121237236361951232, -32652877313951887870908773958077579893932044770037123775434576881394277317735397369548348153515961600, -469984999701111080216814831099529750952442136343535528535636383484619944786536618794093920225280, -769181408972218917176478647202203703355633604396681994899752971748398449644414075325254613760, -1570318911320012728659309961046897895180623464148142278867902223211657083463786844539863040], [4404399900519634103670771015427015988822561436339149230106072942535089552957090788641137953453263078334926622556404530, 28294250909668130210074671492223621267221166606009102321080822569535980448114285486471248793026240300551552, 25372406855538805515600808722953623220198864684635105244310179020109148673678235051606934650517973904, 2137989178739242636864381457887465519297959756791438760656716950444055106301003699795036345571456, 382622893284826289166135608683373703422433223083656768509794167208892784686777859952672581360, 507972720102423076519381001296077144216504746582606294636011511276633202196066734249085440], [1798864258738852166001033086269210283207138191182051647258775847666496774599011093504751868528333782580765391284487932, -91635260523149022366569502192954876863630274821643380853256967024676528853444719013505628919336780159002753, -6991615713083733207643787415798426006982089659212579126765004826902783811618055415279289261866064731, 2758669194047293905805087275649245700532690715558937936447781394239692911400636841535498871376896, 531249128685585247830276578869298698539538837387775176494150374742291098034721351795116928512, -593305102471601117015759674255816965659696753717651975186710388997160573649395813855153152], [-2414839222851048614395398943619425397296728024618032590902672949368671709152103891372767373842826213015598456578389590, 126978267631891429405127650420507355141740899789146540480541792969809034532936272015387983405232068603454048, 80527908791051893731373575747726923785195031334266286112976982313215830544837973356838244272916005252, 2147626975661588061916829382455162287339578722168952249739334468463142242173234619952305561344800, -424209935196508328730461632686325367514220051135349609156694465139033505566860290671827862500, -1033024093657389536978052244076884395611501730188666649133718609702771161732341881540592000], [1505255439383174498575411689845326380333632714212353656015150452945504659334391550736050075289307340783169576628798742, 52934604318677205348331307480929470894482807342703970267038920914212895409370431285564709285525089758698888, 29121664940061221699836133882712482462052430779703717655789149597070437404956324948154195927143727251, -111013175516575470806878775865922473273979961131323848967583966890289947672799505494783661750216, -2536064201394894744141315118782014226536508614098688430398043472017909252177020829726148050427, 811944416221752546971702431476209207700868122674980695006739343936111487351264635766196992], [-2106769481336313308534074707943362306462833171491679490071712563741221377115948367995780172644767884849038759595816800, -72020506983220305127124741227224432778935196472285130478945085315599841298290849056736475667344929819477400, 19579771278978893533362179330685800280691752512409505105448108603543791768735501066321929845478061128, -4352298978076650025580927005539364906488137108437520745112909224196157994458288724956325089468736, 1630174689998840601624010796684140314764245643092845898016738536815563880822203767847611095408, -7796066559940710463741376898846594366198315091882643630813277341365957446715514392565568], [12398330240451947278329218358014746263030639486397886458475610970259439494168254090677019451954245868857102621736318490, -208404500369131388662518316816811136674459496329596936989745169168046742504056633959104164660675878744081056, 92112740592135014034608487024278967787403206170395682038043622827893616231695806352676911832770080804, -1050016955964242840623548858571036733138067826213107560166547455978108091981655692750411935045088, -1029137660210946804779521935370552992693156339005575700763743680083714501649397726303153141636, 75120289693737831808695361159158564652291773401989160406508504123162888527669617635145856], [-9115243850669993978367776286688198695802547849989503890167301191383787422543934628383373301243934646107099848188371438, 34946310280252269111252197804783399462401416520941819121480177144455449410699605741734067302327008232591472, 172601666810788338508693136342811055658829716848702587334638222558793091062339939796022801873215738394, -1401280213504225992155749377099304673248072300419264568460588731836161817139638117505050942694704, -961188378687294944503197754358780749784253643939340679567057446247003837715177179344305411338, 723808718374618718655415684074863610666367376307209528771409185596647547767003571607360448], [-18382830013924650217127728044770105338979440423168041909702009485089440566789799855621961574860960063073736105371386420, 206341017544889371862257988812968576871097067130311770182730793209328623224701379620806240246498343796258227, 63879799529324772280783464459625672605617317122958076912433551063921390673343983739223996306476838529, -9222139320689536314964052194469512443237473997399921835328760978606608832403588186913599465974144, -2947480806969013319234206735785676432065157594803594903941643513808558726248530367504219905760, -919351191075547673170635311058905193006132716402806923702324911862526003504186500811847040], [-52859734307290354832866861345420249362248401691944266143897917797841793094029192340680384714851024021247134615011634060, -25854120257908551197265910662930787936497701963044509848726003952228529727530064669919198743547119033401731, 34459252409910731009157119817068478670133044184929503130439907000105557010380878455936881179436396119, 2528395575168442961024184264082335394594694427049227614641189386195675580272568833639934193072992, 2022216672319744912503285440772514389564134611652841660564904680744053498736612516849506776824, 770747449255068020498622073408123725141865841522266635735362399241138547673887528602969696], [22073348469094876659601209414763013857431121076079174673502198071321936871766221139659009596361536825084337297727727200, -618639588215953287267197306228098740490884393418863004243974815312492049507669889537642225782061869025651048, 107426881327181093135605386760671994925151444533905025659007819162043492872334397619815172551658233288, -10194516778839184496360316749220837700742223489754620205476814362638217848245517360649748705514752, 1545187709169308585634476224083678870622984360110046391934807615154204505716676647427906702656, 2417835418401737221673331513065063322114498164101955884994720430728551160713242766158100224], [1063927789553864939526808006004825694115437121373561727148922854500536906369769542059945605551074513827872734235314830, 464890176879477005838760003831590832411752289559182217379765110039728514395027995284516342374706424041446824, 72612020649375261570842727229731047669286254134636372732531430654521476324102029931287022651785879967, 11309399701071923314374283715985058772600854689500515050237762209653009417217797611893896136196888, 2684649357256077617160366960880371183301440638020514138123803445116748862222338490067034275161, 1150706777301551043042009347184457310832474366212375250518831844204635236015666060031871744], [29182926973328051991906999309054049482675408181095434659381005808206065645452571273257422310182704395452521688410369222, -758575715417798287872321597656717768237303080993889541078647845550355680869944690226253548505006432960317464, 131439349308373319358186476912724268789357804987484306492103372454480691184278332862875411538254274647, -9901893514408009521474285977825921899017148900954745640225324716858398209694665956660133028707752, -1154348400578898194847130111893800503631051564423923518796096322974077024066389629883761887519, -1963056871810227436402409015631789444879710604633793524437362377542443754648318101710946176], [25710462912128716576026393950745095474849263226038696452625015833677867043786961677486132233051038988433483525839907510, 817347714658727723106551450360400545643616655994828044608414909099591045503754427956769860345775264079504712, -575413838251381431052962634227699089421937161323282110880649131805085199568920492835280385188080574405, -2140893231417957888509056207782840823923051961700731906115170929658943229288628073693676141394568, -6349960397387413650961481356833749469863086832877755970231957988996229459599303913289449903971, -502647146109295596300946075933570880507565154407302839085583186715281221449584967206249984], [6661330389209642318882386127695609218334415093383510834045373944249427022222822494845408824728891371633138887109202240, 440013390901799114419658003230360629269877853192191867965044298754609408876113320181681794278138572753023824, -89384914251690417520343368186486379408462431668492759517396684647257349117040949116564783265095097552, 21624791909333399329835455326554227085794704189859197757747480262374381317077067321750435985960192, -1094379939618217501620641600883627417570152166051097457475606728325341853686726275092233533632, 3845554657681209428977392224372457550330558334160777620219241699046174746572765397012540672], [-59204684819683779260220458883873617554571186126588001569318208418530371389680012334998714033807002590642931734479184500, -892524960009956511050063046418290460861070123026450344203272892802871552559292423018441288196227110219451901, 65985038725608599728026382372053661401889387230096191932517766442180925719887099827140353171728535081, 7984108733344226006285320769820849516399746981905683074617195992870161084226907511004933470852256, -569447498405217537199402036606059891394351651374831134705298463729126769793744281508380888568, 3085672282671955432112504481786190943984608907196301149138404276646886215983247712973504928], [-23861035692366786889080000739557835092562020207440473108468379481903893959773022639903577031127516211474794065059029948, -975169626389482015531900748142724014899631455232682199898247218456531149830143864174458854416669567885589167, -3716941200231903152923284066752390925881630570460157582671762658109540471901626302318313038797053109, 26524355387812631923326830484642751330159262618149792997703824065351154694786452806891323235436544, -7246424592331264158100192950531725533876749482580605285322388599162849493880955241962208760832, -4858408292827958774304295884981443479158020912856561327437392183425231409167916195344304128], [-6376241586573731343126008725413690613594081914139898957846276000807114463413104379401120418462855834618692044291499980, 136017658638930495427197495816041321265391131220229845404204556542703704335169307640672606559622715553202509, -178045396384951312511636400061094528975161030043082170339963105760180698220462528456729083247707212449, -17249609180929776934193042811141838836793211473268533761944481602886086302373725060892028769479168, 8082304103240323645019007879929571977645664559396248573289660889342143986199578169056114021504, 1151629865497277290545639792073342721249935763916336905824212099624862406252721799017340416], [63103314462162092158975971916073346706998755039666194242276458005774266371922427361772319234951868457720744040148587670, 504151861322035764415399604037731979111851584860508817998603171975896788699426446044521778770109164656739016, -88387555752515699553032047153170006750877380812326705769026475166126997605826628302657413565640295093, 37145678448865430423697593037080862839184321073060405123160524158049361302599904993319333308568568, -10378207244084816001958100230308774962805564204983635127994418461664881801367869219846428001267, 2380837147472909773681288500102313926152287386142907700964684848054704111855538800490373632], [50566012187571673663335149955331657090691876874943005340234267377260158997291127523933745062140726979235660713999233570, -447672161321909617916410866967893165957307017452213427318572928563813251444067389695879168250835945818747712, -783136145220497658875965345652939795797294069659817599728610917622755488537788268861265638819623180152, -5511857800049095145990996540268139812004518613056213723486431582918434169799196151022910079756224, 6518726980153616861640540335232547215741970298254764370278292702732335759886629021537174617272, 10230111909163679072001079131792105596032212814776115583152861810746986517313490177363820288], [-45478987291608863899706243657740064840292982462608995029973484679270530903422571213094791843958319294374581653893513318, -274278551484971521664368206057968660525847381405032995629834355024138538059409588983660103617380731097915792, 634946874139206214256105224737617361985447181256020907421225416181437870823091652051008769077811107866, -32080112771325597463532784550932558413812334735738036247885705588775219768454790294331885434718256, -7856010215212486524518974718073172194096949971742573724232579701948528365884227885653398313482, -8434710326827959906704317114062556234256827599858220996953318532811931930027983622062353728], [101661072616394205399867070142231851472453171808995244993311630950859493209416610351626137199747757158200232589429935760, -1294850447150020721263840478793136299150022746894180623221732484442626570279758600636933766095224545649988284, -736067178131778899180898749966750050989608434066563266759290656010213501422490849038786248745405829452, 16161604084832742568584347195384284761629770267478192176628556447431513446766202036168098898123744, -9176951914598038577858135104527746934370435737763784025785234563665466094754569257826785553832, 9383487151091566205106475027068943636218393065662942940566462719217068190901364526303157472], [-64604240865660519890952226214127347396027391891145987628312677463544981603631623234443044608048269394713291095588346050, -1833135592123733521367238181712335864527646667676510314578078017164706799394999423489454220278295337696981976, 41454956675761268139673564959834694490708271790383318251388559379358345859600242590407120527619022671, 6374938055863530386725138878437534301227502509106853849518576982318718352601046962016839637936536, 3154053258525740785151321146175042276930346812626457804646458765970428266759379131403838539817, -944697616490544064130735102830094912203435875538844728903390291837425212446585382767276032], [-33928109821273819260409929864181655594251947768195933314402167146674384309198001247694173695419714246740729573630535670, 144628233051668041311568412592819099254273976755382896071940030985099523095274141745545880100230155977782624, -951883934516434237982102682298410841614392943738906059922041386552013423495974086953026196001538416732, -6835495314491459321291488544904261501154137772905950378296765505995968182220884433582282285310944, 6747367823561410136114981217585689975111559647999040248287094317543345231028868586272076731132, -6474928176678036903592684199591743606896804043736638615911538327956715475373711851173414272], [-9460121459889970026105701465275587335691796190404447450482229580440492732758605276699181732180349211780531127322779090, -894215919430103191098494037997455880655961832577665402199113183136795754619938458554439397243094248326789048, 825054367660530081317030034314323927476577609700331552111135263233526790162108700234557707605144995579, -26780516843399244072111823306040980368063410213630513413892146576268514429231141579227465777487624, -25023723012386914329094451585705644661813403338388601143644789889339490975655512620682616751267, 30769771173764899078951569031816560484852024456994869275925146174858042668325916462690645632], [196465591409781638646615564072998944766134109645034622085986836257229054347608252954457115675707483966666671479650984312, 462342344970118188254946639403365698956336226984166809558118654472423110989355669636719586080304256636690158, 1540657322912632294271801925325907542256526429591591807122211549606734727761321606569073833163796373966, -31971292656172504596473005895167709422150963249030727642399084263253248687353928930218660945538256, 21420547554563280995369265942237503652011868137877557374412875908283008412335558043133146492668, 7305828168218525795082055736738437249704232070539093589320967843331235061470745939814397872], [-232409547868932935856726494568226099163546082575814964781532133788868535791277937746342589585852742815858482373361150890, 378280143786478527607781937644633471879888223717608369763485415914331763941692582748560766275647157532394280, 273230504730496359985665793895937402207195098724596206599797860254070297612180142915726211458851560335, 29163068430296650951567672515522188076135419418143322756243438142960232670668704616618512348889368, -2118552512724233923133916124399031519248740745759608698073595632821182567609087123731352125079, -1076203391634979644923155812535573261871179338146625722560809497339556087179032278913209216], [-186743885141170216614361007304368752319316120524586499222640594282732584920809874724218945273926898094393430001643483860, 906641247893644210368017294855478021403005032954445471536970822149369078639184251242750443923073543920297547, 1199575174269723320377298986590942889460589271528176710922153364654969086033073200866853900229804558969, -77437079075946660375202667952721656024606207788888345595616538040157189872795552716288790992014144, -29781926797689618258529064681761308980716199730972541749993102706164960714708904925933485330064, 4419424355508799221925579069163360627900210892145507395972890377713730557021744221410110144], [18553167565930086230916189129269872980966958915320358950139495192968752332310634997772631058223211662185911782371312142, -626633572553017512080659773518047840680091694810854649792781843660318653234665311493183521215945251050230040, -1549017486474274136474116232618532637315718989701158982043624174280373235667813921870276086428028708905, 103940389954157122089563055392191511074962135093557685014329203377476542550197690690260218188977880, 2413221948811811922036451328388039712196811879415011121963928785832519340595136062979211183585, -28413216420048833241965774695049265875505771933867499881528191262522357426698831758165916160], [-55976342098565373597378700468212004449785351656089627981487129503595788914999701847585282068432733165981537724563477020, 387201480017552781237693713431028697296751297463107463626039112879376002703099571680309059540231489454722137, 4299644401727143475024898090707793699300840648873132704046575872888039765587216420582157985737024356139, 24183995284742564864123012425051743949088249131448062939456183556842909398187317381246439976262880, -5193340342191345697386070062309470986628462544025484904548103821121856616775462515193652947240, 3045698917810675915911111816612184783418177650177293615098739304314764328612755810964995040], [131103352941021165263702918381895059295317583989611079234074776388580203081724096499524664107357560930852618490222543952, -292302396473498574339091570385753387857576936159706075409471453057362657799316525164334962133638621171425164, 2910579842645990040626327008089506748519498823660228926801042649854977452319272339986053746094416454772, -79074393579488670661856651880175407399969606502290347982971376586179084746981145295574674860387552, 43208814438300393557495125075191968022242189682713402738155296827439152352905242858150819054056, 42055121067236314438284058386647850595574752624681798481351889166707883098604504776416046624], [40575011074442972947583327958660121611932049271438723131206652969452981291697211201551652309688547007846524404788881150, -5043928969001912738338771065951632196147558634478830054463501915999391135897498379886898882106233946219443864, 1141969489983550186929379820477386925783963071624738369556198698792812966299912178361961936231690032391, 52872827762222800332065419126612170109896923526472417168813221703449178383537542067261783213403480, -41572189642014901071532420448602594662604391433831691507664719593649887250568661741316233707215, 20999589504151241907980263047607706184288893159254214739627356297929473324578553560881616640], [50916905080844329013213321895903070553444250037657009532537514199665680398444722083873180780302567620819150721323234572, 12761077929966355590547378539969381841253537967064224303551569221936956724023661049388563747512189450051374403, 1651340893885169912776052979491164510259746206348174752779563840121772898621073835637236522788013693281, -93858993524646981525469938583521388568548650634417198986260835915314082122497469544102692034821696, 2688740768859750852787967122140323302777080399853519603988043130172432882251014004407747603888, 14958962961499909427956206041372209071459813662979868310881916405468132528739023384425762752], [-129304024057857787447134965266910266968436631405435317218597689403490814917891860793127448076714604635364634814772269510, 2771887013896451993751958935951513636836178189406522182344808502861195507501715727023883801568752541331202144, 2640068612860210530030560887127055383209185120848272261376662229012254358642278245157529902359479375940, 119847532496153834523261799599966036340223373189787257546386018130534543847273248124070015714192160, -55919179445238189228936262892960621394822649658100856896371643898939203304514323425103012604580, -3353393259383815329358213708691101920777069319161709299428556674137979665160434390550248320], [-194678798169533169098493356300836539416668322362037727930911979393710997402755652882774506832753358230977495757940307418, 4906836460382958364416064192337841227036158122611334935003621465808366443728179131153114515850312154880207336, -3973274897803898238734943145908856596897772635621874320644888532918830635341900234729675325623210645353, 63695240731015404012472548775391544631852596152461042787746267774728765248831260608910135233103448, -77556179600628362669393716282340977034294078354588209708110681770657919748878820818716641492319, -28633457216914992743279519929619484760511368389181537184354814206875095708002517200004821376], [251122862737199861714224145088196883260623073169394595229651936505672480834926945637423096960009501622788152878817184560, 11613591762729207282171783612918093589041351662296979686999705266432708265093468533932151365463641625934574700, 213752512450952321250231631065683115530279744006270540524314119151112430544739168530011399492710546540, -54591136942664051827100201055028499082895828015594535425679126017674232213520756311743563536988192, -19182092197056745344503693656319565698250630840330920588776494153945328967105034938428538768424, 3788497379042596947042378569971396432152197456676369400495402170945184091998913470055879904], [23964245305336614178666597654502909664346004591539275519032249411475409333184131464091075083957555193217400439073351390, -502302110642610600855929932856271046706394859851069463156788948279906587141109096181209226593076316022882456, 820078510412828679860284438321952622362485571368107980868008439623537275406672297667429633452688459463, 260051305615670607063874049171605935956449614812944073989250965403357588981692019241859922442104152, 49234025406098967463530362045400647814714869499239026005552932753468119618891193225705098858353, -42325514693067237413049338643941595588044469268650813950539178805133784622814120879046277888], [-325303163195770851696952213460148582142439051626346528321035118636108539649099275571473708280106656346800327725414084950, -4393060242410408845196621248971385611971039066104675444435111081620586808521008266843724124930855962116857104, 4982306677259313903710304944766376653599973995683976803297828114516954517892541790386154325005480420170, -210115380173446431436457973988575348066967589071483884858546571269566517938274654322845847510917808, -23211647444966323151739508018141216186569532700638661911205314152887331708449547424831881847226, 13643048057056825918340355256538762055471584731226447351749413903025266852067667654052194496], [268591847117870132542862767924355967539274616184780642868904693796166957837655324908113748684382570651785541834664656800, -3170566027182856633138233278334326488435141535527061195511167368193307904283083102372486277178431231900077016, -2448250569470083264507526639460514053901093406821368063816143721608700408113432427711427454243122861432, -414604037490297624457773307134182273972892629253840291373747694919877327175922266351520725521210688, -14123328486754131016396926166948613146769973289936390067099957794218438611446989718009029636496, -65376279987942176386089169551844345433749602410112651297937307882043509743087825753750680384], [-701950732589447150458714978483827889038208599500972358102672506636163132691803431823401675822035377989287554026368861788, -5383502417014026424950397649632055547613700570983051395180396670344644639223632784905544111745542382997314839, -5920867341096151189593973767646090958151168261021692074259874886932765577601805207140584701848973266653, -71004705987532584141090829502813414795233562415414728730892103122529648085624479926538700772780352, -81489391597244157355512655018097830065802339402728233007969009259094775830151702202186758716944, 36694658753141904916607597524125701486329065833146176517202407935143271149159013265406610624], [22802914629720590381729142302270712316419649174934989876406520782057298756217328315209667846373267940460567972643869970, -2614191198421653567034169914216338349316321401194637327127563514595770650721562805026332968413699301563360272, 8264925226838986121013856063298674739359375459504564881729765156325968367244123020746253556357600490474, 55446341965082989434378494000653229415483441471749983509951764457341961434934264224776898251972944, -107399290433747542583844821383284085963113103520974340643898594646670270732794164395017403489882, -39287895860075439188678590774637070723394924724538115002883716463032423525552839554429105728], [587310343371909840372280814262007712377514393292875036006821721621869177529872762053544969502737329828571468628464381320, 7417322444779121861009826108159385522595690141016117917246859199542619690999998900643100320452053503297516562, 4396293632946876023193220064649227125880279445033384752047432535177669808998968218728808719920149212866, -54126141812553457708638111030759070298319279274295648036104885702882688314979103512478171040746352, -149747842755154690665337876716079390266309046264931403003968533814502801673344598075135342154444, 23802567604070320426107381283450956258637846805847858199897920743605741379657607049212343824], [61241117517455166957402458745044194074175894037635169863740898417486575001338032123841791357407618673079506217115617710, -4525766949716533350662847723338367778753662809221683739369978681540677320403362669123870200120730364796721400, -7949270545117700943979435936086349877287088069495698683143158329178124156106742112048085397031224780349, -247708047825506611871909613172307450201438199433190816298429660341352926559895051524766161769281224, -71637962790139424200314132590231561512089357377266435194911371821780171035532457799281501391403, 113193321494019512526346855859593127320994353195833994873975756477016148477175753645762697088], [508214488414121430905037709613924059126877117014534905772240360658178079424297361859241653309851672920765686196353141242, 23533331201531378033324820518519734434493959706468900957343871967717371877102890537133787060441869445944668080, -1300872807063347696436107280468845390549985487616395499906125673371581642084322568037843762927484671790, -96528206592630230394343206334911399101202107426743089150704086809155763463001597082795113994638960, 296457064149012377615698169777629360069423256042432412446928249119797858617116271963433127199230, -8843720865002827651731025442183913002602873554248869539779988987391234264216195872413398080], [398616662902451312651160092454810245753123166755664726322812103358552067237437371180466437273882634873354014333476311280, 11771661356122479889241265824639337249744840305861590972291788918294419002879907187081983764870557749166657948, -7739325106799767454794484685968771838643576877745087210663883577256229288857260324541792938050232867924, 610647759601185629060415678423875451028289461060333560875376594449324157924387084641085907232645408, -77021891202861838661395200667185228032059678928155936477175296009258780683293972252294658137624, -71506212535028663792152088199021490346472640894867428480584996983190397701156262094264444896], [-568884438275838750142657039061342403141122709870184153301163809673985633756478068088425869873861584822977882520516224140, 7439361397351225733608042148354921239422507354685566596052825575829007356515296592300674302380188138972858205, 20640188189040847850275952919008982077276594049553706550460565699893754140272052138550435950320200040735, -392709294621059313754521158202324170568854367066008492400139836327377239910178414353365044800608320, -80511428618091080429578731951019677457925940662504872683394735668536986308852649666899421850064, 40119415875358947119014672009408624334728242098058847543233781092295378736075593495559454144], [-1227278531264377441090318824487698239707116278652133182749735107854525707572578701755292379776046910618785414232580682580, 19289569127826275582378289948918864976681160728695138246459358280418366278550415629604423306904991447744119019, 1151074433203336317778814961157147447647936888352520498604046715491101674901853252611729204017675222601, -610086711626543150097286649705640361433559596248598559873004667909723841553040329936988897183977728, 403169266565810861437097885018803723506182354966730470538831727532401281816130224715601754235584, -157948479414834837762208800018510230933845336536499035091027770036847555176052581825757227264], [733638722249883605432384086331539106637218431272191054006469980398831831207266917977461629955288447016934617965914775770, 11473758670026825576328116782813001300012512706321100119659802764550736497853535077341666258644098256992390512, 3541918198974364580657358488713998811138711508708361926959044039119725549778058492228759417552137259706, 310950778710448554393769188086886106605193403152847715526209903141471298725392456443971460996408528, 467783713011911499340483165761176420904804377358169283077173870469639624765963948976218075694166, -46925665066842853247614621482553553060733585401939300575138244673488283555614085296516540736], [977477176582062745456837583843484042553938615884424915490478542892581664317064746274639121374872732368949228807008897990, 27526319344836880367412054863357429475264784938831138458675820653649766501765545846346888062838239719963720552, 5354195551336516716469711045702809119092346346259177957976524656590200965621240096228486530747727442471, 3366071793901472050349021271814336345789778942693829031941087892052458040102282131411629935879384, -91109475709875417696274877072144448140843002478809589898438029620368818082541475528231301449327, 25950254913888142539548629850726377601256726839754397976200364535529650423811363935108196992], [-431165962074817083286460772952511101305390943742121964667528179442176596551550572655725558290863592764013576966373855560, -2252411339214855154300207900912022654321295851788399930903395878276312895945886710897825830157589148367468738, -29248615809569697577944922506534915200483762047408718704748595554909446741995461763479024017058416640130, 220936995155589274280850425098033358025694933616223942357920061450414299075030400612639546347278896, 213997672332842894995987417186799019401602508924207202064850671094769901556248027501150100890812, -448080662601899173958252958896807732877456326129430691212818917190267497479716691557933193552], [286345609350982542109660774565258847875519466441179055964542500480327680987234787983565657068377312389443131009689492522, -43157273532518640674724213628944282479151983828780225976196543590188322517771787970621712196508391817750388384, 32975298359622621409508801899174148146274709718360749725617236691582567565806756146611411801958994317732, 37329480599098167437616165934403150973891494997443721295981171226549351955869566779312938212128288, 1035111324281139393335846237044007814250560905026421439541771295620362554520510297556914928771836, 66687210892521647204277074698837667934945623633079665660041328248347249162359251621326063744], [-1254119326142803282900626771367960958016028246421230232710810364250501846748165861208712755149085077892932895732533502868, 96833378495196285933782419281942754858293635057827493386248366223143483729557407388281116226008691128171964475, 8719046993335890682456029606874265622516510888499459644364451489976789651613646081490895396390047663025, 906212168057690815992314256475064777717533818556242252951752697788899331176288235964946988136903200, 7890139671632387128348049254322142656175919933514290861079751767996879749590441723016277453800, 269656094994049874611831962744294309771174033121441774457437809209178224403022857065750887200], [1253566462218265110112663392533378907226223395021461726040477586086151750715396035049325700720715686448829760762153371940, -28071979674141503541186827973442902223118612614812402336471271579755697506928885687346980233854964399789851607, -8519338057211846028077377952683464250189958422127466671511166594733782390384787375305691964107794823589, 593934000363079919106233426841410647173254512703086828571313365860065107533075869193911594523759584, -531636121871185670219319287209061282023534550158545477708335939020952870546497866402633871757928, -841848497105387655261744011247577831988277092538515327821812145434810179549345096818292634912], [-595937310365806521843870554136394363268375447088509038664859360927611781022391980926365324952997700330698315074021145200, 4579275940906130612264951346484842729123937181433292529790358604952818305671135426567354977757295465176210820, 15041184472940647989925398329685434103318582566700566239747518659052958494457982976054075224415029034388, -867336885972693882608719147498682473621038957638583424209257336441278358502892797830176768026187936, 165133228841271517954641330145105871379230060331878019165678339958293313138079710991911456775608, -767953727727187499101316749895295972338443944403346971217467105096700381086512671655432612768], [-2283722140757793514953442029117685188419079567494613004843470685802358603591636896037520041714941273318054317951079347650, -42889740647431045938082513015870240363518741987775805397939154866296626601780088415739054825382905113790315512, 25410471140148227458612601301353947827066987131692117741845713978266943566431973923131607863946556314851, 451539183114756491172915595292268419621503719193774455335980822089750511424197360335095945608502584, 781939102114401535465115834156539167881949333201904282349718278018986386975335385932801462083253, 806277562809867326982956257831577533469393005835808552549790885182739507577741053388030147712], [-2068123216931704281011759271201093437058915339537016799910082497356771041476331683942016301494634444767768255136656064248, 2978733902510367469317566904892070336195668063778389934055167594791723370046354164015125339580594706292056882, 33312107616426121467676026432914371357896186538816639952869652538577197757312112955273345037638261760114, 76098713095230713808560812923136292597394269453750178385716686259577382967156980001917127751152976, -358613825378114049943606093673600093957177765139890787867638582025555604750683984876011485908828, 1669538902582255822820670794323246607921465436916344636339712024566364690987121877046070113488], [4738410179798736906577361487568944952030990986187870466061698330951377918085199757354115253772789584415337368044421580150, -9234645337239911456368548628009551401862032828702396673385660122313984776728112513175057417309390441708352568, 7597699220227952631973169251182807714382693285846240560057364717318550829648093839450343678470102424363, 1491283167801061121618457287704839135056351606854739919904199530182133950942228059596257438886558968, 945572173607400950776861121991881501278604940377382655321779064067750918914948141101212127787821, -311831129027641859265865017537110944512993774872614939718331759580585772052238361363324783616], [6048626468691189335361490485552318820477471250269129247952857019096057719225590321371583651575626951169704515025683211580, -12335617813393520749467880855969303079681954257155313265038157998519270593654073407754733197301415703411650737, -35996518220136748098891826093623599168116287792818837945801186604819803624738896054327478618207550367899, -158177613835847637679611153388549199380392704660646080520627917999660719884024540092054894105061696, 1404364719972157709410086195268843216036805810423801460923790303731187473854157158658278029828336, -18500775751640657947637218564439697441970926327509195014232406002305856573348320867683560256], [4875461809416670341700440306907009653086928064888284188912392377718302398329039395402863718900683768211895653871710189792, 102612816926395932950753572766862340711723268630136065843355484923370286537326382210222781122773842586674402744, 84985432585640593841236470269284919428840337478588679309437748922214670787802319669963466709069895727688, 2783650689177220284632252926874553404961778346217068456948933703536664217139335506542466260719742592, -1138334577399460559625191292204987122052234418690850293935664529750694768117299527686225106932576, 495552945924196813137926639553391145809599203145870781263476543567729421847582453228418119296], [-2017079904179744550918307652159559316710998422816624444385091423718807698157253753980616669560254019754328888178716785950, 54230457595553020751644755335436717266575946840237724023009580163860961581754126728108860727256661707907651328, 23598542820439111012699045570497079148607170435022977444723247100923467427721261818358217557412103930144, 6078850802090006368339016434689761846599312903013065612743406028289063607720391400871196955452498688, 836340733325378862283789982360479016652258417333138916331274187163120736359474782123334261677536, 949168602214383026314011614969382587160977748273827553504863376747289621396491959677995231744], [5601824851166462775611993774373986885741600008770585886288378970033089794555813547098060272723905856228620954995309859410, -44054491335654740276983565141696010293619961269704907089990300167481695935051711584335681545977303720077930896, -7434742626683534377663492316587021673543437663618570212366895543146825932380907487525414115169403736742, 558312484838742907016949940272039147917289481191718858146134873380295257238503733285926669019413712, -1205726679433748307439098575519781979014496022560016559566603787813433234432409113281689317418570, -1565250654096831789826150788033900471082266701214520982353600378656618531349575135456168713280], [-1774277935489679012108255950236296963824102300765262328590201659655133021604412771720398201230411525471530711206703915830, 77713422018840621905844651978313666099274617700536131943327349194623769734227673398012178582688120979794377696, -41784794287124178475676789368488378017820208670659355755822737402467673275410192109270151954814675818860, 1575661643477745665787088459141879255275097483535890623457034870172095415726902107634892255316532128, 3463512095919535078797557735025234905794101407456011370544185282749964615542995293516173811282316, 773238860767979444216166675912825619816871249434359733124790859528018486432742275892712180864], [7289512987926515791865722117538038242745458462337834271048907403919729031550708138846636415261086993102182417422011277622, -247985741280901573070459635032715323272906053406466314809103106890028435149922993385259422278258042910485252664, 52796172283673812723574920970628897280736274337545875209367002371455941371625403425705256108567194944747, -6551349006734935846534183694047063190134397965193553049566274210438425784217569305633664598835545352, -259328622264853582463572008045201171049384062170835380054989073864033215847628281492257196931219, -120208764774165736114183305852156515499603662333593254028201189747111725595841130249217790976], [633409179656344773014775110494015982954482476901197455861384906186686237538781892779975122247234846108058391872793630010, -104499809841399970360461011925780576610029643645502232976164490773449516807349468104073490939518126406026763808, 100969222926048062858094016874828882002144003015751651006984266699814611923961561899234242412704285581524, 2359122027288620560473993204563703259862147668619326503083080527984014831915238161235497780754716064, 3701210229587799335388286029567620302075921204044485723825187676846399118106746679009585392613708, 372628458444218639497105215699133835317029718990323642511197290582174709542583756761724181632], [-21488032860695217592333914472068092377648239754932154337110875560960545408746282211310415288414517990886397762837974956120, -28602964986014474980395369189268806230601475936146997502838431204339844310558055243681695302723942836362042470, -241238255334523440103124420047460542043200385689516519165323980731694552003594823047486319796910202990630, 6421568314376458513469546505766710409651303292582117960335166516002462174731853147053685003424889744, -2512104600033820382260286127266379212691057727573299096640908672647321446823171889019667901390732, -470467694803300940182642630547903848568466304893355257361316606259976375331688773936936038128], [7129635067829218605725344277030531022333078825199923115413953432469204310414371179067495598491835851256971151421533222050, 87829449929050748110097809774452786383687462384254800743912403256913780192282327221650501256046823039537745664, 25039411290982276940487607154952465455225394455707026355832819514516451026846906561640294742661188252192, -6038793840313151356018526668338186158565223574115570423115249395092016286950542007240215199928837376, 1039814174087594081203105573000219965521855887738763717582818142392817898705349409165502923080928, -4490947629286570510171365693915969984727307868833751673050670511800354860181545601125105919488], [2099483687575231443985164418690321120526211832455040304468732678254926314645899525675359527641681048221779859607623623660, -245120817324057951941948865531053251159890602468305376844364259237989146699774672309906383262950713014031090629, -224860102885604648773687376358973913466442659350324526529815340849425550000689951165715996305061535630183, 3374779964427143957988403214729125199601532669108472925394583997118877367306937518837335053919287168, 2322950792236587149653064230453514803566832795325800889019431438629587030119670208154002951389792, 1137033528048944052356376405344800894458222208133588408472088042509886172141990645897209987968], [-15496658688730370970706379717428516455580916436990786572186076527860088920059443622260686602530062556482947716685839142120, 513847493006588212035448220605944620610199253430055295039075960604577475755057853397118803545921666545642067094, -161318842800744598933282153523536274190314424880013666525109335287772738006392632626181652211647677492458, -866549709413093945321384532002639635796840075779543892891004782684889837262800970663498762679298832, 3528097148078972599455568543409150442672504863277215530898221405989928007709918804162201778007596, -922433097769088694564324003983454004033265437226601892309410192752876821571250780982292432016], [7024863104840864077098306935543233740348131717905972895077171080828073472619180816685821685032434629005920855551340237072, 327903679904708204806806781431555895102849446972665725958351504114667835070131147588286136866185170834649646820, -71517484927606709233358986287125919032253246318200164155600507710784360793940081376314849825085221654060, -12931721905396805095003269598325106135566438385246813523286344929522790321970064201258763316824420640, -64108470724183319706315919493748886049287522048685878605775959618919662474103281758385692373480, -898910400025258411939114586779739657699777768313248431020522121959041943700640267369162917920], [7847189937574813386970251702363780896956493762526544816326101395652929188554350542850145189306320318477126287871609504190, -530858091694390065491090609010122024211664580886591073981974532985296062450175653933027451622720011548221354040, -136725843399896342292803212474868052987314662572457470187867601073422467912720300437260907109276532182133, 13923996772557479363435870701175165101730652644242361850990087548367108481888290623491014505762413688, -1166685227407297563157907637753840648207153728956960406677849390590394610461906789461478722031539, 635395545574918499020471032550977806813601804131560714424311201253947207899073609951269058944], [5725152837079851441599440585441172984219552320171516762020518395202937687401638322206024447995197315190984285642740826260, -84994316048057528699353062253095786771747942077031503804594761765272959741326596193557779256421023392358213915, 49595342653865371743630213207684741969389127832050515250434329499898243220950816843979760113871979234375, -17445823606103153079374384603789686481081142836291934941841853229925946104342864722419223855485775232, 4777171481907527953045973777912622927278983475282036108382231517506688709129229687070156265323296, 7268203242268579774804086757036554936742393379620612881002358636532911359442688488026244230784], [-54007084633626664358691173602503115009766108833037623980611988452246026558313466589574802548099068300862602363841733402240, -445795596105309891500994661142714045486843656801036267017102002937049818661479566079387811932812143575813945632, 215958222286308198368252450106053481658595532483522919753588212848388318669569903970108994568183751467712, 11466794780321224800299745843380220336894902663443887337166707582362946041302898039206138037374640000, 1184591123098529516319376442813175774648853785310605627650708435803237991162652669870940838229600, 2531650693471791928002015276882906344109007399447069504140244566829997972898729046044961430400], [17394055376871028618109074133401575695056720522889943522492032736327472411370258714677041205793405527103114105207868002690, 379331004636088793667315860654017378911968130650150588084660046454637474954868683244196954241701841608715354304, 16321738843489939742366813130343424016039940562049913237307967086295711827231907726747350936932534371208, -14682045156845930913638139239716433205944641695553999874846297038813486865373010119047177313650744768, -2428867974886015533459127021411196210026525894938694470481971727228025523332712035139132340546632, 2104211718296590967637183170206133863805860136944812755024717508715658226268020239817751356672], [-9773040502570399231598329387662181378862161106053863083724802335596473154611200083837342264146931433442545752387711053650, -861235661568670228509891071592911422501354115527998345020461101265381756120407900965789799308124544873756704568, -71446744763928584854669478974066859378003310582760079836538829328455468428069683098060872548928830782293, 16538566931670840273269071508725803247318593142445588337049774662231463281294028704373060200414656120, 1502521200475336717641432808576739890149687154871603420488858158920272974191278709973546754597165, 1565762052852404027317031590557857279186421262854005088839047282759186037304353502269211308160], [14616404453262501531176434821251707339842568481090857670731268065659488152392662740781548474199904126254267687800993095300, 410424592475241624101920053089388356232361016108934887343983731809930814012294052302358951079264716676712151361, 234335696713074770249262267721242670462283342365049174074186024967619285831689316960167806251532363948947, -1047914339863457488177484564644383788927808105574759515744608725582674305294204462507849044131939552, -1683844716776775469804082038422922820265896280207304190223276435611000323556985610889824706500824, 5558635771207114310528437322913858040934706545131185634208398110515060374909445287001016835104], [30918562933356163491139484550933473569882288512734966915660204461457287352037162348481163414010346050578979952928205837500, 191700310628459407095394115452445504302460734499713921677723030910290321089299775922464026045050424149875929455, 61750838277459054193860811127314505726677526178729523993925751076476190981931117871132979009736769019669, 21020009345591494600256720404754253806499396006539093663798514578135601016372685247565514882127329152, -4382187461544421225583293808893691412411787605442605757611397914861524232407077616283994747652256, 1205747570231582538241671293349559510207876992953548305056603488450578057644024979953683733376], [-23987224947105808061754522444179558553094402527174887190122722312192246998956261487103274676230196995677409283302769358488, -904771762716482185960934819291848770476447186417721011498020195951548314603381845328198023921112247311028605494, -317475581723314318396682577686814544098411584821326037264409912829558120188066508799852918247442031476838, -9686110416163186001747734811018558515617448514275185733623472389235249196284558197505290130251993392, -6016404379140582598193896695489533299549048190595391982328469229061934825600606812321790475395324, -5394021431228476996457079462529764908528696484546466996333195130507914344363287650128040894896], [30666228682259532974690333690868373261425792469484360333395030661633981980611249447895977470483798598796972211858239853930, -210115330724897658792669090691994764639458547076075508302716558470646189543326841011330579835624813133899307040, 533042020496308529218790898732186131574716784444044642581436205976885367114388067925733725389877813682964, 14831884780938696825100090091297270162401166653052163844899592652887441342395839451183780429001080736, -8064945901509763443148040255123778171581328076344171661887432290022208277698159317062007708030708, -568554683166492984356078003683097393295118971096702298868536123083585318363063729125534581632], [20419988846262051988595559611828545979029874073682076521019854383097416720081023962343031204574080161966476280302379009120, -54483026794932416478226194293759873253179270218181562689740215037954858232604184891007947824892725572237454504, 364605546487685399271963316525445197977199613817286135735845164394171204832292603024304756299230665331992, -491626790101782058711455292991648461411952103608911610892617397726779566723853770940312012099164992, -9222001849294763459800100931853836375020440510942783298392422949632115615438795945104809102898192, -569663928418658716912763357777370694913935129518890214495270643307714217523119856532206901568], [10624053454850443452372849910015233364645659373111697932920048435928559953808564079098291235920900883406191274673297811930, -44491149964503696475585174068699212147137062355822690834222053554867016984780751609931112671687261702025214240, 127619587245434904790979328288729108502414587077440363479055667720967806563732651485031644195893051994420, 8329138939550070275038327369319258171646994551108382191557791092745173738022118181786497934286922400, 1207706379023740245827336881973364205212335886720346383506522987750540106607805113503770260126188, -3722449615641630862282964458721136097525297989451292206583600863284311874673993650668523762048], [-32776212951869772621887377245781579567679335691164781821367720246716534530364938181451712777614364919024462958656346682268, 386022174088712173259130985322225580268913478119960896301263879480966779235061067245245435855383901004912116569, 31552898412375485310899906169410246820495770401726158458190365026034161095810488896016765732416265596963, 2582363729370412180515832034790861388441103840384663384207125265231352804420532657676332974946312192, -2329823982931841541044250520430332399102623173811701230266978249369855523496038657271856294629376, -8732668070121132689940176551277067710703814141542023337084070923380740152584157142216095227904], [2451697769960142595507587948973330073998150015241524517081647154507075209014944724134415575039835252266622481086551490942, 531712874968817321652438333688189348159893290072602465016562585107581835542479781609244930573393321879101519624, 144362672475686090973240659775675275317350529054526457270448662090317978234545801058312885101647034744323, 4559658244116837342987928860730794627113419087792712864453264422560870209142671922193892175172389432, 2119996886765438836815251947619251106950555794252555989344353394649733295488527206013116657723029, -2400279767599710592722174591624123146072329277627383462717185581911714985993470256832305318784], [-120822235071168675771869689166249052465840266865930685269565468088432461088165378097119960961509594562659355163884357599050, -70159914805123469215431706768590709175865390815341747068960415571165803484841597738272707052727862274282792568, 493729920795062295685876906693434218619508521679266719352868002221336518010759139066304967710960648667539, 16248436720309742303365183753881978588966206539940832838096072784540932019298288283795740823903454776, 8277280235990548178103491455301393365764321397557712479612659534202146337210819526139839490152197, 4537995589019350314638594876073098273415571026916706571026550195569639973627593359059174137088], [9743666848066463966629093482326316830565163757741559590027444180026827824674145786739316750099517595127074774822160237890, 160072943327083422948532785268355037541814567755005999227962641012771193317737165920446458405852773483810219824, 46429340699801757859760284295794646802772627812664964106885856015914414617532901730693152076805817060194, 2602712325324059312334849223816701680287648926278299840729771487251539092606825523799925037429591312, 11025119084678590289322158872032153706361437140873493550240321427564330872535039364420299264997614, -12554197467619161644628511027150105352956354559321658777828812949470495506082690928013274958144], [-19576436214470912450858806275576008934234304571075986154913130047807086320474586423059984441567827404815020955114633433680, -2773191338382073472804959249662540015061765449738103154017121138299937734174813829559731665788495549866741879028, -20074506220506243985905134338042849928341149212472673052308390098385938399805678062775632564728340868148, 9502259213162753494535044762413191489816270290804468704286495443730129710264542789300401811956674016, 15528041013253114798052124291071941857837718814575381726676407029431212933714959838137296372881752, -8488918977616538024037606566476185124032130008189722086301455927576196063678290358592649749792], [-45289392023671421374409496645101629292362667324336167141501405235112910011369616459632311264147567845087632136312743812310, 1950872770501606749691778756462048128091107042964673256074179607719424147513010397564636686955965667652974434528, 729825180185930994224045239913593872550714821304343121319897644675382937896657331057419064100155399828468, -46810142206104978152972138996720309404422569664402005260706636648761597198755721185466816682107834208, 16562463209820728832633929607060645275412258784137636058727379899607352934717165698874227011329324, -26180831504883067587471156806477167436955039134701782060571835255120224610254562189945221202304], [-66440803071031586928638067474803938176311268372167114630795036682092326890947920132283828604677713136526065298820449804210, -299625080157839805637743551739597671243373374712037107947961418880869468490788216787244874404248211154206895896, 178212057437185183488849925302411893174175956836312021912056286591514497553474650303737398680274489688983, 7128170413465488826640387755323695450549854198948365453490237025840067148374905457427826448789692632, 12674613968211798084245226804542446421020671832318381255174672342543823256706583051921653541841953, -11332993787983563963053655744913744799881805120823256234053072101212212883764394911603269119488], [-10445395307778573432587632937866633631786583854660741894395663082500128418348987905405385962267691709573709523782442498408, -1702054743081172713149523770414002350627733793932950464517358079196022312003542149324934105796603467153607500810, -6963944929994515551350554091858222175929567196594069028441384774809918204602166490187231105910289504170, 17645337900296251040960531211677790832573467484563490417873872775424050698464331623897469750683230320, -9028489853369331024289650465464743110195141686601257615256316220766355190144669949209387992659060, 13769054029065555248822213710302174776869566966849226602496627725245670596336134494061957931760], [164063898259633829615080127585589070039726642058048212278156312735201126175618914344382427365076053306964972312112056413830, -415306345205490809290391406791396046529541851920304257918923504769615552059803977487895392505233979317581209496, -292369101018307304977535173747570858050374855092027450750442833321562337234376665070489696082144935490297, 38505730158309158268657187334928315686790984135267295309328378515536244439507648471853060506313153496, 9855234589948339643204569293902533845905678015417102437049391706752992811538446734966710726345137, -17417959103650579261579091384255529675850350030527219356149847561027197721823634860121302458752], [-155034127167221079175636312291110425393358428535872627141222689237584181388443971501933418839787597391535042734255726706798, 877825221704226564131199618139529644610782972772739184049976503678054524971300723090139913205856224063627200624, -1203222622938518230558415405413629303395154393995408298152106734670577366303813599627797088327542728918502, 17588281730524748256409268751754443625517526169173168453804014288789032416157047497305014413225742032, 18043122684219286144071255996055510118284109507346723973476848940269145579163509954361122267678454, -9094275377406968408628810567698555448833120893633005418712372564881343745662764191871608811584], [-72247228473750779890147295623998306827929752536015525071291674204300763297262313489644056068511837788404764569819797962660, 858193529042632900430650980949980190744258567237362792914396779259831737407411005931244431674975321054254947159, 262130154699955271161261782923133181983747169236898175106515276847908220926455967221284179452594276737229, -618854090650436754811198849798020971356870544187729535939570936710780265884416306475454798917638528, -3080712140322890995639688617938830989157586059436270770665036530791232342358234395662456126786016, -2529781007780796992656837261489357373122586447526632457295736415352196369522716378182954593664], [77307052827499025837746441054151517755288605981337134572869260266775749459448248960936142029339228055294637366583523353420, 987103878286438341711807520592608182896198446417774732133029861825529007623429796568882724142090613073563392563, 220239459758219681106375361441101730217438534915196114213028524328714123208726136767515423855978078057001, 52847777109427391050381561930148612010070774370246005348208545010765831273159751133045089072484759264, -9350458170168468320037439082036255224268000022803465909301032947558069609615469092247438316985000, -29326668982609864479798966357043578365232147177423217495371622900342876119318685353962082708000], [70435364306022254553454471534106931358101182759586325610086929014581942866528812206396468804011978601351578150864468164210, -100339977372347210096917438338623507290400543351480368378580992242414326131062974339935072349124758818205991744, -616439653868289839435669025628587197171975306559086181030279793408755044370360661882258593237421582804088, -106662832469004724076129347109191359101467244170153777007369375039159768924339106365367363833745404864, -21910382809171113157395806762019929022489597881739180534905347941696384832187179514136768608334408, -29371191028055505727530676794765346823375552382452569707848157003463702840264408859236055346432], [-152295625146206992039400539523075621449771597301712575247602585488563733074759443996874975809562932477574859358385891505890, 722653658272917987172185324301052309519587206134328378815282388678353551574292816575008978410878027219823439496, 1411631127182906377290755309407388634408086060431817849262627595538796952749502684298827362496272356974803, -34458859031492602385597865732353509575791140995157315609294843941635132144102110887381258459196264776, -7491939888203478427242497186903269355752174711747470542854769186834105027857150839115639016725947, 50529828909113045136464390185935714879825224998297997633327241226381835176061809835109912976512], [-14480094628571371338052494039773322291404851934975795983941889892399624689023781392285226958033446826675814987514047180300, -2323309996246736601710649513742480489273785019099143228781911304970252152433912001828701944788853668316938363843, 1869969600963118433171317946731333661460475032471217415681929790564329835347752965190810491364466020187727, 70749455834379345151595298462188759157559173803630993051245747825015552052519391875355265799636517760, -1033998215746796249222836849658439903038539512752633769129048114448783010278356119824164737790880, -12187235348870682689570317677196706273706664797066165865567818436953575628249406290740219963520], [180895702564034696465593777924539282378231527054778626527953815318925507072479265799530816494330236389526879168776528599852, 4141056023032530955021666962145326743996267774192102061790477680097810361471584872942957631296292432126039275915, -3680382976857074244402140359905893162459247456404765717395689583164812964074993568510639039825391648659095, -131813025340682681772257982033710720754431983474291689761318588261536712977902905625967932895162880, 25165331241699255495779571784680534102093057560983657218479571864119903433354878141237857537415040, -14511697244962325145203729816523495551924558799060307778668616038213229840586816122574018531840], [-215857636240976881312156164940050794340367930528056617035953874472231292422583655188677076810558943387758150343160095325350, 898283999638698467852364092390160289864847036627031566398856010120897813272475405312125893764484945488437828976, -2094363445248276828933888563985475340421986599073841318881604788620874189441814254962592573597413792067654, -22256099784554088597554654541245913454532650219811784399388703413299822103196975717256413704203767600, 29008587765985867198454799479640663874017655495033853641242595769872553899863745989309213129374550, 27727496048083273792908086033230355451849878939147801302136839838768352052794243346837585003200], [-25533780334956002453777652066093578352640565565534052246607727929087752122215432559106512400733294626184241994706559774138, -7666453917578604152788722722496598604825143236371967356459642323835609937743244077461277132904236201304741178392, 471742978418676911137841278830755702575752240540805019236830508630739995433643765803432764216777755371991, -118488518005119535088421968582225017853709375208265415263026879157643436950941015755386382431107935656, -55593354351525919309215440235437472044286521325555251106790551115555176834815291193506633685263007, 18040426108105745571229042414455967408998451915734606999846671742751777841965197336656659692672], [-250793669122768188837885614942150868824049193583105474538419956812484321205964636525883867467247382155862816046891891328320, 4797630416646741977684993311567940533240228549483593863281438628181464969425901301701094089808744760193783417136, -973637280624371417597691245084291043130536221512082807724652327392294520209880258056830082013239204267728, 58552765714002209976427298797457517598964048867655290446578087634578632718675493541645526344219831168, 3884561736553739503703795250077428233284972346873345522603745965267465822075520200821873645014624, 587903166370284457329996603194553300140154585649250464746345060160692976322154365143886004096], [270490687076880367861191923480294545774802827626406634122241424163842204936624046768809992364674989522251903368591580367160, 1045976635288818833211062097139555267273545057446780320462957646503852715916147500799891094835972956566695208798, -6974651704641726232012822994665366086318329273802450500968631365004946814481670155122779486533133016696898, 54901957924110206884363150935910867872164358833224934290417002312993667497232172991059716066467982000, -2162240662814229980039561940324503254029402988369961914601529420974501738578363317454588939630500, 12318459931518993439620121959001585044106121892132010477373610941883925238167253714736992478000], [420281035636061200606448606810751606852734828623735458159213465027833245766893361182365026485043692819887401053483141665330, -8543568301310447145259934834481348390862669616949734141439346486413155580968959883404420698755685440736258292368, -1271955549934581393496574157329571190585583393779659637752675604795803441832862986844096906802746939537926, -29557882365332822901506465564488648647505748685059703619968461278407926859244763260011858201560617520, 17666300640965972083380699322324683235950104075662942099845591103091272609263693415468263886693910, -57390894974805617123008317943368866463539582838578265247951039239434184375301491925776711351360], [220314023383694309898537313657493606888909864154219383794778029814601622422564505573894834552388031676632726166934723600040, 1259764741125632760428351305863131038159574774866603533863928799620629044364644574661069235533960039516968266522, 3386107572077781611461049858367847354025527618034393274377710916826793797122505658401489416658922205043210, 240632914412183662688773625514211435291886536616807135107218526042508647036609275532932364413035806416, 21888706777139726173818008034248684359604520898018420014589267586288459692331921136825905203662852, -26988527787011320576572481831381275161121051073910955517968515760569570990662273257109745449392], [220116153894208325829532872319560034688357740834632096333035214144852961735459910896733531988670222128756004845558487858710, -5137630953518063188720046835835103285037580745443666214631394022570975593705191677418186670580052174444479146456, -4414505175279144419641886552560889282082559525740643392143122294580729206912666637850866352333615051885137, 140500929246657724498926343086622875646412154823462711489292241662531661241990122738598618831868523032, -40471860432734472239814077221522441071193999959579844151397024041633151286362291250459233777742775, -30281415326438224159351361220851919711218538570254239470964301540471834249066964569603052873600], [-41159268929768737990442287166120873649484770359690979414744781660351679826261880834916109119258731783063869121506135495730, 10816547972280485148393956805908985101806623830848910219899448236197257846532007182380532658732408503915165290376, -4594612772967986755400770489364773956007752377518217551377306809210836969418380473974246112918838316456205, -201448797082991423863264848286595316339495057142512942618346982798417432053695768915023400412247857992, 104454028127316892309656335268590271056144471517535845710104397965742874028482841217367806866532901, 7295740120931862988947657470633971989017948234856230327369964505240159275488212977409316728704], [523116214225369832287033230271210921652530206086158428386935582899145234292408404557510119687358282243402843226765970253840, 2153782090138180797987273342256423403670225553873583348410636405722753276265100672319431412632446389400957386404, 5895741554437432750470825673694615091005218305974404420953934848442560233759515330762190883317567915468180, -7010420888789029753370806495813824348332555635361577386839249959975597788282016191351106798206085920, -100639838166148214868267851140407761302204638077488217242764039699358672907501388206783521990708840, -64503651242481983223196916603969356000605735250876022916602143604911505023434172815068114211360], [577856888254953754912840873099712253400555977625180318748784979240870908984508347488450840471422789280602242228768675176340, -10543852028541201119633111476583242716303344845981634391340802027555683630818487606228149954338756507755953263387, 7776860451343655404563742819800175254846840915084246572318289744644945474594851604208883397520142169574551, -210316000818996738250242889781900431438517396459061791542590927469547035733398946582843254781061131456, -43413617681590207886232325334531067849367296893339096417193253051676971962630485153181139310317168, 24550945822132203600563415205485440017426960057394901815719938568639269285678129352101873784128], [-411859737613487676975292548014223126492209060476949502187392619867063251133732541770184175954261821482045397815324376456710, -981467812133205758082876463276940897573096967460879169626918654084156060199960044964674757359843557188359324320, -2283900436093351300233192378390203736257865192522950420433594338465366097139578333581358533420558038926684, -207499885156196276676203515696941903776230235706453543708684652363172096332496510511194617180703624160, 92181654164873781322072563463016674917900160444158630875654909029245771913123423818453981110185980, -128425249287935165063932977110116404633897433987486102010017446559624421820778152036286617118080], [-147953965420384030253100624749006748345265724306721514777484651502909815092739853927311333115799742392459986089317359975450, -5546619203258635041591657994626407195519932287656321158623523034330078553072878191527853322822196826541863786712, -1023087282683626925994827953816094225790417715135170332330911128371175160889171943691345865977361128927665, 177487349295592507033866891408849019460132378697199339510145112753788474296030132080984476820061481496, -117731867562059609493143954183076107356688666033672065188367194372465499395051817457736500168856663, 133305688259942076722846958695209361697871469875036553268863291948124163794149296879649305458048], [-453022416700202523920734649906922906744581512500890137486387107928998000274316613092155970262126122163198484996720348951620, -2828535092861793427233620040487585351884655803013408707329018121651651233364033646500730302082562344228467105073, -3542075334566393192687130895109943976495618209063068008503281671121031559440778518654145945933566568039427, 222291283138988207435407993976163254247658093357376251847562598246967069141799694712449093198917207392, -27407370410772644856111157435365289580660935033628743925483845133516775150366568132199468888151176, 242548067925411719080094041512170060403464882914999835900101497684003320213631427862647289241696], [1123922437035757251804487452345984207358091657997629876333638123440641346295220712161039496834476851655707462470361632510570, -11245235269190272673938154968572547918872260626355292841824104563022340219080107151565379477449369038884348318032, 6422851157302849557040167478868915532723161875624469455025969216063834297361703651064550881114109010812786, -218257675857873960770014983793148049084967068610764711223369141559355578808873179378126259394328854896, 59577096217388025687195765568333523206857678596333294623252320271028107278143691632683534812210270, -102440904154310004063215124951557402287866883984441988423419408698031122475808044646836227577920], [-19573521699416592307417478872613548392624878289604845939268002877504550118452736061264676506480197966492938467575286681228, 2794044317282727618011798610466127391205794371576798880620773403610353927611279914841256334814113087673680780669, 15188829601844486248228813018181310140462658745979366677025340978840722868048371088506138879741969313635463, -317958440524267335439117735909764119720257910093902349139548689293685226171001576894357628152901485408, -121650927315834839204139926257103446282911910666461104627727112054430944598344143735906671046089976, -138317290975792408840796756323094667275734331732978294080743050065028317802351699717503653662304], [865404769702626628877181200292159133144560901100031424161726860240725609781528992355652325857721224079265279870482242870600, 21296625740193380911249283922453884572749561107707664389907461972854493753206911627109821530687940723805275361026, -14779401772274033838228723890221939611483332391626651171884921506164083714886000864186241199450411505802798, -173511440690164583622546124766611409945060404159776446700717755869863820749729037341544233939470098032, 1752948650674218014379228680123508162104181746679162439356727850314545057862894714561459077921396, 13247817245964134519618415031553861539677934966504834408643926939786084006183236767570665779984]];
    aps := ConvertToHeckeField(raw_aps);
    chi := MakeCharacter_1_a_Hecke(Universe(aps));
    return ExtendMultiplicatively(weight, aps, chi);
end function;


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


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