# q-expansion of newform 80.22.a.c, downloaded from the LMFDB on 01 May 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 = 80 weight = 22 poly_data = [-294912, -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], 1], [[-120, 240], 1]] hecke_ring_character_values = None aps_data = [[0, 0], [-15486, -1], [-9765625, 0], [219979678, 123], [-52595888592, -741222], [154228324466, 2571252], [9196998050202, -28650372], [-11910608357900, 177355728], [41293021489434, -454003431], [-83519444223210, -21005116056], [-2686542499072892, -11980172694], [41862542063956082, 119562962808], [-31611187502757018, -26985675084], [56917920955582474, 1574613777567], [-6626774500613082, -780913279437], [-722875511871952374, -13478118580788], [408530059465716420, -4778407472988], [-2290498584912924718, 45523155696288], [14404015834386605278, -23530616787411], [-25570478866008057492, 8913597895962], [7396161256041160706, -373045748127108], [-12538883438762516360, -428471262888132], [60045160948893037434, -1529581110859965], [52114234068633422490, -3505848237947640], [-130446760257614954398, -6049970082567180], [765397554080084729142, -3002476548596424], [-1766975772467415025646, 2582284765774605], [-366760711333139131482, 4751862469368429], [10479700490018589650, -13584296370620424], [-404861316065433874374, -30818501144532504], [685189640192815124638, 126660017833919199], [24976296466342735819728, 50680531815457974], [22005330355581724912242, 114679016334424752], [22771793246686480185940, -84230026813422948], [-31998579428511342014550, 190637555490292920], [-90966236203534632438452, 325906037607289530], [30235997556878517888122, 352235972712277032], [-181904058485153173384886, -470228190464537085], [146390874136442309140878, -1666025914469431461], [229139893779653008039626, -2270076131086851720], [36628621475951419312380, -3003283833404882436], [438951469253004930962342, 195580906045857264], [-475350026009208887893812, -3056769103773126858], [1261594297460133364627706, 73995593608418460], [244982893242468866172642, -5034500969108644164], [1696986400257447086305240, 5921145072176342736], [1496525341942913801977888, 3873888468945136470], [4564175410893899420731114, 4331342374249326981], [522186562721089388144358, 44586825725255248977], [-1083161935341254159800450, -196056587150392992], [6209757846268187031172986, -33620355447507846252], [-16268644234948319775961320, 7193136861801639948], [-2907753995845178152894258, 110485046606923786980], [-9741914440985307496871952, -146075580507893852430], [10427368295493617741607162, 8475608228145329448], [13635052180740417572619954, -115763667906843647979], [42776116063774027076504610, 142712124918217928496], [55090123155809976585666988, 78302264140227865254], [-20803361545351999458876598, -38655095340661341288], [25614021266152724259770982, -525152756699234565060], [9276138090737070457605874, -267367347393483279909], [55119271456842979537001106, 194172427765368117360], [-61436810140394361251963042, -823179307877476380315], [139485569961030377949116628, 69562157568649047966], [31657458916459813304423306, -1816271345576696887032], [139420451309733295550042922, -79263036209169817884], [29110403475145162300242088, 11213318106096741438], [-46526094584891979064957438, -512714361883347996360], [-146232744837434267764010562, 933822217960959918081], [-308454107679525309293225530, 1955932328444846554128], [973668553008110372940086226, -252459370968866054328], [-552505608190499905115913720, 3812257837595106084816], [565622787085855884547327798, 499368593209033135107], [527662772764932619989092426, -154324450884978168120], [1129097043726319564308074860, -1059065052296053940544], [-84310620646685550620213286, -4533866789286179745603], [-748665729234105035428971990, 5466628574890163873328], [-1138731117543088038246353038, 18949926217893239982324], [-1029578629731313192416719838, -7617952173494884973856], [-1618839086564667125952883330, 5920267378380962573244], [-3385731452677261234779629940, 25048223590099720942812], [-789109155125882873663132278, -10403261541199297560840], [1511107604078203754177143068, 38593662559820808587790], [-1730562461716163125168686814, -25200456465976810519692], [-2707168366572068537586770600, 22069085948829874938096], [3889034149920408267143526714, -22459969310029376138337], [1149841861800260060668876230, 39057756792111611821332], [1636522585507931012516310842, 14453609609789428907520], [-9244753727962884853481665938, -21823077162820839728040], [-5151292217607298271905928366, -46127839626599291879367], [6650603067416936481827017278, -44921258151157439727771], [6033944418036787057839396120, 120580547573136645803340], [-555547948621273305787551482, -39734297717953375664673], [-2141781090588421717433255952, -181112670698221595171454], [-9183803549707369232371763660, 135450431019445334723496], [-2534156540348148719992322766, -29035509159195204201483], [-22565715607841969699072928810, 10338109660880828971392], [16996972404051853975216237722, 34582069072781670405120], [22585098351609461384062311154, -352755665954954604430413], [-8731777898736749090698240738, -586439619675141448520952], [22051153919643055766516759878, 41188747499454581203137], [93817590266051837962272766002, -1397622186337512978936], [-26667253207158707978844935406, 195725156908646806514367], [62439974986810958570830515390, 403820524821987125179308], [-23338234348898765196412259672, 161320390846339657391070], [-26099193349368805180791750358, 1002200795900041429086288], [91171246221786639963212762598, -227929265705286792171411], [9488864941423516609465013586, 313954531220050482669792], [-41006887620500775917034947040, 1123508353734924915181164], [-124066279158620900589478907818, 1085938996177755593919852], [91200360486188535503046765238, -1088895454859179729409853], [-93209635341453259728697422574, -308611213222320984448284], [84377485876601725641830700282, 1342947110127282096362820], [-78528486996217894434264778820, 567940721459795798778120], [267297027711342306359529389308, -308263540019716502769774], [380654712249165314322651644142, -355388690746583219261820], [-29049307567837275646302683726, -1729827408670303743846153], [-408581938048576328819474310282, 472304812874578572607143], [-121371721767243784907638395174, 1588065705980595401279532], [-192752616833624667519359944500, -1931385093169731167689596], [-328311610761629844561553504678, -224063136233183143482576], [114372690463936168748348823026, 4008998885640495607556940], [182032349642183745378625382562, 1870360677246430907119476], [-198224304288011634305226989526, 5281005834579952475104671], [656204687216274599248716094408, 2286695161280348434217610], [74152917659539174424330957682, 7708317325954235910835512], [-800039479668537438289771645810, 3782254163549045415654312], [-71451796474635233503867215720, -3078433869556473403032900], [-203613047427573706856759434802, 6634305166452645405313323], [1733530698975542089389679742906, 3469602905215186502877696], [-105566547790748288261889642980, -2101979768113191473905356], [89912932046275593914543075994, 1133726513339527915002825], [122150931680479611359906853508, 9847131560966363448770394], [-2700289758458463370008747046438, -1731031257308117237816592], [148202407556635361821493080842, -5177669778570599772556128], [-2237638529380428395103072428350, -10857729852761103940483128], [-1879073274698392029626958420174, 16953507657099788144803500], [-438270793443141784343617806842, 14125973954297747083619673], [2510467527325921998705149735322, -5776286924625105500137332], [2416118407793207017368378360090, 10392920754109361811013632], [937345413301817790205119174208, -31770244064266871423386782], [773714335533532709789592511482, 30823704718864582316724744], [-1819715692022079451575999774086, -2610097096144117105214439], [3028658124418983708571512595518, 31422770358835440477291441], [2954435500599700311628240720850, 12148128384039231477665088], [3424075233082104951403363004880, 32245395937484325747715668], [-1633976856158704381263201431614, 26402677862908687465370076], [-3290073402803198428890472501518, 33500670941203513517441496], [-3147931133284948898110424223020, 25150594091258357689160796], [5014462290070137493208575403994, -38272523681532481332628443], [4124420650486511432786233134122, 18667947093215169608825520], [3191956292703305325822117724782, -29563098880555796188364580], [6852260451070416527812629128434, -2111611470852346299589185], [1126934355047044212209285050638, 68704941632224734667071195], [-9300837090088995516010493936882, -37420210192280138195199951], [-17674172842882063037217085838412, -32348228463030334921271670], [-15545121286294582064932056758480, 40001743081895091602223636], [4265434873459190086555620910230, 52585476129418647923195220], [-7315248845190821211373360833238, 83639623142760711037868460], [6231868003642063505765434066302, -74338906654020171685830336], [-16057458794375887922588949252402, -70242021487187940944985555], [-5470538206420162993265255840934, -107947428869006427772435392], [-1439435618537821262139091895882, -31880725479829344254066625], [-5666213293962202549777994934072, -62826054691427255253941730], [8456946129201344160635044582002, 89981865514346904834945132], [-5322305831028390857600024961486, -41919918285516847576912323], [-28717585076656062163622381800892, -10669043113726652485167390], [-10875980281577461489927129002838, -237718670688837436305775356], [39346188148189858254034635889970, 143266831278590992075790424], [38583200266778147249420571102306, 189487065418904560437123348], [7692065320442259419897303839020, 363499770275200224185568576], [-34236474076639165763419855144738, 66430732215185523059606496], [7146753269369656455982445813268, 110273008110719758169989110], [-6327931369657337202923550557374, 221863112870040248554346484], [-37815915595219984459756293316400, 256310694914966892897112416], [-16922034647590827105106896514230, -381384859387991756062157832], [15350643501942103761412762076968, 168630353161697456935691838], [10256614777248605190008500931622, 212901713544920954738047584], [-34843845517384852503560516617046, 508843361886180140852971401], [92196281553443372159043384813410, -233805057311635721899667904], [-37772441139867467160410662762442, -497109120412530229934643237], [100588523672079475391938769625888, -116891049987130493227641618], [12042220745631543908714610123386, 641028768190918377801570612], [-39631096780120787282527054395678, 480967867321206017029002588], [-9057966252304068303797208798966, -478866871246362281436833403], [-41002420368094234020764797691250, -767301895724172322461604584], [115796023793037689903592297481442, -267260315363820763485590376], [34540840173914293231981495760434, 288275536276427935916217879], [21660435980690841024637195061150, -1442728986029137535091750612], [-32882304329347056650210068703052, 244352747777983258958488890], [-13829063447013151686320394470614, 437953075113813636074775696], [111424135660450989858581615446794, -539109720165727112221442193], [106131216642513204439046619820408, -767744175028410749920328238], [-32428030772462625065557886490318, 2096055126158864018962178160], [180778570552244237782396522453158, -470321818907169688042933887], [200054018267790331878336488346426, -221895922633363373229812772], [904487169530079006215667379982, -141465554823608378735496468], [224053780618022481834203164348106, 691497297030574457055648948], [-77131905636955122841907505328158, 527932723014322975950618624], [-295874888709451615905454691907966, 1352583966841863581228961429], [87625948049401833721305965784150, -918217358977696429042646952], [-80034882095000387814463462049252, -654015948855882628725632298], [-191452391829093278015380424126278, -426643584666667225607497596], [-15045969522194442415528037207470, -4151685831811105034510357568], [10515998547516357083063465337300, -2664191663234593324870621836], [36462960258422902937230888801482, -2673390154045807320633833136], [148091782341563968952649939446560, -3322424772555224400302357304], [72992381090007941798797054384674, -3327916679453733075948814689], [329956954584538328569659864741210, 4181578773558538654351630248], [292201222318476401968711558970488, 2248746644898912181259838102], [-84802201474222042347391289540998, 122981060847234495770233860], [299660887552931209892480375509722, -3618819675173900133908486952], [37235203585839058991765528300434, -2870600289847699737814005123], [398497032372718704271204053793638, 4068797538761145192061151877], [-239346303448994599109376084545520, 3653503142105730291097780620], [-486111436312633928730727766450218, -539873279152770234909906636], [-858800529090918980303798926175762, -466757904915148559963037441], [-55317479328070491863375176589358, 7221629583812680547542462752], [-407629494114025598940238994103282, -3092309923651671038343610845], [641366267565625960044913228015746, -6900185284071709295599984212], [-594575685314338316847951490225078, 1110185275393680052753061136], [49045039693821148880049239544640, 14936739418955987029774099476], [-178317742854670284594318165426990, 13018589084756922847840976040], [575732469777757745629078426957954, -14182922200651108969570541703], [12493742396610499419307151168598, -4509642868415600937349012047], [1653309733672941431560134178056410, 434560808557588680059258112], [-225108315006063742508481639736734, -685890499110097395207763740], [508332694675170346679605945510080, -2499057439700513067957243912], [-33787068226015195841334727039562, 17788706538182461081698134991], [-490465361579500119948014539350072, 17850280777389236652133520622], [1868158654027209674616053216227586, 938929551932414579181477996], [-432981991279989242032755826375580, -12950803845299491537149728928], [275775241095748250206383021387388, -19777764421509858552320207106], [2094865253336297413348078565109462, -3655564493495293512780924228], [433551568261222671983259489827074, 17017675869186599818648200891], [-362367243728471536910854800560322, -9388426288950186771437346969], [-836813687049348601284990374312890, 9434021276758739363831117028], [277103004429244860513824225110266, -126217193622293173147740156], [2937309579318471397492456345366860, 8272997049480322340913496584], [1029524092583313518327449711954788, -4571251945868593266636215250], [4437133838474020861610753223502794, -1976896240918253739984576597], [3752329590640934907721280027939248, 11478116781760146923806011522], [-3099293398676326952976694523671766, 973888453219395775258912161], [2924104386733284866845870615282310, -7439606245833368107480250256], [-1980940312451988114809904902938014, -6483619945579520872794444504], [2460228395701905826732557303598920, -27064630858692326657283219288], [-990233283553568824275372118233362, -24467743145285561133391557177], [-3208890901316206383217816437973992, -19685060135253116612795149038], [-3890264079618528525385340476293740, 23397061170378502381424505396], [-35650604973792756325571501182446, 966709456485629519635810713], [2376470330184325630591680945423842, -4095889202970622836038406924], [3376192466497051661250304379338002, -33471880574086450828708902240], [1213357407918246920572854524953638, 33110812404999166008932867007], [3146288633844720633896418311558510, 23228552599306078313331566460], [-5525530640535749399239903127173494, 11708883180447654396963383568], [-3923587789292884396030098420474780, -47130412465149525206674104], [1192866367040038344552556732677302, 52305333973039395370708651032], [-7787583818050301701545314258051762, -8290825047953731467993492711], [-6345897623212459466198626308656358, -5727339743718227354486118888], [1240703550100720153365749437460762, 22535493305973746819120509248], [2833815450950525735965043696716474, 24498549617742377869349866149], [-6063569074847703932283323714983242, 1831220408065818786604587561], [2598171885324631592947121650676990, -47866185426889659985827945792], [-2777105531496874122140187803554174, -48448235650048829878060287312], [3602105202506447475045425613666762, 78309562656992694762203116164], [-222191173193487433352290139129660, -67866663965940971050609851624], [9716619816728773402169672276421270, 17126925599656819932093104064], [3455535813341636202920596770824202, -53186923076670892823185785648], [-5265756824039976970089536986970246, 56464985431051106456801734047], [8223318974773164710714750452729506, -4446253053733773562167504264], [-10159749660284690474470884771085618, 37092340110333545563677997296], [-7818177297666888836189344533377762, 65268981360005559250700665941], [3746127713936552945992355463779546, 47161383386377659952811204340], [13273049456601288111504450611970640, -73640441660983284619938187440], [-8932064044786748787926601142530838, 117673483859847111677255072256], [-1144573650925817738014025656964006, -171259727512769239750804089231], [3181048386531754817489122758278478, 13403037515400922043475270681], [-996818975414718546917228563497850, -1350499084525507117942529016], [-8162228133237686255276432906530618, -64090725806417903364727301748], [9853159681705868700373794777247488, -56900180633505987779652878850], [-6840225670281197498104967422076406, 51318303389270517923632125453], [23045263940605850851071271675769188, 58109890259558645784968107878], [11366260198697569549053687449726838, 90884879781545730868140691191], [-6615247282929589665044186720346058, 272548241514702726578758380672], [17829469023785991660961813662166678, 106286909730406150964232653829], [5366456712746421346665833851982628, -207499708629485942146170582390], [1357254144939207639906889260661946, -43827257361610840511930294532], [6836706034056263363206926143638962, -143427126650148280479764623884], [3760683721378658750776924566957520, 46373235234716130760992763860], [-27974305543394457915919975787252970, 59758362851722606824609904116], [4573211864579792136644767010535522, 183593980967428688134940906328], [28222880368525545275693963077671798, 101041148577545515306512869841], [-4260595401597378691490029806358254, 96927118995587968109927249844], [34674147951542664104651902389734208, 59855034257727386317890644106], [12124089319759241421563753705291306, -37640710215654946836242768064], [-39571183955832883597718838098642910, 133085888804362986067599990216], [17774595859023105918310112534316148, 159188722172807021460764179290], [8171203882271721161551747423496226, -110053978538682705507548157360], [-22389888722638159796001800937181620, 30283230793014826952962376184], [31737661522736264784520210824759118, -75590306505888577040281396683], [-27153003012806155883175341641695214, -217554698847788717828713601568], [-24850957747140363612539198391766758, -203999788144379759920087376904], [30419628288514754042294230652494360, -23171253050679761683371585516], [-33811142605485126471632709878201646, 4075701810719268200276687295], [62136693825105304422251417237345488, -224881321918507268186785814670], [23693547962117746637904451320963362, 417141554625527278570283590332], [5405439232548591834311074789945758, -356779494744960523642277654583], [-22358871895457891776068282256463290, -175449146796058266051241752408], [9705274445156693998668468346424520, 43845922973803423923821835864], [-32315924729868050268679203945783694, 230995829195126885572694620104], [-66902354049319688597090833324562646, 278085229218921944224617010461], [-19439889228533413563543755180903730, 493335549759373061716626676080], [-9504997091018743507184864953640478, -146151364597174622024242587504], [68564670382085633147911910675313874, 41110979835893023759204810071], [53053613467621913461471473993266238, 232606022341159256619324614355], [-91208409688241033693239550701466710, -254341632960537333900511726920], [-7277704359290806053720397575038700, -268717610457261400233677369040], [-58336458634449939320676255666804492, 180535078635200574092483405058], [92159736130050226430949941989025306, 69546128828302102378279514088], [12917159332288608137301109654486230, -342961308960056698984319425260], [-92813725706764015997508735135424952, 58587687824488445108767623882], [54660340273037323919283346686590882, -609409304313395995740265982832], [-26174735113406432532154460610779598, 887283297843465952303744763424], [-28450111251032172085951111083587966, -143052344457594486288565367559], [-136975694603753870090269386049878654, 34904244200437127388774591720], [-1231966208760653244015152418552418, -898663831435454100983406160332], [70411864601906026602015300335234980, 47022762120068211010262039304], [38531797655716862210421035080926154, 628506940787330551862803282935], [-111110566146710598046056245924400042, -645351789878350398659614746525], [-109249575724982360375371416950843814, -197016865684347291148060904700], [168841493949208883635879216030005122, -361754039809506177771581161800], [-48586233888435885368467085806104198, -1092518933355004245272783240544], [-172321859134311418579238224703537240, 514432581246872418057486580500], [31548028054113270655403084651240874, 1762166080221819364954547320947], [-87847955072185955839773489522687872, -1465620841233459485752028583078], [-18261783485549181430213674662938842, -966821010867138645936898555419], [211652217072498762396682580900100290, -758963247378270116240290754712], [-11899344274554610036095789264884454, 1762253638826867019208092447168], [168142784617558178271879467922832502, 402563741210557098925671233628], [213584991233214048001198286303941918, 295518439951658873127537939567], [68370880690867645843059339664491506, 465597232585770186065483413920], [141637241944819445215967126571529482, 1775033875150419785924048482272], [100298790625664579532520973764368570, -2258645407413710718335121728856], [-72831514201093692305907453960827252, 62560928032600755137410849794], [58992030796920178431700339823841186, -308813375998915451302377866232], [226331512676263626449586790713852900, 836891347746936651263427566856], [-4089353963844744445513560336823318, -1352631356039319805409522723424], [107040579112236847606011315780797518, 903289154492514301751751932433], [-104257468272367765617580248661538652, 559664382493986650256286370730], [110769117832119193122565965003667362, 705344446132455783038509083468], [50397178800509796431113684427380288, 919993930788318173816172355014], [158265422829353785191845058587400362, -108023561450267259207810909624], [-363383926984439415702602375520518718, 18758298091005158260181332320], [104910582461723428968814242198965794, 1169197749204781663501506206649], [-285643099278621868858611188456377330, -1417926110770415447515154458368], [-166346824748944266362180085147560334, -841670757903893384857454425236], [222478799253623018013869872126652280, -1997449063724299850828371646508], [60965326630511964253030952324813688, -36085812756629701622509412730], [20943414722342841897858416107140882, -3098660998752775415747623570020], [7274390956544161860769085312613354, -192716116263112624630268273943], [223562127408507305916055598056001882, 504788860701689405002059176388], [223982050398739335739931280459097962, 2583797395423192607925875503968], [-200395010368889685498756089303385642, 3511243611080629265583053209539], [348715129976324544598551215366386740, 665545532106504685701692985780], [225376532103853140184630038328400998, -53666872619058001762038639903], [485548644803659832009692424204922506, 730068641102310047277636562572], [157181845172472473508848814360319122, 1582977835772171670501869095260], [49952265030408325939399462201595074, 1030259208955544888976651602013], [413362434943816898879524870400346902, -700596478437669336716785256988], [31780463966207476670495445084354528, 653588641108884859029793030854], [-366763169964463948975979918437134260, -1462417100856885476354414474568], [-314457768305860606864656057900059886, -1157265946428193113446576494167], [-448619257331302924818295238568330870, 4074253750603511394518487509352], [-370439973623365038119340778673095892, 48387516517055982248872361754], [-308907441083942166062905398475654558, 3171283581285528021318240764100], [-734140945275062065481453687759286300, 3293443325941305426084133551432], [500147375884663400545378602833747508, 5285567620198679382506347162410], [82559369156383558217113564540737746, -6419154794911561501392000779904], [678512027028967815331935751674223110, 3936566377189019387885299376100], [-202161612007554176146628060763862558, -2430156607974388989916252610376], [-603015197964097799565375042602295618, 4633648618151733997560922164384], [-1011705635999621276161412695915405614, -2051925486433571865770413076232], [1399660871741599573446321334362674518, 1360225419035554096378949445063], [626736178598967378761303644383206802, -7474453458528330477464688724176], [1167517992532051585616108780726781940, 531297754615402438407904793040], [35319520147997479608139431215275674, -2825599687209324093475899489471], [-179384987115457797849643685476836452, -4492977839966310112363131068922], [-1484405630081774383950405686790976798, 2241975876454259646237119442792], [222340640796642354970771609771282714, -299422956570168842451835621473], [-1175192490805890756582635903495768202, -5232568408264444328442401032221], [-179974966116600548140656371230536010, -3120524054820759592815369279180], [-214988478535075927432372619304586854, -10623491444881334662144348487304], [-278633961350153225668701879040105740, -3809675293015402376258379801876], [-1331521333173744068450398304623983122, 5024985236840704829417464982973], [571461856735381751213563855768365948, -3728000812547407119749643923766], [-977187899415378273764084256663578254, 5145971724031946648615313296064], [1211631665286735312119766874167813880, 5211156153985007991478938035340], [-160313282207151237211292684878144230, -8863002618043904765759887914624], [1637454706065432329296004929527092368, -891501943450060933144853469270], [1001202933713924321698614336602983482, -10602599273351219183802886000464], [77690768159685509295349570173188930, -12700242209389963952987945977608], [1055009121032704887928443900478872186, 9168660249956237642666999849556], [1327887309745392153292575868210826038, 6693551661967990092740919680403], [-554821551806577020392301919456184398, -9242321024397355926908816169408], [-325080768869480500581977067602823030, -3898387642682823687049482146208], [-364701402937075511238344063726944052, 11653688059398291671685034940826], [470250899451329337950568275323569002, -6626049071562923579701055311140], [-1008537218800921968682316474557087278, 4237233492357065162372782399248], [263757551770875947517860900738020954, 7151816402300431352838517194915], [1060284703848578302051562503858564140, -7113316590680718739148668359276], [2020582941218359717587802203949473746, -5810085888145878951403816136568], [-1664379080557106994450271565017766718, 7090708739009372700552993156408], [-320063667444854267073388336021855086, 22302680202302709106838678633883], [1016495048945569416311442492578928688, 12317247789399005212196783890326], [373243348077983892466664789423395922, 24781810532836030059336686831532], [-1450554726461097675782362506725724018, -5336940031696106750120850962952], [2922364681320198496149883265343709920, -6788852514756705080627913783480], [-1040183481269519547829295244268061282, -19222973291566327212048832262253], [1027773816498047032725339257113440642, 20098275038710470402306642236916], [2043209178696040308921194326846027674, 8975972787784491178402293924993], [-1210067816617524943576410360103761870, 18686786900565710036782149148368], [3447989184282946165559081410411781522, 5348560159772392057334084265396], [80835072505498661231748239188080678, -19560467469269870020363352722845], [1445557648845877873439350985110061460, -14246447148170547000093222328740], [184013609241955809209403254523134186, -13934654120361109753561360148064], [-1197150808496748806682069442672182678, 16097659802303335238536811905032], [887024716858606535103256380157626834, -4717616247614778595972868824737], [-1406358190333834993606546930508406690, -15794743420719615395771120728404], [1151739320052840711477726666264421768, -16209791854677804799528582980834], [760758976741848451961629273576808760, 26915541408623840266182524278344]]