# Trace form for 80.20, downloaded from the LMFDB on 11 May 2024.
[0, 1868, -4, -39370, -1456920, -1782966, -89181744, 287433898, -1591441840, -4579780542, -7100508020, 20056632632, -26969936848, 112923669458, 147596129664, 212768978994, 1203763340736, -716221450662, 528757293244, -2961679269076, 6090140162108, -9921227111084, 1980993746288, 23790953521502, 84977599803032, 164359835343436, 267613537729760, -94734853933132, -436279659479096, -13071362002184, -354835406697692, -823239562049828, -584009604481264, 1006015894663744, 646827547231952, -2002480140845558, 4119525082934232, 2840355204970822, 4710719748141024, -6761401576466332, 1136879608627968, 9576909913281096, -17734420867584328, 7458625079753982, 10460595672988680, 19746449484505804, 25570118336354776, 44852063226569146, -101172325692765592, 202188046481386110, 99459985728571136, -4671766155307444, 1232943414407024, -75501098591048066, 99858159147920312, 9588590765787828, -90133798479574080, -325977198070819512, 103623932538251208, 60675360701281020, 30073323674065592, 446737643600569396, -363376231923574888, -445282115432408678, -883840270105785120, 482399205143936210, 2923005091575108104, 400667951593839194, -1987192874941167808, -1211429623439289684, -147484237305293280, 4188780552897531164, 347471356873490488, 816604965424261838, -5034160076781649224, 2666487064308184290, 8242895664485406536, 2235009872878665032, -8434301452400722696, -2048071218894563976, -3883828422533628160, 17855850651571117300, 13118452423161435080, -165058534688337714, -25211125187689775184, -13042619563672638974, 23418335328612996776, 33386169362856479252, -22813573016927500688, -7572723978553197140, 6325446863668944856, -30878767199240466772, 54844754561985962336, 32056555466735114152, -28170242590921556240, -64322798020871577588, 34667963548471145040, 9100489939273530110, 80043719204665687892, 97160541048057787488, -28869485393675440968, 36783414351834606860, -134950410315174021240, -1775717339835024714, 227716759867970479104, 56658474719462152228, -213773089651122812744, -227925349158436188750, 172981131579573092368, 139392890298373660, 230541872570257566596, 483121257158064788364, -333969821956326686984, -205548289122362581678, -41675621934189241112, -157920246140245319706, 381026141167647196744, 647808444622535377570, -488081974616412986896, -188910331992815304844, -809853724996845278536, 133095028654759647260, 1090170644994176863648, -266503490320915499636, -728809890912204276104, -15688088652237539262, -683382577892808418840, -885899666169351427230, -49735890763698261952, 348548207228821883524, 326413172966744853916, -239889029007270735448, 1868933919205059003984, -1018840857154808001392, -1190916629042114744512, 1987554081866012244, 942683227039523098256, 1025801600093597615286, 395103637322831264416, -1098341280950277594628, 1359767610289941810584, 245148394357526111020, -3235894710135001576552, 3354594211666412480056, 6178655049866782157888, -232170228796644557492, 422344229508073513136, -7843983277454754075594, -3693972630081049630304, 1132683905406953912108, 2708936948626121858024, 7492501057892248256844, 5826238589293939329304, 1230968282921382081870, -8099215875261020772696, -6178494353621471731636, -1517117300744541417568, -1740159236161171101446, -795748933064798135424, 24411243605478783242140, 5245545130699298032144, -596918253974045822132, 3795456867613832854100, -16207138491945939064466, -18913858093368734901520, 1039990806630667367436, 10511081858666434756336, 15558826892142695151258, 19213925623501562311712, -2284746843343694862318, -16445854761341604684064, -25450337159708784363564, -4995958188980546927488, 4319680824658211117982, 5399991173052681371656, 14541750967680084062842, -3205907961103103383984, -10519192365314445167520, -8835509227477006778448, -8570488154860438199420, 11998120311900086081068, -25664369194160565703676, -4974118804790323105096, 20661731024949625581788, -21829910941161931091400, 4091670457234805987894, 75144247563078224611104, -43514998131252414612416, -1524654472926052398400, -15511353434994601744776, -55707506170256524864252, 20493168247905918971796, -44502605054604464372912, -11036020773875972863190, 61115368699289956743448, -7107877300540333716080, 26187976399237483940336, 45066459282551715367134, -79469164129414968259304, 41550315725132252410800, -70519197440460704120616, -10729214664514855347620, 41926719390154985224608, -25404712519029722253468, 106898805029327087881928, 13939538210029416683332, 72628147553558321308520, 112696086552970905848382, -86435444880122308704992, -27131818536135644460472, -179904210383863643087368, -131145769732791936097480, -2843424780401799140064, 234688736289460783962448, 195591566141891426478088, -168140634373478993452618, -379667499714582129895104, -36361651876793537852416, -98609524788208139782976, 12740251060370851583580, 215600583479028590649640, 92030418170117606313420, 276050228037590939963552, -15738560616631382951930, -299109650721685472368960, 320060791551588530039786, -133967705889425838548408, 88060489557371098684530, 444849277336013217878400, -165467525720501630011208, 336624079030805074317952, -124851127305235459874160, 8724370644442866811304, 97059144524689228179898, -304924414487446322913632, 50689924299922800252598, -224815041491525907317976, -399657959631197145989712, 390020995503906482726768, -99651125643718178914888, 564882464707865715617128, 263726340440373514194624, -23928985681423246187916, -284150262565567852137294, -701181921021980812756992, 93442390341991066754008, -201776181719793601247728, -219530068262751813335736, 292580109058635070406872, 134789037248612083141804, 979048326338308616620160, 390198222021241611330712, -229579247067731899059544, -559864683364923576554616, -939206731238929848018136, 247655729750525251493532, -52822305656532849079360, -111512159804277447566814, 1306581466211598865179952, 301955124728736836354564, -598733246846526245855984, 652541004730354679048176, 780904567468471003901320, 1165659234669135105928582, 1602089694408650117077312, 149275518042943607806666, 381634493084554819802384, -1642379075933671578934212, -1215990181111537012744064, 36003937907813863843020, -1656594182418173658601192, 1400842420416183506887556, 1037306401239406970770192, 984562487942958961335056, 1940380717899916810961576, -625994953458013905988308, 126893800497322848809408, -651185664426616368120174, -2685487752796141395317120, -1144756042320449294837236, -2063054940349168852933736, -643056970561126656406648, 298510582937927920550584, 2003320078990831366546854, 2882970666124221674013304, 1028917112207124602937468, 2714091372097846052349080, -3778330926967824072289508, -5486078722081402506695280, -1747339238548621760006210, -135108468181876299890556, 6340244972160045185669340, -60605988257236551995136, -3172348611142594351882958, -1443760625238694047190184, -2415363904012221011311944, 3063355875864802775533376, 2121939437355491854874880, 3297100104548453322738424, 2367355905793697750160428, -4667755730070334340975632, -1986000912622826322651132, -3667472902404586006768120, -5464911810232971586560276, 2314987345985409498201872, 413725192782253822470792, 3775134697977547131874408, 1637331619887657657700266, -850498700891612457778816, 4638715127360077182238556, 794194435528040123330272, 644684934145075081504484, -5071149036084985294901784, -2923945271465670188914446, -4426594696233734991922264, 701964743817672980616538, -6392738559003621792621808, 2098619198311871336958610, 6812519571942329425004720, -2194193098337334972640448, 7264943039983308502713424, 2502200675838789301324436, -8148068805636926539397216, 7380939340382095634909968, -11530364769609369308228472, -6813731856989127119618678, 1094125890590469476797952, -3943926570458558878933204, -7001648048110091050188192, -723375636565409780145412, 14822828429289434288264040, -5106560813676068987635296, 13735254574392866240387288, 381790965856447366027010, -4977606519323950765141624, 175052403831730813625902, -32008584793234838409781664, -1481279899411445894545306, -16690361408951284215452428, -9915173725143602733773420, 18207754406234780612756056, 14876365039879464266400064, 38598262788307989323682712, 9983068901292841665296220, 6332367995516545986838936, -16499721347637607762054140, -12956062235482471307384848, -1525040288714344989036582, -25734508985815002941162312, 12072383109468957825815368, 15491171786139408008196200, -16602734842314738598665384, 18085036485122750948717504, 13593582882668714373910086, 22428955410596375152071224, 13115076011570466859150240, 4097835330473509479129536, -12983893476588984847818664, -13853865966899648956697832, -2631264542090572973120512, -20450005581237199206026616, 7738219532259789617005360, 10421011808133857394526992, -35582170626137612333262490, 25655537056535436611949256, 37397727873966601250006934, 46613037003657091103055704, 26040553982021043310307450, 2449454498232636188549224, -16394030003409634160142552, -36769871617233887159479876, -19995916423455550240100052, -92630993659089284279756928, -23071762652178076985577594, 38051225307579685506038040, -43126576971954882638039418, 92223597310818362509360320, 37341548008093897661930936, 7740426256050173834538456, 54680083686196116630354948, -10615381407717430903291128, 13108914575309916751102908, -92721873396588712147995752, -37272007852007571907833738, -72760794755038605541504368, -23755184638645205707668848, 74564193697633519257844024, -33435494773533980855339658, 61540094639298912698306944, 56019602680525756787459116, 15446639489796139270185840, 94897055185739941653878988, -73170035695286062097044704, 5498038363645395127150184, -36123289484561764247610464, -1662830034528072273320168, 41119958679925919550280312, -69781603040268214086038634, -51843014586048200196577640, -12216598742579512644422928, 11262935393875415738729344, -7675095631226829539997224, 41789459283015584788178552, -4040960156850124288639248, -12387918104170820390989024, 25272907134578614148897214, -191390667057958082415225520, 104841676978193381691196928, 29222428527875664222792360, 24078341058542673007999032, 109348359665555436882071744, -162080968535122866826046108, -16080464947037740597528096, -64909360458761018881714192, -73429373182753165557408576, -26662208758409666330369174, -100348080079192775116443968, -64424484161623298792232384, -89316736051101067282171464, 149876785827412788089081572, 124527958069292531370416048, 15865387493129044886424932, 124191600278103807138174240, -89862982294833168924091934, 128901446544903495435919920, -52714402205760221826728562, 116869413513203043052159504, -79072514988783643730853388, -146686976723829786330611728, 62597669803784294711914152, -129858434911737747374952964, 181264734956344231590609972, 89871092674063754709728560, 104123121872237369496586574, 112244658018462522828519624, -20760166413549284794574216, 65666600026843822605205704, -56749630544341859211249568, -157139757009878137576906896, -145457290114598772961604096, -88174376431500048583505960, 63498123691389616092254200, 34026267243887039640104728, 120630635989066249695009438, 240375543313164866549167720, 48401263104644215103395520, -113424335402184082135483200, 106982540105675354281682004, -202510502448870109813460752, -4715755707319971870255872, -130608745728037538352687544, -151130786649058716539393896, 125317421775529299789242872, -148474522156033114236195152, 112009562174383237493266216, 62360716053772497730979684, 104530654201338107480489168, 147653303019232592130331794, -62158188536050300982487288, 133242853428147819248547496, -32926967007886105144594264, 38196308659077833379701308, -127455764701613815962768488, -259285952312513225783232002, -145670221635529068345995936, -320637077653872479924762096, -131635673442682560448060560, 400640912815745026909461978, 202988007819925593675072760, 121650562289893920907079868, 118367018077436809376332112, -184656203381059052429968284, 90729507337016606402433672, 202562776186573682148199848, -254140696542673280229804368, 34928834525278245317844552, -247462466938283079617799776, -395867767979493258558601018, 237508807266593984712240008, 358457063961488798305395592, 532109641682762670195004032, -433055927663223841305096884, -355952473350300642731169144, -193407751120736443796201808, -336300799789633135122264104, 330898604417449883771935366, 584854157424585542155607056, -213635599894576859305791838, 466247413955426637937144184, 48977179837662244142292620, -305984270199287798860833708, 492909629788439424150499112, 274711373004112029967051432, -590136121647211321537583440, -171674256654750211332314656, -149551217540307277509977384, -341400737805547920961372752, -63018012894422702102471856, 146086372967547396422274512, 304740414981749281208716412, -718892493497754131918701748, 889410474784879485210805748, 385505815876057860452879352, -391924065566774474714473770, 863526989081309557435405432, -478452549153848155576264272, 332252606324262529957218928, 387513035095485039997247842, 408170067214842567534704344, -451531690137380719301401240, -476291996338037630886509528, 356721573104928353453289076, -1392436507144583298499174288, 365357088874367764561642208, -527133422839595840014191832, -302965940441313089552113970, 704469692347720190246449600, -186552740103812286613719824, 881007519785434595145499008, -1002993403237198174741073388, -94965496833794963426108912, 82890729438978586672611896, 706220791283049707396829840, 1003389543763668893636606982, -493647171299480908261044680, 816922761882991289498024780, -1572654972488172063085692104, 242048794904552284745545560, -1330508156548036254206714944, 285627728310720951869608446, 159704575966315755171688428, -1499674178510661523718473076, 1222590194021454739268546752, -134465957935211509013598128, 1071661152262191214699045632, 317818717966129026236282370, -27262659997362085592868432, 581398642775743912148040696, 628102268980109098816460416, 1469216749362877565670246832, -306900147061340187200070496, 814664151946606648029195148, -90065109129099156635067424, -328092846410563552717750420, -1068235063021228563899208432, -457979864726755844071005564, -2144856763817698464618813728, -1682227207347098718154097646, 938319113307465644745219528, -904655760242444532651875556, -537475870940742670517925624, 1941295882488309484170510064, 2878468927966147979964391024, 1473702078779684016050226352, 1424164430962938374610024992, 1151953204391798629097383032, 1181151854675085877949282376, -1416014259001079972146198562, -3735814204341337288689182480, -3103524225911407939921627300, -2957652750501321131497864312, -1244168937768075301977349088, 19607324402839911411867792, 109527477579437598178529350, 3882928562748648895449040640, 1204729778317213015585553798, 4000790813693911757198961240, 4582321344568690550816038562, 965300766567123519357426296, 407756742279189051904999576, -1563429866787496635256859200, -3436751826994041756431559760, -2771595025799911270728560928, -2401710986091520514146301352, -2223988012184217099801911368, -2285824345783627903933809810, -45970870311789862571189408, 1002858738632545240959059266, -188784263982127801504516252, 1085462149316393286627172836, -13685752102328470105868672, 1516995989286087237995286084, 2384709799368220906770978720, 1572988864686068922870719504, 956904494498350012464253440, -1123965919736255923907830694, 556259483493811606640677272, -2948352489793724522740266238, 644775871932851875918256000, -1418549249853171057264043312, 1905538628790784176861247748, 1818432169902394745131962188, -4240171004847313982714997424, 1434679437619256066430934662, -8522292798848940662651735568, 1310442975399048855928786388, -2711779265589327278056330040, 2031050874382225228094927960, 9816344764506566690444942320, 58716343575399301622029592, 5890120564834747402030412648, -1535579267733729266579033928, -1488063167743175234210785512, -2691771502946346667536584030, -6816101142305539709795772440, 224140698263862684149624642, -2524604271882966317469528776, 3005712655857570541973875658, -2830020718663809772161624896, 337647467967683334092390936, 2276310954646232501629661292, 95443067207124991066140532, 2432328756099053933883604808, -2079161816435865838621116006, 3098742534095598542771923872, -3995390775842355901316303356, 1706913448573685655280500768, 635381348101586147607651018, 1515813338182350471411638128, 276427333939279774400948516, 1490430349551564694401938192, 7809204530255022849164109976, -4010317633927518636235757552, 2624864685326841085515529156, -8742153821787440151457986944, -4327609330504605031450521252, -583669979916532204059461904, -3357841452952713805459339320, -323308082009155751161962512, -1428539974641562011758369200, -5458356223378624327359581968, -4111970682518749977688951012, 12016451541441824064925824512, 5090075490932505933517304648, 7757645133507263196747833232, 913104755525789604502102590, 2271204235272812907847603552, 1245089980383231619442271790, -14482988156847312277789718464, 4637423007871629663139371860, -6473507064307134975428068480, -4385019285018315915593423280, -5154324579635778354498591960, 2195283690183446610483581974, 8390588625799514824830213792, -839426812779997133655026456, 24041748109418282066814462448, -4003519818904992332458477086, 6599695197944917041004689248, 14436688780016390542482640, 2539208687390860452107001288, -5969857934301237538333251040, -2216557380830182755897434288, -1774949016445749722345505162, -15595915660259895177044006352, 9774546432163798915260862296, -17997189444779416641112491520, -157656120854213532001249594, -881013021884643162387754272, -787230627706380611603648572, -1517830913391544988519742728, -7502046931735008764600634220, 14228395157919989836522179808, -9556203721851481585438912376, 13101356906604315138347252168, -797065610643371602322156552, 6767516776021379458702470000, 5365577048847145364646452892, -5784161955562276110859610272, 1263083814915965275092490388, 451230099725792260346806196, -2018665166037224618906386720, -32863247087493338965945162480, -1589131879774224139710678882, -8279295411424029998035695312, -12955604427541806205192584556, 14732574153027534835132221544, 798170785782818873662612158, 18553801935496818253248336616, 1379951476237314144593901924, -2648135607455265281917146840, 9228330408398318032959730444, 13670293361172813800607177464, 11378070430684498463523984030, -10037898840864571799342164064, -5954342318664901271802611270, -27385149321447439855431765392, -12349652763914882946891941348, -24615820857769262177899124520, -456823722961658209392295680, 8424740099929644780124668224, -4374724323578047346540463728, 14737553856550216022777249400, 19701999680504270791884057336, 13598198923074752455500552080, 17199544549261244416579144552, 27490587769757385018225709312, 2432324641032165605396874072, 22140875545752395331294485664, 3298449915023287320729937084, 19744682186720638659726848, -6220699023769021415271524060, -33591962170970219985163735656, -26405064783498952083416746000, -29810859568906936736483230976, 8652816475713124941912184356, -16335774539321285457506899768, 23840669448652250786137428060, 19031933436190803611624255280, 3661843175875970515065760760, 17308640524237839512446606840, 5850178391823924004521009880, 20075598758737551489673229776, -2113624849631875986021828464, 12045570597628370355080299256, -8784408697623089189766952492, -29644790446401652257326939672, 10892061202202218486320858288, -13004830881220621813901553424, -10598819144221306074501908264, 11573320741845472138859003424, -6917285141349831174954346692, -25158396418329612642871209436, -19950979128161309929729599500, -3878547289950187146992637232, -6914592205041463761169218508, 44069583446668805924373512376, 14459164813374112557237730458, 58533827802746618470841683688, 17224559291646829722873793614, 3283642768549856068236793632, 29630484272013918149137870588, -35002671748178030160713286904, 282589698975877938957524222, -43768829464055846272136663912, -33803447169617801574318542790, -42927125360480006452266701744, -14159607720156920014363778080, -19487538461169685114897190680, -7319569340471418116319686252, 12668604049806339460332945776, 23469717734869969196879929192, 51023783356630179864350336880, 21438501510813925565539798318, 60277443822732633220441992576, 17972584149044985075825891856, 39885888025772771421157679752, 29333113216316075714258864734, -27924103907967052408895812960, -33800564528989901273265434484, -43313748943263431871341260292, -14854142819813502914566463540, -30916864091187846589468236328, -39736030120051280501010307424, 20561693832940413722062720512, -18486473115861678957683952160, 22600297700258249880573595744, 18675201009806276471993858594, 32027027182152768879229260232, 19531356724957487016628873152, -5871963928117821594567766560, 19253093363831353634663351408, 13235168778185709453252164792, 15150213418225964264830767820, 18048528795544547747091544536, -44663296847338464821576805422, -22427262869699113617236489392, -11694386185510967482768272720, -122999653597500813837001188544, -29193569379925017285645193644, -62703159106480113885015700816, -13456763142358551854158724, 47685982063113308826350573792, 36397369442061366764994199994, 109902733427334031816362915896, -66990382589345978288848164, 93818360454261516745332499216, 11026480329617475178098045056, 5779178936849575600751187928, 33090365681903588261343058080, -8550626713610874638583568160, -20146732665836351577791598920, -103681781847220909583786110344, 36618689555885633867208147480, -102589684320205355642457234192, -23956702639820927272531991722, -57133321256408256722024935016, 11299793426143586279167721874, 78650546742920758024196758472, 58370049390935850589333304796, 23442681815458829212628267776, -70260322938821058659288340348, 47279100293242756559931424336, -18321834492978258991566290552, -10920618251638740690149373592, -12238449890993552054095284128, -11519563313672656408646545200, 20897869162497277545679548802, -64196383125390120417648543248, 87618794359026296804244982084, 6410594751407396744365380608, -30282287478764424908929915164, -20076801703869925362518264456, -63859303343985424514943637704, -15924069581057629250304691680, -23022294920729248851653725988, 27034328121983354563527452592, -83680240546750395128836213124, 89246608245344239050079480248, 32307168840573816533108071996, 84238087354016821588784339644, -28722482460242708404152899480, 29635949294879060870909146648, -9298010888413413164264314952, -165987534227460081090232264048, 34427125717693251803838004458, -80656633931487649755847386768, -50700735390209965261910328704, -36332674236619378897642957976, 40329236931409937205166441476, 15373926320932562297421349288, -19221996589977094498692978124, 115145913689529128997347138720, -45274449778109493222413365474, 162646937069538163201242621784, 63858109522628693107327902984, -23772548678367113944248210960, -58520165484018844433633589350, -135015639425292841807888790872, -12868147293656128420144151844, 27521411281054992850676754924, 353566067168064208033828220, -57124903895316786104041549472, -56494254176671775086301588598, -34019439830487831864116422440, 84803518369416904690128956906, 68276679385194266797449669728, 24174721021055656085369899296, 56831092237315945250450312704, 49991581469957014658947975960, -14561184823666000542077917424, 31887096299232233519925599196, 48743851822720450911754921272, -125476589122384001793116040340, -37283189941253810808623304376, -47494590440436679362651800144, -43768277099906677012721411088, -35632491373357552775339634446, -7229857018750253305135794496, 7388889953987271853501351828, -29103328725723674759703416264, 107777700420719587078460879908, -1322199037625248372315019568, 74988419967707150771696353146, 90357270253153399529517766568, 91269611444003436018236838136, 234474498873649649162696325184, -39966825935369287605794246634, 79598118603561541034493133080, -174792323505260152134306382388, -93981123081300538462985793856, -21350585439481186868062674840, -214557725734942663063523071504, 79205878294702243078784064518, -132104538284465039544291575488, 87192345511608888926220727398, 34458084435584533466980668536, 49461701631972364337754686602, 51679314429195154400427650240, 24024177628292316632742143072, 8031850261498735267624817416, 75921641685069294295184512924, 22997788284551806569375625592, -40359133886132845742627085110, 107009221270269578277673842960, 7342538567382577824724642594, -170752786037248796960819996496, 757279797699775473188313626, -117416365569952900917750890768, -130917897410287704417109974132, 23073710879659775917709809440, 129017496418550528310788026208, -134129932327467118189122248908, 23270895809142243111882608710, 246133725142837990569187207888, 56815700454294208088315140212, 100240908422803159216949744712, 63488421016804033045146667562, 77307569587576342534705719128, -3101655687577604037046829972, -55902829348109985391930342832, 96333681615663695476942125976, -79637275050596365773497677560, 11324072178261390917550005480, -76455368241106271862581797072, -3351985843171063150335971980, -217869749484960359565578422944, -168842006517173529458909268560, -69114853715039923782216525208, -179581455905581056883780308840, 58863301087238203859978924480, 125352729017787797288874166036, 188174089831774855547188849264, -143087925788300115687563197592, -3562966676936973779179304672, 16311373702728985764737945344, 55621240015940825837896453360, 211826798226380661778973810666, 130145088357155082744681952072, 185838098381432480880631693864, -14335886355238606648622761768, 37770966183831555328808566652, -182204515624507197038643191536, -47179973888040330079695081920, -148294815691656894271150164768, -426014820480633870202003687912, 56860014646730165277238348616, -121980451556455359104302833432, 200592752180050682280759206936, -51108806863694802754945729912, 207317389958765329333515492256, 71974772901655623434739200540, -158507683686238687657212338120, 141318297265171191113037422504, -25861345221523772384493946208, 90222128978074512557884443238, -201902145986084982146668296352, -81672609094533047668112945674, -35946549189938427627889063472, 80073704196808575970198420368, 269653033045637213915951152592, -273820252959975173249769253316, -59515636270156427912619983232, -242163885075891254081976028096, 6999310299892925376311970456, 217474632444411587481083498784, 124090693349935881881384824912, 62004405079229582043145958666, 340364244772039103612593488856, 267638779027786997897893602124, -282503029016527617166191866568, 204494349527908522887473567668, 48681784789791314733852947992, -11344911507343315931568548796, -110244450960667186897103348128, -15284153430518384016482108776, -131578038656507125509799565384, -12961904105190862704643069414, -461234919357580875210561913216, -154575792513116835515688586760, -156166776965216154367177945144, -206256501526801176038893612092, 255949011636843760937813143256, 51782302435775551949243969394, 44458315635161886301762144736, 155115417170140983265524406180, 244268177207400488576355584480, 56985466165685966106480923736, -21632594206499572319183965416, 226878147643932317577666535924, 10438442978549228666066073280, -466243323162299110408128792680, 231025283669827949059573991896, 38417138175560798791985510386, -23301233279500877703000228160, 64194742630754978507012220662, 326192976670763910394947393296, -298256079686724873482740248766, -110189243773136795773598028824, -103433097287479014901214727184, -215012373114533288602185478536, -34990804690143943504553901840, -373578617573264130317758530264, -292627175658366394320043375280, -13003037627650864370321656064, -113282610386778479945046499468, 149974923059749258868059557312, 371986787029078841417530247758, 348857052217743605491083372832, 193661872211794495202658574088, -118543761450292365390393031676, 124739437673786340263083615552, -400193451101904211165597345888, 225172560774624411842269655894, -209825152746790981948966744160, -13080934354088643420907504738, 333791609146630971360227322848, -688762564001057447950469994640, 68315345170431047849959206968, -147027561400362765802208903204, -72530652762133531340441406004, -36230872534453785987820757476, -128209264738175495164629819504, 416076614627097744726867131216, -366350107404648182202488180264, 382053740675302257580679038180, -199490233747110468121811033680, 72672359672494149298423381114, 130144098889726564082921305824, -113064165066041800700549366088, -182663279687318559097748272328]