# q-expansion of newform 25.22.a.c, downloaded from the LMFDB on 22 September 2026. # We generate the q-expansion using the Hecke eigenvalues a_p at the primes. # Each a_p is given as a linear combination # of the following basis for the coefficient ring. def make_data(): from sage.all import prod, floor, prime_powers, gcd, QQ, primes_first_n, next_prime, RR def discrete_log(elts, gens, mod): # algorithm 2.2, page 16 of https://arxiv.org/abs/0903.2785 def table_gens(gens, mod): T = [1] n = len(gens) r = [None]*n s = [None]*n for i in range(n): beta = gens[i] r[i] = 1 N = len(T) while beta not in T: for Tj in T[:N]: T.append((beta*Tj) % mod) beta = (beta*gens[i]) % mod r[i] += 1 s[i] = T.index(beta) return T, r, s T, r, s = table_gens(gens, mod) n = len(gens) N = [ prod(r[:j]) for j in range(n) ] Z = lambda s: [ (floor(s/N[j]) % r[j]) for j in range(n)] return [Z(T.index(elt % mod)) for elt in elts] def extend_multiplicatively(an): for pp in prime_powers(len(an)-1): for k in range(1, (len(an) - 1)//pp + 1): if gcd(k, pp) == 1: an[pp*k] = an[pp]*an[k] from sage.all import PolynomialRing, NumberField, ZZ R = PolynomialRing(QQ, "x") f = R(poly_data) K = NumberField(f, "a") betas = [K([c/ZZ(den) for c in num]) for num, den in basis_data] convert_elt_to_field = lambda elt: sum(c*beta for c, beta in zip(elt, betas)) # convert aps to K elements primes = primes_first_n(len(aps_data)) good_primes = [p for p in primes if not p.divides(level)] aps = map(convert_elt_to_field, aps_data) if not hecke_ring_character_values: # trivial character char_values = dict(zip(good_primes, [1]*len(good_primes))) else: gens = [elt[0] for elt in hecke_ring_character_values] gens_values = [convert_elt_to_field(elt[1]) for elt in hecke_ring_character_values] char_values = dict([( p,prod(g**k for g, k in zip(gens_values, elt))) for p, elt in zip(good_primes, discrete_log(good_primes, gens, level)) ]) an_list_bound = next_prime(primes[-1]) an = [0]*an_list_bound an[1] = 1 from sage.all import PowerSeriesRing PS = PowerSeriesRing(K, "q") for p, ap in zip(primes, aps): if p.divides(level): euler_factor = [1, -ap] else: euler_factor = [1, -ap, p**(weight - 1) * char_values[p]] k = RR(an_list_bound).log(p).floor() + 1 foo = (1/PS(euler_factor)).padded_list(k) for i in range(1, k): an[p**i] = foo[i] extend_multiplicatively(an) return PS(an) level = 25 weight = 22 poly_data = [239341586400, -743130000, -1929606, -1, 1] # The entries in the following list give a basis for the # coefficient ring in terms of a root of the defining polynomial above. # Each line consists of the coefficients of the numerator, and a denominator. basis_data = [[[1, 0, 0, 0], 1], [[0, 2, 0, 0], 1], [[187959204, -6622602, -3089, 5], 324], [[287631324, -1174314, -877, 1], 324]] hecke_ring_character_values = None aps_data = [[-728, 1, 0, 0], [-20803, -14, 0, -1], [0, 0, 0, 0], [-128229189, 151718, 240, 3741], [8426594482, 10314300, -34960, -498310], [-215800602474, -164888472, -10880, 2463340], [-4424319060766, 1294061352, 1490560, -56964212], [16304015379096, 763721112, -3945616, 93015260], [-76520469215315, -24630667030, -76636400, 418790491], [-296443394191386, 952540949168, -306462784, 78166280], [2031846005744342, 133752737900, 1773573920, -862528630], [-12678019030524750, -8600426719280, -7046988160, 190415090072], [-37800336566436498, -20801622292600, -18359135680, 580236129020], [-48792380862265727, -35817392485846, -50846202400, 186104750483], [115510891753802843, -61133418909546, 16982582800, -1761380347691], [-253393522035018698, 160292367443896, 37579912320, 4654113643524], [2499469711860952868, -1816200651268864, -78619775088, -10107368119560], [-2704962433906538338, 1208712183964000, 1085335436800, 36191725358800], [-5490782175513793701, -1878089789248978, 3277891990560, -13649810007327], [12820470449883872422, 6658993564529500, -2368785369600, 122110301527650], [-18680267051247552550, -8041828828308920, 7145920103040, -99802721989764], [-15242079871567732836, 16637645067077848, 23120794903296, -591598647271500], [69659091046984109349, 46943043913465122, -20433394056000, -42495668251833], [-80868888287293415358, -88135702035718896, 34085851966848, 1609362983646840], [-77141812121329572982, -287086760138387176, 276035270648320, -1333589101939436], [-182336878023443824258, 303324567468835600, 237730946377280, 8530185975789080], [731634721067279947377, 129549488691498706, 198544578705680, 2418651913220039], [620098036432681826111, 592776825777825958, -323641692728320, 2829852386722901], [-1397826007655287364762, -369173710012598384, 454293234117632, 5807934049182200], [1247947958023965935366, -778087310952321552, -420076688286080, 18546639595438600], [1637225844753112224067, 463597203135024326, -3093631175091760, -27940882680632035], [2508420848872650019902, -2836106412971360700, 1459754182773840, 146478625191237990], [4515461559920586289270, -2012348730140520640, -7674041769687680, 239202765993549472], [21232340689004043260612, 7757545350653647584, -4012090955981232, -105128636450314200], [-12622608913115667839010, 18956859546767686640, -10670173617614080, -196045255036546360], [11711431261914799087742, 43925878166973213100, -16156202786736320, -47239962485903270], [-54023592756755353717254, 33172973567012128528, 11868568817121920, 85425064826377976], [-15709452660330079591519, 79034340554550472058, -3714477751509440, 293224137289420795], [-155389754464115956982561, 55824455880899910062, -14323248214823120, 22160763955217113], [165397989879283513950250, 37468645558132125200, 118248983195474560, 1589752072191997816], [-471003941903972312375116, 134029681252639893008, 57242335992219696, -433591279975381920], [130460343604121513336982, -288514883223692092000, -131918633894321600, -2023545947358047600], [-571149583939918648435118, 54868302685051464100, 64720461759053280, -1914410767744633170], [272384648664385117660898, 56140919710523064584, -126199274570875520, -5604874560566275172], [-413230127403368606720762, -142989536060720726536, -697962048347340800, -4293360199859228636], [1003090434687050586321320, 125630101275648471520, 65116095335150560, -2050856378039264480], [1617861953486587304230102, -12479574600293009900, 918069770194036880, -7341145729393081570], [-2333824957779819797387015, -157593395017686731790, 51074746502381040, -15151417177682491449], [-1879120002114128613166133, 783235308779563471566, -1263357011977748320, 8843631765885340625], [-3110174033296696423768906, -1735844813564402758912, 1587341452754204096, 4119358413180444320], [1132818665415854427639874, 245530999353415022552, 354819590343239680, 31124297280535589812], [3815118546863178259334932, 2344950088217393556744, -1665310165355621632, -3406296912608944420], [-6608962467000327729749658, 902729599011715017000, 590612856879953600, 6667658530744117100], [1861366922465114769304002, -1825268488481801218500, 897464019228654000, 59193574689606332250], [12842931005939104336730406, -903047422623547402032, 6393334945022186880, -37954832276374704744], [-15545184833103858215569379, -9111706838817004064022, -2248469138436981040, 86699786790368748155], [-17308158679165223650283714, -2046366027096742101888, 4079393959247569664, -92250760234737472960], [-5287443367906965586904718, 6199513005209254368900, 3611002151207810720, -255395673718312711330], [-29001239264558033961655358, 11800715933036445145936, 9589961312700678400, 90001404627195581080], [-18162368963898182434552058, 10070697070164499981400, 12855056555111005120, 20164727855792796820], [-34450861473906949569049431, -12800178693681125979238, 4189132322124206880, -380740289427137024133], [23543843708077203519339418, -35044059919589310044896, -1780419683486168960, -23875568126397910352], [-30228603809081946216413589, -14185018063842709916562, 5005768881127444960, -392182034270709038879], [-73931684299117126762716478, -3501625497197567497100, -39385305427506820480, 261615283633120764470], [-96870982834962494439443314, -49975316875157049028912, 38469935124141760000, 456434549607925543000], [151578061134137070646174134, 39658463763058181416072, -31893233637794405120, -97382040241205045732], [42811318265504669826449662, 18257686176965213807700, 36545135917092790960, 2277339197750523315310], [90578193371886634043823590, 135770964729867973744240, 5615783118214986240, 33784196355194881032], [319595627549524757360503023, -91485165767052703275226, 19545242999873190080, -639974028210865125451], [-28824296673616071597791810, -67469712682022714004640, -30482843712283229760, -3621767636123474910480], [-198808242597851256972360938, 13135561251512064281456, -196442540848426265600, -2413758284316113866616], [-228627879487672696839586472, 251141271204107767615616, 43464419966800758112, -4206438070251327102320], [96246391692452738776672519, -151431737036534112371858, 74699566446732823120, 2430889824423947759593], [-349669596035737513558657230, 101905452639013285017840, 142697957498073015040, 5595425710479549036616], [-247278428912900936831165776, -624371978000112407021672, 213914582784681689296, -6640306983484635973460], [55275491983945082643330889, -420090216705425174892718, 603995928682749021040, 2575312007795188451287], [-305105494313049191652761738, 440623561463499307505984, 268328158337483987968, 8723827646349889583200], [612117917430653667857068918, 326931081626603016661544, -115039066545729919360, -2433922305247628435956], [-767122461420708262900595278, 146280428309075940692800, -1225885212037271647360, 916464866385919771040], [3445635322182593575686321958, -384501837914840137334504, -228019094035105450048, 6157304500263372414260], [-2199977579202403788022996404, -777445423815761531892448, -899714800496375861776, -10630907746650554238280], [-21869769423117647285516818, 757882680680938765740400, 543793763785587166720, -26980128586329531657080], [163230777634843592304594202, -1534901405180166407550700, 852327828195328039840, 5056139680275221083990], [2523041505576716625831061514, -2248457868120980954558408, 216300246686546016000, -12473844362561854548348], [-1692256766771832580336673608, -1308237059045079500719136, -249235799590870253792, -31608469772720083656320], [102979915238768184082175693, 1769705319053867764272034, -222878598374145477280, -50446331483136842880457], [1117511527247622902604176390, -984660448784254435332280, -416057240241042014400, 4340034687339220149660], [-9165971717310499744419077434, 2514229322247193324471648, -186685628183189656320, -2155562533447578377904], [-553867443371702296822705498, -3923188900676647978516400, -1381693762057007792320, -37810228962654731136520], [-2912935903121344034352869279, -360630329988267636810782, -883398717846683714000, -42754567014182365095185], [4727109573449448273150141039, -192086072935600193622218, 2651503188212923213600, -56192329513597516925507], [-2330353883966513778041211796, 1877106143440469957332888, 4800652135255561697216, -83955129100812639451660], [-18168213055911122690453274665, -1402955000506530261473250, -265081094723242766160, -11864185642094201546463], [9251577516848109729280405922, 3434573861250795160052700, 2003400230225638731760, 14582648142146375493610], [810514634236799758590238840, -5602145442803206887802600, -4228253025645357365520, -108097998007588809734820], [-15851281480074130166472562423, 4782243415400158004585186, -2195928999539518440240, 55769159413090867123359], [21124951102301499053392611438, 3295968339270186617405056, 10328319136122513383872, -46623595014737022705440], [-9821988844395319501475144918, -13734380496465860663225600, -3659900157624349831680, -48917399455400321508480], [4031608694731685608116606585, 3478853823163039972212570, -2762162483137606580000, 81141188039030114901691], [16189278725371468988519061862, -6716714136435048585829200, 16572714609440655999040, 93748674725346531626440], [-10234204872415131275606787757, -11324337372305412489181346, 795709941414532096800, -260571589003473219801591], [-7287614656192245069254171254, 6752103741567153749441488, -9016826705331242878720, -472762491669637626063784], [-42310865335532050892328015019, -13547744929143560918342462, 12131138972448736754240, -241716580230904016291785], [-55173323793830425711648328234, -9921288430997136483281608, -22907512894893070354496, -350641113172661389433180], [36710967296185621049129346902, -9565909847138912297046300, -5706756891370786346640, 533071093662311279320710], [27380682660486052572074939022, 2140610623530445689540256, 18886394109241964766080, -221601679262552011131280], [-45459961405238453594548860125, -56985460131242272140304210, 16204216317563320720960, -443452930807539854506223], [84362613283520738733355239998, -28498658082212531872963936, -4146535791172263344640, 750971768077689520262448], [-44012861821005267986503493460, 1473385473833857198090760, -58299149750789292960160, 301981667674079425675820], [76429871675643118039296456502, -58571605685638973674637000, -22803880959307869755200, 127274426454479537291300], [-167000108258444854917493610309, 73605664380568301520576758, 24839792691087483903440, 73979456647750816789061], [-112524113997781812349510727874, -5221741395120721980961752, 22061926795975491043840, -137053416737291974054580], [17394581974757152250598814754, -33235507668699968771944808, -69620606710165221237760, 939787463986392005851988], [71015719917514372747108082056, -32289382009969563207898328, 26415723219495776050064, -330030965206047039541180], [51006631986884099968472048622, 102646486661527498555457100, -16432474267904557030720, -1635641635608841344495670], [-100559170614376403410428031018, 40083999382295625749866600, 78506483018062939014080, 133639282825156100706380], [-104351565117473716326221084247, 122269815313206036210038474, -45290962025643556547520, 831802077500847780917523], [312762588089896153142887587863, 104159537727665415568083294, -33549183969437985037520, 1465697334000147657811009], [14961196057773858683554005982, -182383396962191837777819784, 148459802596686870617600, -725315075617957148443036], [74721113313192997047220800788, -109211940817852721099265904, 82818242522562857614512, -1591155360504952204334880], [318627035773926556176035661622, -17393497837026551909701600, -51182721379500884628480, -1374589685451971574683280], [-167142074383889696776444581710, -32971382664741190126933400, 13737862411344281021440, -3294588848889861103771604], [64850113656081672362201475582, 72840185022593288287206696, 68311133060228804259840, 2021556331837765579428300], [-669607090753041112232240438631, 161327644091264222307025242, 63027775662497240216160, 264503037920820030363387], [53743505028142329372799645482, -281896937279466544939872900, -131871180157797672297520, 1078439964465014377407530], [-351275590699810585310749332138, -162948555162438676247527600, 46345773137838614712320, -1327657270703106869365480], [138878407165476426011052181518, 78633509771780594688836976, 75795999518688228661952, -6506128748055235240106200], [-260788165022937025179763071564, 469217205989643003175412232, 216419970665936275622784, 5205436312890870591483420], [-370471848656784665566172582573, 121994036528919052830054966, -274618585295014864069200, -6611991249969552347268555], [-878844730453893724581681224606, 204952062645886215033795552, 305296894612198436257920, -1117877926580452925846448], [178021861496153831817554909052, 211607547654799202314105344, 177319707104315036903408, 12504609674023459755774920], [324865732187278803885033147433, 348605325783793585332080194, 391154662692710576438160, -10394224288665782990045937], [-935023877031361987235668071538, 101285220154162882184683900, -9890490887613412914080, -2442715975734811704593630], [739506097139369069565469634746, 70247096712851353352931968, -40024007427477839319040, 9217341562637603012102336], [-696049943761388027315103082598, -87234117667492851448086400, 472666706309170240986880, 5588276205428356600367680], [-230486802148919281503971221014, -970394598868039387267287088, 61669276695975319924864, -4924710414283097876672360], [-677802787420997851208869960730, 939501275639610219565035320, -245861598288860019169280, -6264897464970470269507964], [-270930758575527938856131999905, -21033318854130698300852330, 732480557315546609947680, 8724204352501294206986637], [-77034514240728678000665991762, 67946461863481244366142904, -1167572804757693309301760, 15715380629572394162598724], [-450740460096400958750943245942, 254913681672886331072119936, -1716633032836442115307008, -8287553959658104822006080], [2137981087557752413268344355842, 1045826362583819436730172700, 487304652136247326770160, 21184909542220293011112010], [-683583100618027750390478773538, -1259818607801029295178072400, -519474777098721471211520, -661417597693804193693720], [-412965496483715552336674772715, -1344491591629223782932520070, -1261268410044189862297840, 9451132198267510196984531], [-2633596508525205981318376988553, 535676775592091166836351606, -1551832158356066857030720, 7073641856382637361472845], [-496751162707464900554038828066, 184890530442204835931514848, 75674439312378326913536, 6109235381741366911076240], [-3196875383262114246828063513348, -758607872392907569520786296, -658231327926168171982432, 18986577423567008236086860], [2333420708392792221976030679382, 1200437076188231539359494456, 19334153152153382730240, 24516126081254537695214724], [728773331238575962623416929726, 919412399195764394577021808, -685506470231494516275840, 31547075802423820353562056], [2939831823761224319345750733308, -2649504412492634090754650384, -2376665721800187101756528, 30633532781474987799231040], [-1267251036132368365303268362699, 52349103192021486676264298, 1059565929809952045000240, -34053190500557478004956405], [99308565470487840636015932082, 286638013230121135252998176, 2805470634526504276091520, 9476762515471735134031920], [-4842345333600465196976403033058, -652285883702712901562794600, -386731801561772026534080, -60976840184343211389490380], [4119570268241029626320051049709, 943555489847071174667559282, -80630651126968748397120, -73989357748917172051251873], [-4779893708292736632740984257365, -1332432333585719138311603290, -1518029651180200979749200, -77617032994352607222717123], [-9068798192768634698170326729989, 1919247346828565384288390878, 1895205867502043166827200, -5598567550230558372589319], [-3837525963635574759276536775018, -2304777042684506960495419700, -275585321183329621369760, 13080968229259836018584890], [-2701188790189322546396974334044, -1861317923238040942910778248, 2471812055347917499915744, -71140892212646278303979660], [5115857561015725893048495384294, 2642528901167188434679809608, -5982629558595671053326784, -43653530281469672368032100], [1537221085689620262694219968090, 8728227321892615434777084680, -3523491220125742903902720, 23872217250634982389580892], [2898263129440664307622551582462, -570134371061969177388059200, 3412405104847014501765440, 98780998305701504160947840], [7734796034434766994054314922443, 359878038017074819357421614, -2309148984152819606993440, -98793847054338652980157951], [-8870353294244779504761859423338, 4946393466064333841769390176, -788962218036455504442880, 88725886087840983960624464], [15835136266531685085086421207379, 503555492057442367176637782, -1566417699307802963602320, 24407969225351274622149573], [16186719188839201872523183767142, 1027828624300462945192139300, -2951321986926426962090960, 64197137500966725081933190], [6399440952981403747077579694802, -6670456404893360126963288184, 7450467126075722299206400, 93505460898315307035768220], [1092037007211776537430363473589, -4552720177254276094049092998, -623695280188832118269040, -110330563694353284265629933], [-2453119457175651109288601221218, -10084694804116036686390880900, -3533737655005724570311520, -63212212992710583458985470], [24280481610369522383779334872478, -5918567498698238974535361816, -6927069041539008625878400, -71239934829465894366261076], [2487819603424338282118809189258, 3530029522328368791907860656, -1627071271220167405474688, -122322420172579856458746200], [6159409240687485361966579461246, -13434700903142583752050098872, 3610288640736752928271360, -105045677774580227925735620], [-6754373620722816680958650302304, 2735873922940107851404078712, 619501790359747944351184, -145164202684614811338963140], [-5933682303806716613803491472658, -5842314082861955084725091200, 14324287453156140939915840, -30299392880631731136497760], [-27044292536265484065280795010958, 15639445336863782906086230900, 8262052625602218202816320, 108753862246964846908605270], [-1625426043882743597148289915166, -2449413475189955556646949288, 4006804603973494067877760, 109634987364676967057185972], [-42998262851422729531389501837208, -2055951060933177379520392976, 1505523677774715747016768, -95920746080605627380981080], [-27334308947485095816208320033070, -2658870567501699306967357520, -7138376083990640257682560, -219068756731840501155090520], [-25769166678118116891596884107138, 8015262754625513494337926900, -12169722596663158221428880, 231700384572425155250123070], [-7584540439048851289878012833738, -23139733808994390509448112000, -7332141232663250451416000, 343834733791196245029028000], [-11615030724164875689939856783379, 998722182038167838082820938, -22773393406394204965813680, -46430736243641176220470005], [-6310940840876935434085055761634, -29462353056246959441180151808, -14489994895237458643082496, -145749820528483996877393280], [41083317383668499584792235798455, 23768097196900732724134156590, 6357076593229436159352720, -429945427584457055404935063], [18394522957982981366133800149582, -7609537300009601701414415900, 19500874481868521889932880, -561041184097979548995438570], [-37495705049569326354351462942322, -34897303803404694551235343736, 22385860168170640555566720, 466575569272597334269474908], [-33919986196980300206671011299702, -15401242021900119737130553176, -35930575727977361047592320, -98179083030363580391841076], [43435836885849426302301313242437, 27974215162769604852493704106, 16264802614946502456354800, 779460452169632597301358859], [36925449130169199612664528260398, -22818289183119261737754022384, 9427707840404982524943552, -87173446376542364694131880], [52939832569781302763998541516954, 22613107100938040483446717392, 7019458860662144382083840, -230463596360746886127622312], [-73875943391967763286817389980615, -48957624359625212665401162710, 8630118094273079106621120, -58842729739021923753140829], [78970337278865214875062443130054, 17491621525685520604384508728, 25601473092581603730942656, 336695994129649716668440100], [34709294180190241929270480796702, -20174888859208704872768722500, -24477939358846659035154400, -90423048730356603371773150], [-63826108415509408755184544428258, 10795058067319444727699166016, 36681370099336595924891520, -592680714260165120310789216], [15355404749800559289037105573501, -14759755138872053081449373342, -48054563551727174663541600, 735562316174484121081834935], [57121744495994932983899689635322, -25031506559637042133392478500, -14235391129604760598670000, 392720595308383468541928250], [-68647190552224818280054320818978, 22807360082680096060325517600, 1350076838929142111252480, 585036701110474558165015280], [-94443980356047985352165057488265, 923633111099462375842315430, 61437486855572481603159520, 422123824997063295932502757], [-891342699150794015702124767542, 89580773572038648355293578984, -5149630612503710914694400, -316267350852501057953064852], [-146971944780430229689815662016178, 80657370174351078152190407800, 74238578279182126008850240, 344040563371923811142531140], [187125155448330071324460643031446, -58118290422686749582489032632, -4080640153849110045862400, -295638648979870211459688260], [108140969867143516362223368389934, 38837499939058103863667243232, 86211912407528730826199040, -150989073807180924555332592], [182651054774562742524053904736625, -23279877086278422014573367790, 21306394447171378878936720, 860545594408734535210224231], [-8702519963230460150286592872986, 118052075257761110461841025488, 26475148445629368918809536, -1880463824017183364724940040], [41722041259288843621114909456762, 41754874907806490129416391700, -47735917238055477572956640, -1153087153161685108155645290], [-18721136399969088300381052091730, 90561466451300824113312593000, -44920594348661317829101440, 337719329685634440372369132], [162064410475593270696162092750370, -10484980323822054620322307200, 86100055863981466132106240, 1791579265101295413851224640], [-27205202210868558853141393816052, -14322492242232225353041019344, 73003820346942855241248592, 2735221209444593443012070080], [-99532581936260774969111387679038, -97275500004080649288093535264, 103435762580986250293959040, 54603771331714168529671120], [-216436135508014789893948602531696, -77572062161233021964489131232, -74332270765972262783163904, -1730458649386639151322081040], [41968884493128654785692911725689, 220128809633240023167089408362, 16724980241614248411673920, 338876468099354994015040707], [89307641542966106173411602823442, 49152775137457337818817769424, -39859617884403415061564032, 2863410469366813194999543320], [303259131190301070475487234843542, 186857432352717905444411594500, -87504815158276339868827600, -3491583489946056180094047850], [48033753053151493380218145624378, 62597645659601813578340034904, -97363570998898948813118080, -1812045195590863598724635596], [612446782141527068637298267285182, 31752529906660139455314177200, -46424906172826267112842240, -972538745322434651341455640], [121995507166174607434175936006357, 45282241553082013539373810746, 102180801836796685427496080, -1273498285057896674076894541], [43564958462867666386844872534971, -135412599014564192183226944962, -83119740153662441515774720, -2484804107915519980190044759], [-209154843046542275444225500749204, 132885785492184732301130154792, -88116395448871200450656736, -553886166326848476254177220], [30027167613196225906040808120622, 34949846258660748178861429000, 175987350433197293656020800, 4061835128683453799584250300], [70535515312142151324681351358587, 184867830235219449434271387606, 94569155726875211097298960, 2005896343337691133872841525], [-127389787665241481123625243912078, 48265162218484360980612590400, 106399353457292929104942720, -3474990481673183937394906080], [-310562055967526684287127027229081, -220887316415590150354472247458, -126288700776436349897505680, 5554129599523280414328088993], [128192896380769077337919231650030, -135944597016998876780426226760, 8646201352566584695730560, -463073123858868996220503164], [475899306580415706437089395382822, -243037013441060374068406842400, -268578286967532677475256320, 6481102059055200248740686480], [56241587990735357158073797825020, -510689375952779576269149435160, 246469636076452298200768480, -3750277454898830326732141700], [-89287782463266669443750970246582, 12765399055930984986722564496, -322423914620859359745990528, 6384445823037475308464900280], [-106632966561459034674768340781635, 125247596405781739101131028250, -549008197458756806919983760, 1565656408412518382133762771], [-527133279584853892213519796186553, 13586638283232616924879251046, 363213440797276315780604320, 4157614742015532466498311205], [13811389171129580300381828755014, 534942340673853937478766214208, -51807322197847657016716544, -1887659686410882601629414560], [-586732408661922074495353105894846, 386089049447189047456854513592, -327927027829398501921320320, -231947822793854195042300668], [128877820048934572404556644203752, -422854796015476454001384721136, 327592467822026956873110528, 1023123016942803772294899000], [-1138405072738238620899425152271517, 257855489512009679846634610614, 122007225212904380388621040, -9818551310085114442034172971], [456782524246993450882552702903822, -696597588776181607983961002700, 309770853530661316124104240, -5174274002158764877760332610], [-371364510440839984032523905909378, 565567166612799831774739561976, 270978989631964942971085440, 4447908681407293709134995684], [-1129665715814209868847591989019752, 234821646623989435709170204376, -471036573003884046101007888, -443115871430183470680782340], [-373962589075494601434138932008238, 768844653957982874604761064100, 122105889064677686301517280, -8135246097304518228292169170], [-200576111720558995476226347930538, -629984358567146005752497741800, 383568615646857064631501760, -6091089398536634013479896140], [1486132105114824853130963584121109, -97308802254673345897242357998, 629038674047907501358695200, -9833338911041834280138684193], [-717185572941315980225432967912005, -635759420808798393660839996650, 73950278155461925156873360, 6671772313632629686222774357], [305813810575805496956125592280582, 83576536275267124929368632744, 56207812525124878794927168, 19322523295008717793392502380], [-1229718713672900115652999826773602, -508634083887243277798073788856, 447381776756095825625261440, 13812688248256472298598787068], [-232696174373535511067967305003400, 1181616109182119663062199015400, 222238141550482035443163600, -11111245117453848387590864700], [1046241431309212417746329928341802, -1224570696674987535130450455900, -806304406822608738669136320, 11664060625465913730955087230], [-42441875846415680919082552838235, 609535662230844240469372934370, 105965924330350940384496960, 20683239223641372529541440551], [-2021426766692462722669709626244078, -188288816963365852449755076900, -607495697715293875152003920, 17125226493276688920253029130], [705187415424530362162017956951193, -697361540278387448222806991646, -240503617679752034683858160, 7574626108263758585060925823], [-445596847222680792455577140918930, 17057556322122607461061190880, -277310961124898736813308480, -22657908797016347721359180240], [-947914334834248183943413698953658, -490757598827123335458867399504, -295646256753351705939993600, -4369710830794198373527971096], [1121270564815410293666301301671888, -602041967320619728128159439664, 889843021038106916846520352, 15605372106569757411766561480], [-624552076900620148641550458934021, -798339744109810914100020864778, 986466470352792904638899920, 4272410207007866855870664133], [-2210555263263091925141614009891438, -233889248808495665558627122900, 795389222597618936228641680, -5816662715283967256241768270], [-1443234369965835970175960756990476, -116518040527545373135177940352, -148628537672783191863745584, 21855308136765906334779530520], [-1798139584738291941334391908588311, 23143351867654187976621084722, 597640419254780332227813680, 6412216827669251186816880647], [2002372567686041656929685418183158, 1373557432103462227393638441224, 827043111892790866226614400, 20096580523681446595823842844], [-436283526936656700344570857637598, 592559061810524072353597528000, 636675677675418999379033600, -25485506252971240276842322400], [-4844003262644998233967995550750329, -1108060127764408202900145682242, 363989308313836102876945200, -27462056977000476961031741679], [2081987688841633927277741682174998, -1191824869395433896914782196584, 1102323609751509583646687552, -1854061209989850422226971980], [617202428657289425381524913535506, 127616817532184031082569926048, 55103198306541647361475200, 656590485461973458900941680], [-5088814208887097162301103825312624, 319731088620820386617849368072, -1140936638866486350465319696, 20864052484067424233112180260], [-754583349365570569242888461023698, 1835132315585305543662632413200, -2097372158747167668191381440, 26080298989393143481513963160], [-4585173908095932433173086686575393, 1325641506021240226874866174726, 1103691046204454830385309120, -3104086636783201649972688955], [152517513145932356350013060372290, 732598735690400432182969397360, -770762133496696161899229440, 30162878266074181968625944712], [3365951231733814497052320345103686, -683025511147225716858438683072, 1303825327887761354418905600, -38055074475723463122502522144], [3904173321259833276645979061780581, 564037918537746300224738366858, 2614638515142499649008752560, 22457008646010315080062475195], [3298046833529272285018932577872459, -1612742030472642460261969005938, -1093295281427203564748614880, 6787117056059133163923410353], [-2081032122459664257720460071569034, -3183401546358639659284120531648, 638115847138032761728886464, -10306749978103319352230512640], [-2883967832019555175839651493462622, 2138357865392464622583683221984, -1830745507566266523279983360, 38719641525048211522795836688], [-811088716496889309636394379940662, -2005889870067303332659236712936, -2088740625583388084052752000, -16996780553768791665181109036], [749676647884238525968150405971800, -2200383468257479733398732903880, -1464458979269953468646544080, -37954235293008541727184484820], [722741349844166621241962916994238, 5264502897312717287309095789376, 87497058883738205697196992, 3212651763092324009824103040], [-4243783059703240524420242112309398, -148338936783919246190419128800, 260443623816888996995832960, -14513276080293354558588223440], [1516063542403937844800968278870925, 995284086002579954300398635810, -1170661531479333049069714080, 11460642763185250100757210231], [-5211843903310928644649339145738366, -3855310746848355952431420570448, -988860325488053358349955200, -70035947825047975020833124568], [-311541089824312844366384067658738, 6205495874690804574214027312800, -2976905132550659655348538560, -13807669833732645130239170160], [-580959736872378666562182369791937, 7312519925036005438746246302934, -1689578669272016105271910880, -29779865365819609077217030931], [12089625126735841615885549036136002, -2483421979331833376427112517064, 882213439237743368608047360, -25025490933172917329504513916], [7229253699861120681888560394850928, -2255055293156880241683160469344, -2349174488568975325399243648, -5147960343003844280127846160], [-5784891056515060880724169641358018, 5724920211443903979053067162336, 762855534818821369740106880, 5277387644318687055452119760], [-9309078011052716468967368051919391, 4167144779546042230711132137362, -2220453872017974578014309040, 28566251656948817411513106247], [7557716986728726451045714596099875, -955158509027994864537295313330, 1168640465874244192209655040, 60574925999555237138310497], [-3289789432426544585246767944515578, 4871263662559785754023820357424, -736193935078846333583390272, 42081944342745261432096987080], [-10814443607882699870661451653459738, -6642769533898388149433715350600, 1610872577183495152502665920, -120074695451417784171389668380], [328647303623404002901327023379262, 292485177921559802694049478500, -6550409355400679582793046000, -70259771299352493588871194250], [-9146858969662798271090238027551835, -4301753576634951712536104489270, -2062314434927433716147798480, 64464963743817089493699715291], [4264414800646359922916469535059202, 2891969586361325463559578713300, -4169274735790348142887728960, 131263284399262492971730457190], [-2436953407407423069238809210767957, 2167296022584614763756513300774, 3436359126609439628918118320, -99735609080531165209217886211], [17614140898640747679906846128503702, 3086439256151512828774959609600, 4841790232783370973503241280, 64207024692582432973050890080], [5376903436401049402491068723154579, -1183881383665877397479816787058, 3642768459554974304805176640, 21393915429542272110487716513], [-313730946868313472625007090369818, -1545426361978907794053507982100, 1278939392457902435570580320, -16996770321624165988169462230], [-6347469250635740747508530289793870, 854157115839144319905160480840, 5656682653633601071231455360, 22917927436483663325275565436], [11675737672192051142825308320468862, 2950415270667615019972900935176, -443912254344207052105349120, 8076465990789529440009826780], [710588306470400928694000198882604, 1364528965961905072985087153928, -2460002692574865894507824544, -78298076004879248679378172500], [-17554487107373367038597630492855578, -2876198594614038320539844588216, -6852786365252777377116661312, 134783993783046407389468201820], [-9292008087887061153457305919220778, 291931506225963695206337874800, 5175853082888654979938800640, 215784038669988157035121660040], [15018968018103569945622951058159711, 1870410168915461877065802136278, -5554936316402113399259260000, 63355215409588986394290427181], [16791433423074488540910070876567266, -10769847928139992678932265144392, 5587812319714839215038097280, -24489127979697335326061102460], [-7469646191139895057872006301215398, 2683635768336718169454369692300, -12253492198975302908450105360, 20576575984101160668097550290], [13429476834360685923282685869014834, 3313218985149951037396198301792, -51955025643654518874776960, -232964021216109204476532052208], [7470063009475203071770049210837750, -9576127547065624974522642770480, -11499501907432249026627105280, -95810814845223006579913025320], [9443053949011645523262108467280902, 4672139977184512703720388247500, 8684300327710994360492954400, 63520658282356998330406210650], [724478095192806087712405531373850, -2629581086754610664226561656640, -6501365036609539303142455680, -162279147640646069457294301344], [-18784054191668769723580596218503776, -10654725549894682405503724731912, 4911873025497689432047816656, 166596280551700374939665056380], [-689056713474039523999007840568305, -5664727554688841694084152793450, -1243285052986144578156971040, -45976934811418355754695455443], [2814360917816915332216312739078678, 17045253957369820163720370649344, 4769759594088212581272176000, -26037314010490943931998078272], [-19200867304704031308240636712005862, -19017776180560545941193370059216, 25317302857677201869365120, 331115417029889275565061616744], [11372851471113320051221532462177220, 14579001852286458479814592425000, 12155768342230973104243552640, 101124406213575595874008224140], [-1824077868638036601314565080713423, 6136087875406759750853067548986, 8284423268208176512857858560, -56208797061709738592067455941], [32525561829885500486584606483753642, -6068773182029191458137280949300, 19732573774957855216662909360, -192635637680179527788801999790], [742352302706566671623477193252914, -31036328220387093449980747508248, 10698860875968516962644837120, -156121474498813863895079154452], [-29885240808077158676182477848582133, 9161089299933678637927139085886, 6898830629181031486259028800, 247977889549592237616982925705], [-34985184158102152351442892228305546, -7899565382640900177739983006032, 8677978167984900734341052096, 643016000393083232311239560], [20523306069920263391489385021963632, 2568603885503979064933043894224, -21831201131654778736126041952, -315795220100753275269624446200], [-11641688781403879113882990685735678, -15070918262747386040183009444304, -23868461585044560065371488640, 609477523134843517623790047464], [3394783602162471538120200876071361, 5998829183819781130335916123938, -2554704875231870183189230800, -193755087859257686417503832625], [-47471446743178595763111539662062954, -10734719408314979777784108991008, 15366015021061041868372054464, -395387255629530446183663011920], [14963506477487569337688338768370322, 8529337525231510056147128981600, -15564745915106149369470638720, 37397652524725650189896080], [-23076819963895260422795919482690451, -885705223846776948387382474478, -58475095186664292190787200, -72241516184680707865296122833], [46537170684354564649485235782508175, 16617632269773610011034479653390, -6066131966419588659358437840, 59385310843700692791930852777], [4254720982521730091476160997463842, 1750438087782580208624030480304, -2116510836983801189749351552, -241767080141150297136950479960], [18477584726645886723677157950693360, 44002648937938823221629078541960, -22176333367681659801326719120, -129331215787299302762944456540], [60194815249883812902857939013993462, 13519307925377085505744447627500, 3637274326103885293072432800, -180796083325718494812964600950], [13908683254898244551615113033565606, 6545809714816512574550267565648, 23543311836322157416334960000, -143285092099998521942498983720], [1793420474319031406747236100394614, 35714041940967934391897464382728, 11124430394745861637207069376, -522972423206677059402810034180], [41353566034104954721838197851616802, 13724670901057556419724544624300, -22210977161916869355102477360, -107128375432300808307975505710], [-61261141203552270179796222859450090, 17220501382901356522993864748960, 11840699255601584839733641600, -381979487383138386409657906448], [2358771690847141439990341507948222, 21588000708687599147342753167200, -2377158732694906752060509440, 808890624020236067092000462160], [26383459417894031655924413817249673, 39575898253358010520566382566674, -23218189590376488580409835280, 132178734897852224499710487863], [25820099922197087813539562987644462, -14513162119852449831622378522384, -36001383955965555586841306240, -601379191938011501926728477176], [-47761940839581630582206966081813418, 10772090256719750290632722305800, -53171912697876865546920362560, 403002512001181422268703977340], [95237734934522287240699480444245504, 11575441545306987496009078728008, -10676524070430953783159366864, 73037111131461038498427698020], [34133547230162717576578580989946357, 6686481178180073964618341643826, 22193976339975597304903563360, 445132861452293689842160575279], [80943243821484939831642471317903131, 9576661230724276293909992025398, 66543995767784828268088330960, -538198645069990096890416881499], [-46891069143871498214323369991997234, -45104662292069317129323385823032, 42457368846346970664525991040, -130209242223330997740394766020], [73030393242252906836840768456669782, 26718805003150310648194955228400, 60266821067370091249881560320, 542793872660426782287876360520], [-79625547146961068640237723166193790, 48207422349656006439622110207200, 38554330984657915522719079040, -474851130127724252021652394288], [175794810845852667355207242045165692, 10621533129291087722570945044344, -17042007048069594200435550912, -561460001431507054136378211900], [-59638920004356540769619474189059307, -47573503459840594629660574627806, 37292273004985160465824561280, -23443323660756085485050049817], [-2411028091836080352763159130643518, -24263746156725749251880169227300, -7201914891829852704761073040, -745563346773105576881093391190], [-107305054574117947567109183943253601, 41908030678722316840532944327302, -2224817837737649734297917760, 553309582160488114817713250693], [-246759679915547839913726608771897274, 11551476675938421102711586492912, 2282985525883711565068511744, -353483110063742969411444887480], [-65267706997766853518991288148742050, 3831990192211383206998300238720, -100665660721570616424037134720, 197863153454768655824777239296], [-27224449685659870192438113573791338, -79831478650804050984884878981800, 34409302295507146732101850560, -797989015731905419614276527340], [90964534620398964186759439810385295, -137587116042571819965964260345730, 24606039353066966914331785680, -25799539991567940002752188063], [146205105137198685956387277368660538, 7601238332129629342067584811904, -33100741844365188299134382720, -1088889089565011150839256131712], [-99639168924687930341718901361309722, -60794777913326932326390651661696, 8781232338700271460824997120, 697564255744553625107916362304], [4554047070307546829723070273430638, 9169294758284516065072415407536, 5490470166207234931787319552, -930353455765195649502093213720], [44277667753331768643228812505543142, -51702060008185558739903706843300, -69542522403566843743310666240, -1126632102764555484656257727390], [-205952135812983185392546982233365606, 41469663068776728335273944603472, 26546394263131063155876304640, -1089962972490728091089518321768], [45094442893370710880173751957227192, -673273608365103537693319052296, -48135760275494278243285279952, -545684453097042264625196180660], [-76376250045490517575378586622408858, -76290235285589560160670498292000, 44416349379179582004259360000, 1005813758800508955190659514000], [-50679077159506910812735796426649217, 9945237907900258920918216004774, 51465751731444717678113395200, 1011198354316322395910236323669], [-120504556559467953562217367036425538, -97887725433946569203718223112100, 9582077768873525469947418720, 574213876392354380876720581170], [-152111246064607976631478516538210954, 55453713848719551606576792362808, -88779951306045693801420064000, 867710604308248770491764187396], [168933122466205237660974834058261702, 34258841542514989142358955775700, -12075182934652027610578990640, -999365892687148922544873912290], [181356869540566793087007029627541822, 38568908015960147143989698042576, -19702969855625848078104403200, 1979683525544828412520362941400], [-148798994814628440524632610864250658, 43798048970664246004302523790400, -14623310128143127461412033280, -635767104672345844965428082080], [-168610737813446145451520989350939611, -35146711808514193720950654055318, -89828945705633877214997036560, 795764750098710431862516617387], [-59861003414386240976465335763181338, 36270886959288882990615231869184, 70610581546710007562239787968, 1600601900734388184131438576800], [-24652661380825861401489610186448182, -41890054200788413295727388120376, 79537960508131903442871724160, 1099843198541996060307002644028], [-86988805832301819481548478537296620, -22182096230808070010536209115160, -106189434150130547772457483200, 1315614704733884006646164908620], [-85459586543167072321473866373900378, 51125059386047664318089734716900, -29106943378941625453913382480, 2073619339816321386973984234470], [27898745786420454078883330722532114, 90484512834944992934961284656712, -14213709609088529228260133120, 35879557242211994378845520188], [-158840917537606703763255157881225535, 31377288981453140475707924922450, 30295461913854053425164066640, -176404897314853246199449064729], [184316699415104341362294167307798110, -47703583802711368598532373695320, 49310334316930503855013211520, -1689936861816711508169468786868], [313390544555128464367648084488130442, -48791826981558424974166767544000, 6154156702309595254028534400, 1417407740975323215325318682400], [-193393890614176954687168342601608657, -1343088006973885670577003398786, -89462537816413438956448773040, 2329665020831661366000154361249], [83413054948847402954426540654953828, 10984343798204797792728114778176, 4876625429464253445254745872, -1642626825288963261013913912680], [-139301610145312144235652818352018641, -86917903406710982202484116567018, 18982816129906233194905964640, 442649562430154636293985369133], [84136347140566750410724428074562010, -238694113744600938783737681230840, 69191588242324354704743767040, 44823477257605769062766381276], [-101499135817718154200050010611073458, -13781424402823208099632078279784, -46842323462329505322135080320, -1479229203664505612243953672300], [-249590841726157307992890193443888763, 200155223047358091834131145033786, 140959701372422753217065683280, -1880769400992477882707943131821], [79702592564909424886029674641764782, -353337262139333634467226316080600, 104120373462053002501401990720, -223070406538808716588049018580], [-323576629756269411108423970844993018, -39235057871852909302449812891500, -199676174672206786685607450800, -2150215967785650238422363474050], [71875484531419251030094276402260392, -63990595660637868939072498823576, 56237700385222311273719796368, 2029081282039599486912896797220], [172612580918166971215007774158567233, -130533826409894378472634780287646, -180406069731981811379257913680, -2646678902882981088546357639697], [85864877276369987892884250015238110, 25118758697918632334431062220080, 208791109232445801727873939200, 753737575349008269468841952040], [583341848311655292584682320460485822, -120224996084844300396078018855700, 86461561553789216844406063040, -985370331546160040535084210310], [-408798461421626142909476963671370314, -209613127052030406377630152529912, 44801492731069021514654828160, 3509092613717764911973982442396], [-391935546217877427705713341385601336, -255909384735766536922381222086152, -29474528317886744774071842704, 1642614100298517907549505315500], [-383430883823384011808320945119372018, 119745940867143015822927097403100, -19985804925060530318389780320, 2534862031743127660558935947730], [366139115753711903694204834704186238, -2253809711071380192455695756736, -72700929221094589200660386560, 2377432203078137115857155212128], [345068027021734482695916924628470758, 239871813437081882998549787861416, -22663615629537368788136187328, 2122672491292449933010901964140], [724696196818597643835944542097547214, -91533602828213774125826872773808, -9841151743536863685030010240, 1508128473132194348444413314008], [-408588932636146082771269155199604818, 134878802697208986978661107158400, 152825961074797847226816224320, -5277354776984486680643634560480], [-151225407179886172923993544158667746, -191729460296162798773592400217968, -62059204787710833456035806080, 7882291639672661553504976980792], [-21311984451149933505280978848076237, 349607358660043209062513422575094, -92343313747730999246164387920, -1882819932467059065932795416491], [-653880689649249162883684483755185474, -275850339581379151129916248903872, 207744557106719128507338970880, 4232350303341239351406790816736], [-34309548224012973513485885132599672, -336314599811848545446940352304104, -53006476077397678429252224208, -1457409285142905514632885861700], [-160701757667897603004988605594741979, -84312937262876094585558711443142, 48123086944004322705715429840, 5097698840797331497298329635475], [553211406003823256776880491310166922, -4961214513915184911846349455500, -127443371429302636989679400800, 4986366222264644197594372518950], [302043181736873854739464727985378242, 434971984920102239962389949991696, -99665459536053301271635706240, -6395581702983000793961794006280], [503198230030622639657128750837405909, -99561052376300115279645982724558, 421624764376079715287682511840, -4207565713105320184928744562833], [-827900812823169344772954608251623725, 5502220194891748073113577817830, -375452366768120087871097079600, -289127876328098227043727538163], [625157664297094926243552023469427302, 33638775829859301681628897369864, -20614698192311891383678135872, 6943587961046668065432774623100], [677193424864284211651634718649928258, -224394065168665016559335901339216, 50137772855545032616155424000, -4937305390152036571444764950552], [-893942187507789506055459651926892500, 129956109761088358283509922124720, -344298106351861337729836076080, 1592781939065185235580922028480], [-327227367983028097258138744818277329, -235042331221167986432613962214602, 96081498655545978007574673440, 625524054713753642611560881981], [627338336409530233144744412782353622, 317939470165937928176509928439900, 77404085974853854539661257920, 3560031844394055925399468906370], [69375427948326661361750486983758886, 414726280780593274132669181851968, -203183990257594845555068891520, -6366361939622782404884913082080], [669445651742142299069480149423645236, -91634125673653762187145169524568, 149704490041424283967621739584, -5358416933830446447797291516180], [-1049612233463325613469196762068339286, 347620867486744879566046524669888, 264112363554765871844504142336, -3774479103667513113776839811040], [263949416651705631388067884100268922, -119528924190232765547227247686900, 336347176395265098687897709680, -3523922825755800766193745732270], [-204761965411978812562239643371609818, 140856511405460532348671052497600, -187825536983867355660491294720, -651480943570181005326490701920], [992404059058549819280699921242097830, -336824298281659011335088806352400, 173719455254571987543730786560, 3163350392697444083091065052360], [463737919137676142115652336950238202, 311438689722763907505494922174136, 197544311651785164266327672960, 12141786123964287457141425777284], [-1087487472484420916701666822361082761, 123572081075465450724674801148302, 147358964119470883437140826320, 2679266127380291654901628181273], [-135347964918822049883066719358547738, 559705654673454009004730486230336, 259090959384932317804614874240, 5515047302132269905191819353120], [-1204338515124231526654022188939491418, 597833953256309491031357560403424, -238133807268522092249084356352, 1066920398337830306770222666000], [580998777814354949317218888761060342, 59606830390904604784116485789500, 518815530405811425298052176000, 3459102270972711189762926883250], [1393551997922657461117595273731062478, -400807851419920426624964081099496, 136826393905058025211172958720, -1556922623716203300039660021996], [98342981975263418706285889385871842, -220071524827615230982420512218400, -690521605488744611698772673920, -560548600031924326230903299120], [69281166424468330578651876811960997, 729036314031403708997397079109346, 88245945860156293016069207360, 9830955741022605248006894624039], [-1178054721091305262617746263459215404, 144419488948215676050885197054192, 428536534182893696855558977264, -4795113116969775029656778209520], [-58498898645297937324085525289535786, -348722143302987570810681976180528, -218737291381307916935784587520, 634969842912540291488917818072], [-767318352197839440420280247981483790, -236158931476780662972736149633360, -817973986485899982713595649920, -7362008517376104245884355939928], [1189973764211762506288354977310228393, 303033223693248516523457095829914, -60383295108970717524415960800, 3178824531984043011076734915963], [-820213809531828000350968454346842898, 246559615216609531939620799094500, -714569388137710161230004126000, -517742256646480188730232366250], [1937832586789945686215202777712245946, 528633387433127190349719762616008, -74988650692477191359641680000, -7860584300640428091659525384004], [-1013315434323464482189397151163456058, -637343973458809365151157352970800, 418312779969404094175149469760, 1232642351444392860852652082360], [1932892011683956222586240303390428224, 219543517888344604160594216515328, -174247968169773644547382280704, -8730395352648169675529404984960], [-792168072690422187657066208961658665, -900790273568379697275266756163490, 351805623656725342946292542000, 5734446489125107946007731910977], [74325787771769825850976494439055898, 150939220290243251091023374773144, 547546142776926649953723936000, 1580323766331376373223318021204], [1561083886705281487755735200845249097, -244090947338385158555826420157534, -372929132875688258369732633520, 1799103506482341775747949518719], [220058186198589475032260952166809598, -39261777344181939486671089711904, 97947615881886742195026047232, 18252726328171961795276510781840], [1283281316983014534041482369644935854, 225545113941208379731045139368712, 134125299810232821917599381760, 2455505548673870960544884367068], [99883527054484555609563206502513987, -476865761720815042752040640086554, -321311114261751342463133842800, -5571888664792288728025347557715], [-1210652113017642453148127722229313188, -203274455418800153357806887672336, -867512209146283026581970867952, -8112169349064104318268915950080], [-812271829522539712512316992904991098, -634963165723193497165909715422624, 387759249715259989912362227200, -11490916030973283836391074023856], [-578751701884978638318978130269325814, -405875589595817193356643992899952, 563311859212490132379728891520, -24330120519502232614579249521864], [423652497871703794574461210713998801, 506650331309818585750623524781818, -538460097628530992793606109440, -3335127671717134800360987788325], [1938954732951679318251593014876063766, -651015371923889189229904940760968, -94488086841866874766101259456, -10543737079804427539602274111420], [-1216013296306907320134984789151180138, 1231927713548962431836134931672100, 874838385775456475768397354480, -5884663567990302346998460442970], [-1823531144201543447533964047219088760, -752390655814984572266818740713600, -33739985132484253885257962720, -27871520052923560845734540557520]]