# Trace form for 4.31.b.a, downloaded from the LMFDB on 19 April 2024.
[0, 14, -24476, 0, -820787056, 14864798540, -454068012192, 0, -31343321296064, -722181861644898, -1287889809124760, 0, 51879382052868480, 73473894124935532, 36761277666527808, 0, -1064191557393108736, -4417201733411195812, 10773613739927673156, 0, 31289641216539815840, -24107806000815293184, -63855041197225323360, 0, -219200204962023547392, 2557307336405009852730, 2662172027973979655720, 0, 2286217156307884458240, -5183126634353006173012, -19995309903793012445760, 0, 42868919292290358744064, 45729663133049254147200, 189270161167001176158280, 0, -265369932957818409094128, -627167100163080968189492, -1048227922470375880434720, 0, 249748411367898391857280, 1494251155359817033760828, 2632732296455102155814400, 0, 724029644533237152067200, -15629634719291168966183700, 6965410628317069602441408, 0, 22826956997174454465976320, 36971394165784621527528302, -6257136580151365293802740, 0, -3584406874106323077960032, -162298735436688848725454068, 103759862824624790541134016, 0, -103480837826586244326484992, -178372120064399401723873920, 292818259345642447695165352, 0, 673940775243590010378428160, -781363600109479145350441172, -700904834820308348700230400, 0, -1886538399231001232282054656, -766208515593499839727344200, 4354147454872998865031212800, 0, -1563708764577905097576648928, 12984546958279555654634831616, 5791600195068600540130627200, 0, -12292930844134853078053553856, -13974688009272270633487568708, -1683916522088046880433965720, 0, -43359191482193415443604585600, -13914563925551368590607269120, 103407672785786602276239960000, 0, -142384583917045013024432289280, 142873441147816769491949878830, 100782649420724457106091722888, 0, -274539668577865429004166211584, -166040172454330922908332123880, 409278053261716222570289186208, 0, -745586494961630729936044285440, 98873747700972853801823899388, 1804754410453947165713321465640, 0, -1825371837423533828188743456000, -123062607213511416597600107520, 2752292471954002780670205710208, 0, -4054034025223909146350873812992, -1029388221334221132711894149732, 4774196460313129800493027312036, 0, -8377367643963827994390692214480, 853630900871048769423613044428, 14300572748788067085779683650240, 0, -16025730707181877955902924213120, -2670765408601013141707543641600, 20728275996363099096609092940520, 0, -35323978147285421310697304904960, 1539602369512780068475245258988, 41193893808344818749158800011840, 0, -40588501674377895314837390192640, 14471917693574493877589740118492, 59251617544960832722217105644800, 0, -69614596557312659550928275295072, -218120363477893125477994305012, 79469505171522394275559984788000, 0, -146807956478245976113685804651520, -6186416549073058710255552493186, 103387542419749721605498384294568, 0, -102991281288079138617598982630400, -6884207040038371812320982098600, 135514059958477637188626143836224, 0, -31928365134651077262832044130304, -3214784110980508221845860185984, 56954435764417978870086775932560, 0, 12669211561984110193428167654400, -67805911518162734761466444916480, -39011049766048584748342367416992, 0, 85750660441672447907730185518720, -104953853525708023766569875459652, -370716199375902091437990255767040, 0, 731613958104756878105086285785600, 494790507951556504658998632470016, -1108221053241334881881441242491840, 0, 1976475809614591663670086681143552, -419546396186735556354639996412360, -1710464195336947245835332118159480, 0, 2031258457865834955602973600037792, -1038432496779259716344748952023412, -3688195159813005114283961677951200, 0, 2822155307529619349594840923031040, 1611496012258004739600154873142652, -3920361880369961278396563375552000, 0, 4889338349895731117958812626732800, 749018444145411540356986525380268, -5723079750858909258167825954628480, 0, 8096414005532774133809522194401280, 906035878763049864617770987055616, -9073372979524901375711997455403996, 0, 5995553203830295775250086719635488, -1362901115678844352510930444296960, -3472547721880771751521362584220192, 0, 2245469616816344912904136909578240, 387218710613865975833753376101274, 1944538631625755141109984711651280, 0, 511329583406777506131734750352000, 1008217123633073281633038744489452, 4345782485355485620702249136327616, 0, -10776506267327521697505888881203200, -16444830838199066713972606168636800, 18745729311123053642017112183362312, 0, -35908371377973913074306864362237280, 3394828421587270995209848232463628, 33868987376695955618710371670968960, 0, -40163351057105478997578268033262592, 8565118416591040940473400354448760, 80501429763818209812029184649574400, 0, -79866596552797121469913243568140800, 20945508699703645005699884291615232, 105606962677885858155418681322930880, 0, -125985305396815675355320934778961920, -19055430480272122872404782875284708, 86574788704700314811173007311207880, 0, -128498252589903651169966672816636528, -64333878018283037097237750438737332, 171340280902136422834580665178197920, 0, -103909965303913825843157106643767360, 149082038922221294196399338766316416, 66884328545953626019248486304865128, 0, -160877165467030306775315624438304000, 61388183155092288579211147505802200, 103727690152496034530519351265446208, 0, -88699558838687102834881840823141888, -146671170770943947089127486400624000, 34382519574760345568032056722611200, 0, -55233169201545475479972368353701472, -104041142970759188551613647541041920, -328378750297808619737748658153322592, 0, 678079243420532813008448994693897216, -77767575767760095733809261306357760, -323897360557596047840177483854078168, 0, 744287090863160035034889294750408960, 349889242626004707894062875180138840, -822734602239153386767708053913258560, 0, 896008139808718356485151625075703808, -189275300692349080928412227704020630, -867226289872561182150521124265079480, 0, 1120599989697085113561879205912458240, -38828376573394396401700843022729012, -1575499263432240658691704766723633280, 0, 1407705321908925441035991865494809728, -121245134198718680906572260063501508, -2207065207262230068070682397851978520, 0, 2117762121252216942907277427367785600, -697885534172764049268293740680046080, -1512801637381115320182827120027399040, 0, 2490695053639654745255298947701370880, 1123359411016079066269536035509003228, -2181448082615176911910460704536520316, 0, 876763498453216901255043208195350688, 155614232135205101938436515951317260, -856800615944321643396403151355211584, 0, -1415321345652022532510561459331624960, -572225526981738966914114579165241984, 1475448189222178897491307354275506000, 0, -2067318503889172016828195761196025600, 1998070250174849680660270858719494400, 2046830604686397301577221401268958208, 0, -1455137461142936304190509308991963136, -1487009059498242445029134092173532132, 7012670708885118743571907412151617280, 0, -7930990530443421071764414191608400320, 5864061481890825711816876268594535244, 7161189491106958902505760876630302560, 0, -11592243499198935898944814735200768000, -6423698664351700334112086030839281160, 10220539467749580388764147402093657600, 0, -16228927680900397736720504357637678720, -6128530701714947707137650351540581012, 23638044244404428306367741814183989120, 0, -14573995931035261118131506478520253952, -189796745046703568374799364566208000, 18054027705855689727209269650013734280, 0, -14838953572189842388732804968139536384, 6704901656245446926059781718531688588, 17413828222804493544948631920532920480, 0, -17674066892942085258586072731358771200, -8556262795585210016331567681734880772, 6500673450389784647778587402563384320, 0, -8750467174716983413453710202582521600, 3539552459378003289516863206647924480, 4727035062190305094565295794012174400, 0, -16733021059637494819168936120507567104, 671312565494122641511281676960343274, 5783854722234786430144737384689833360, 0, 22417803615506785832564114272064592928, 28521241549486756161999314681949986252, -26296143721925168765598633079553148576, 0, 37008560138168233981299497628262152320, -11963567034425697907317176304754917120, -18944413042043074913439420049904866328, 0, 56071532832047747483393134820296886400, 10428191705614894705975906841378716416, -76780147117723033620042828765543293760, 0, 61107963145916087780882212761692928000, -64419399797201425147143907376387021000, -159925725128461719029704206590656076280, 0, 107230412240101501306522638976171223040, 67322211296866712882474883037324175616, -142715070540183673547126134616735546880, 0, 149985594930262846095297931744246533120, -62253143756720938072999508551044613508, -100610845739256972237904426823231327320, 0, 139129569004795758799655344498515878400, 182232249297856791763752187046839536428, -53968262235539222386022936726558230080, 0, 107493057856775332578706860170398638080, -216262741386574319467452063886192627584, -96897792800833855900449188421603947520, 0, 161651811442547670476724266471252764560, 73524036468924413309190022881503377380, -155155036531134541101125234439139288992, 0, 44628155528205164676120283487139582592, -198526329941347095278405079147996355584, -8368071866230088092605539105870891520, 0, 6551990449078987919793057686481947520, 280386271895193515925225974655016253292, 20050671103342146312586867295664460608, 0, -86521329395311999579665081577387229184, -250889436062868624220983449935646105252, 346466802552547627703070270145244728908, 0, -385697518234200779582985878945759147200, 355993531315452140104363053495548083200, 473304050039047094661794212558230363360, 0, -579013412489849206552940914931817057792, -494256408695598005308690492468136225280, 342753872262190497178972241011970254120, 0, -790557331739828307711566610483042167040, 666090477114384590921382089565000412588, 650012548313869753868586028173119659200, 0, -579816466503318504341073983672638955520, -881470885114748662186499503482013521508, 674884138954335508333394202846279955200, 0, -682344649547440873529029756036088968672, 1173075522623109531727438292675914160640, 1068765246768861289337963210213482326240, 0, -1236523149127023006159972221598612159360, -1034921304084955906125029383961136058786, 859335338788483702393181927694914776808, 0, -796907307482695806692214042339810240000, 2027714580610380624336129848291029111000, 1132994807804001915023940740945871508416, 0, -322537296751084327614597490833873162240, -3194147439674807760430599023234569983396, 465967894025744793424697393419399730960, 0, -680020453659343584119350698846111866880, 3061183915937682355321256086538161730572, -122026327291610087834586256042944465600, 0, 195053918590818885118563995313140471808, -2889265790324038321662445399946163148424, -827398501564668945850832442694366786560, 0, 1403825175791417005565208894855635915520, 3737587305607628767507662718732494114816, -2204115401879030659983832375524907184640, 0, 2707737931213217447388138146858773905408, -4721761707349831393770428685690869875200, -975833698160689780366911548585602567480, 0, 2003815306057615877610072433622052128032, 3732840879370849108539743967017115181388, -3282808683555968161442585958873801759360, 0, 2805050627997531802973140395387870017344, -7418685643503714934739367608765999506560, -2959215417539571646571145971646957927320, 0, 4539035075950084473299444211606816144000, 6684556963907785850876745783971138410348, -4906174947875629762979379671577414866880, 0, 5209663798184407436433871661861277223680, -6282491811012117507135831894179443275172, -6205853424316705899652693335013373771520, 0, 4473928537304891259670551459172626781088, 17500529620967666794062471046626882811020, -3573614063067986839499785067158051200384, 0, 8270637366178056874061232383875889495040, -14795762750829585705447530262369017617412, -6505799275163851407269681497542908392880, 0, 1287879044580216388853351578459292294400, 11950009947677184481010984223987587823360, -3978469864084444177785534001817993952576, 0, 96439291916243021893502302212648273920, -20104994485400512299546317342248329755520, -3180371493816547251964980911491761757440, 0, -915138116207629473519216251706658099200, 24161345323771106925465364127782601185228, 3542065963745166358562160497293030011360, 0, -5104131440025095090430019607430658920320, -28845296771576034224213347598899928818380, 11570794623913883382951818527395335923200, 0, -2488248383077648308188294220525139486080, 32104079066735196642812108704525852857600, 7688635406719751443062210907779047668800, 0, -15040385162679985499876214071860886753280, -26950345700467823325692866507739186999588, 13078630042627002226520619763682669875200, 0, -11408244752428676971158025829081582341472, 31607013425549114523040784288790070014720, 13153445863251211509124864087681618557120, 0, -22822390290196382061205817740168447749120, -52426549845989088671231262280670291517954, 19344624960101151352362680916637426020176, 0, -25289871123487426357932034380700076294400, 50870401091772850238014484038322187020120, 28074324790692773510035760446144898059008, 0, -19242413122435383136945595172072001044480, -49076565677029980460606711317532491280612, 35735150472392104950622369122183145338540, 0, -20116628786652241282371921953471411084512, 47963982311285449258834900564977571434240, 37609079258033512192048771222684846336608, 0, -31001765088034640897054290959431859302400, -35537285044087977560007783384019061332292, 7763515475842155221732325310218597627752, 0, -21000944057886654279185176664030511198720, 66651114881401251434666508907171696901228, 10046317236918573600332572261495020318720, 0, 10225556304265296714046115339563135359488, -114268410170129415557729267140316353812480, -22393694024714501885599287736941974447480, 0, 7707157277836817507872826369164200565152, 88347113125445541953430887598975855734016, -12083642784583836085485094486055257847040, 0, -9230342528154707034673751764160963765760, -101840411641516087007033497531395032369280, -6932756152687131785934085260171728409600, 0, 16544372508464541044073924434208565977600, 168890807010661871531062364876036906825388, -46054152483159052836908206258304713441920, 0, 71958400254690362769882170485492964966400, -121269156354884968162851042219488611602760, -48741659620311278257471274082999556935352, 0, 77009286734547405278719873501709672604944, 127161539951309334639861108940548777536920, -122416795685260603599127338419760913553376, 0, 66141850233236841218237348056710843178112, -127701518415592382067023929450426073952384, -114340223448345298805319824000683270543640, 0, 166154377945015065688604761293965417859840, 101646761209291361241101946605457754189784, -102529582029454379239025476842886461115200, 0, 118531679482857546801926414889463960780800, -108611064353757080983413254627741231485440, -73677336938361902732745956626250635211520, 0, 117975214600793169991479433461394100603200, 77748158163240408329342782030985335746816, -108650910184849764132248288348815525210080, 0, 125199499791823128806555913333520549377024, -93972314274116574907649186028305215494280, -77671008097529403347212739727025298035200, 0, 17035681486078017016752820981719969976320, 72484119903828175747992386534643541830188, -28883389882479692804203072096648437210240, 0, 34143246466651842589336905794018476294144, -122372434325163999689392863483251513314560, -72955658680557180094417188277075710084920, 0, -53779004762971883523172450402510200873984, 80765278706215157292087007490676137372160, 20216179099530826495314700718847922273920, 0, -47447446200532301925576197367640085635840, -54536641003591189288728011806776230242372, 11988431295968501726755818619817757643368, 0, 17660131219570284392640047474398248739200, -8330820673667124492138568963416935788800, 190212847389082043357909054649650669433408, 0, -257577200693998687671032017986754237317120, 94367283669271268014601830577663570304302, 360868781655933651976455736119498882215440, 0, -282993609222241498626915435422615147612160, -8454644099431483274483398874176218483176, 312393873759167697708933016515759666023616, 0, -122870878175175548547127572506133564129792, -8105399314963428593070082217693394437760, 435837014999962484280860013869190803953192, 0, -731747840572220101608597197114612513272320, -15525492470446667162909138929961205125972, 342416429102911633185781595018858123479680, 0, -617310042014870176079544066966452902123520, 278228373850201889665236875162724631228600, 389097495670913257931989522590119197670400, 0, -522786628687540243976722156578750643276768, -252214521928063298192038243858377611462196, 440935830314168148203944956710212448690400, 0, -354163207245316806469126852682127025397760, 438528242093174888584794250923343737338880, 318518444591118058438228179145951364655080, 0, -122830190021990574043535424849574563004800, -716896896162318904976386180199017340982292, 638146843586118469192692650170739820238080, 0, -225734012523618696860545572432941585817600, 1096984677690770708041382297992445317536000, 39529290505324925488954427715993475738888, 0, -193309876010319130090886839562811612278784, -936839096066196962252492742993245512413160, 48790552298314618809834032933091836959008, 0, -208959394371339045970170246723978468510720, 551298603936178249691937277268737600536188, -91221491322199884127355597348712653667840, 0, 15064605403742762718741371959904408582400, -1946865946714648656084235209222950477260800, -481772865171420871842498700992061338201984, 0, 1021106610106076156774972516056654948995072, 1446939532799396495219833918639766780678428, -772342444648435370897757314711060031633492, 0, 808145345869568104723167140315960579355200, -1387131330549266388079177844352076427376384, -713393657389938619400964991109892591309120, 0, 1241416663573142211257043577090091510334080, 2878398239984316879633582989027211840770040, -507474332321264616917089962821745434608280, 0, 2112611369406998578642357896715067656882560, -2177712639458297361877645950850916054092800, -2323665569724789517512330348136438953850560, 0, 1511699223844629333929800447484401057090048, 2656420460558181302688567379338929654334812, -1634707800685118746676563165879893755712000, 0, 1770105380668233883686898802812058816935328, -3929268164586328942708995997834600645159680, -2100664150061631041077594559636325888351360, 0, 1006275757410257341916333216054101913971200, 3379037779822027167804654322557374505228028, -1752415405296774059135125267183345187120640, 0, 864977155580435517405525110927292742368000, -3422451094410824615501286157530976482728020, -1525844875486899723000977508918012290808384, 0, 1186482223707407110047851235385961483427840, 3710850922501693412570236142008842289746432, -849706761935170000738651373504924805946480, 0, 1796501836347496792189427596214972363101728, -3571803585893620036038508576209513398538548, -709479459514150896714010821258706568508192, 0, 807235846211434324797824038907780114227200, 5323119672649534125154649873090584689314108, -2278586466065381563971746188510854686876160, 0, 1635946920174482054600560228292696357652480, -5168118292588909941986303478903562241683968, 1018009598061612705854582608393247279486400, 0, -1825877545007073125128767298607882611200000, 3649319870687694648371421489784747809773350, 376045894744742946034476268670985669952520, 0, -1928567806467326213934677605000090077354848, -5999294476362507847452843754574912960612840, 3415540214684344518798182513062765117430400, 0, -1660830157543186815840246973453582369904640, 8608833529239280028473844575761810611137920, 3304183774766408256729752031049868993792680, 0, -7557870457281187282825173932050222765420800, -4759194514756000032233556003638731757514452, 2842656218597637323965492458155345546679360, 0, -5014984658226510990004187791075180741099520, 7254450350229525411574821247227019309427228, 9571682375010010713682931168212256994359040, 0, -3128509720347921620865463255753171345526784, -9560361799662630538142943923254670925945600, 6132840106913665457035374650455056625982400, 0, -4081489992624846649626554007581143445225664, 6781269454248519752185375497507725818224000, 3696850469196102984613968512203380693723960, 0, -4026059630154275904785881195682895091866240, -11833349834065147768686603371697427066229908, 5900171218330249221779213696872587773870016, 0, -7197456632775462013316045234848912753372672, 7414556785967825619550903239571443716085468, 5866840951376942408105984964111947103467520, 0, -7966826727731786811994770690998477282519040, -8932475440818313950484085758140997354342772, 3483239392444107391299793633154107620400800, 0, -5502398741205931225986721420469521477704192, 4269334232382445450957684566588095314598400, 7341716701859803290618681520609614268244520, 0, -1317875580305425787653552031786873443203840, 4408818505920484246625867202420288454204416, 6817811160199461391610522381352269536059840, 0, -5029147313586608943436623732276122236354560, 1153737038666552409918858094082040325490332, -5282741551079021696340909530077336511099320, 0, -578963927526454875002731812864926597528016, 3546502870265967335977168046651563427834828, -2345532605517095103752680729072960324541760, 0, 7056933987874548094604957763194455748051200, -909841386879976677557782533842036276217984, -3597275907595273538079068801072913692866560, 0, 3668300921861766223499438226756188704483200, -5354979660095359091642056364109323959829800, -11599275405778429246259082640993507601318784, 0, 5616641180881733872615834605752637915555840, 1860434003119112828205873062104509193051960, -13977710043602929928230021837962034750786560, 0, 21164088488441978390836043021254166491007648, 4357931192429884758365130472044074444040960, -7564564773752119513242112416611111668384992, 0, 17174796592919290725314820885043599428668416, -8760503733767788907428799626974890662198024, -23594737789969548823732054927863681879390808, 0, 15628611011669196042821844726471645939628800, 20451231241824258732856636689012014331619628, -19399149337872234731329546160824091074665600, 0, 33710828501224876046201029173774148728422400, -8253745144450187480914021946635903290762240, -5971635418079495728754145912081709635162680, 0, 3333086011704726891986615071307740620917760, 16894567128565919960251512124760654331597388, -36385772744834768223242074082376448058920320, 0, 8899448120112262388709337978319356696763008, -25461968271113003951338096599792171174082560, -16806880840405262248390450580914520658662400, 0, 35067619492841127193160066727984949207881600, -4770446222897429186909158893135251674206720, -16739959945989942531100405347819779617525440, 0, 24327585153262522628246449449155872682949120, -26364596534254526959615766455117487874537984, -28212452433565830580300809531405515919190076, 0, 526959308301991080235410200778131358237088, 39725357658381195051434794117582951900024740, -12683935154073727687951583358179502251186592, 0, 18968375222508948677074281581934783821383680, -45925033032899710349810240783982354258863682, 9267686367597357080179635123044543061626960, 0, -10141180520887488374315256041730005389052160, 51177346341704508391030514998164708044532652, -2124480370045238895769575434228719695384192, 0, 1449366443153323054837378517591877384388608, -43653919732255409585425452072877398659068800, 42996705721709447961343241314743660826967112, 0, 7124816173918678756698331714439917868292160, 94355208576214812624634805590456982937235200, 41252780310726431266001974485976929426560640, 0, -54196051961905451087637841519193174210150400, -95388240709664118638594838880449137331237640, -8609651813551251377716817383097309415206680, 0, -67197310104859032442439722867527658156389120, 62543324802219919009652710314931167972354816, 83629783951854690609917276630374533883516800, 0, -20485288683097175817193633673326576201113600, -119362491072067870185030872210360985774007680, 48947479597150747974942764729334965941145360, 0, -58877229344083369763605881030013513385299968, 97664110392718261024231828802883460273332748, 5578710176598176907560680845205152276732960, 0, -101912103763846074884735330588984161911997440, -86130412510557018420640298380170845056867972, 68160508091423423740242612977475771135221760, 0, 6747217667383641724757384306615599110912000, 202318373843385077050641710225998304586647640, 86828647817401096652319526594449991603166208, 0, -111084580470159034477471154083485324623216640, -118595655646533603195244162805975934324311012, 4232729312198528387365382067136219164288000, 0, -88758804475779379741785755797802131255469792, 77061968186674728205218322831939539989368652, 125124356363701583676849246326233095568062624, 0, 8229231515673880536845680658696323332552320, -117100631145240861592498105061216999776304640, 99411143103406972296060688936437923338577512, 0, -136874967085189532398252521909169862941923840, 122083033819844150343928885329153540718099200, -81871958609230078179919588419914563989816960, 0, -90380087898182280647989611298330620175253248, -159542137425952185836744840435078549571452360, 113864970501911426729809865272313326055174400, 0, 70282577299122227365612179994702183737079712, 63824999682373974423309915439925332989762816, 55740239877733050951230607829215481873624320, 0, -2368276305034498986468201195916001323445760, -79896067010610016096300189026532206342124936, -127886592985739776226196325561523768399797720, 0, 36513813877451090061677993276373676520044800, 194485124700276248103574821786234199371759788, 4353193929476732914990456961646807472066560, 0, 213056430173202822890655316544495465769999360, -179607339537682791270657512593147430155926756, 18545162715646887773596639091089134523073608, 0, 71874889395305985906584266727399919893922816, 163675898018881972839279976137949460883072000, -269791157780843532618673514995037030469619200, 0, 46836767290123287327473803394598934083344512, -120919785526573914621402513166015856089756612, -184251895779491089142300991594333517438488600, 0, 264563950822247044421243430607437584869685760, 94629007745714538919594962223849175931302400, -25113346786310197021416293036534373404644800, 0, -39934659498109404809409977860162950954700800, -104267084441675987583433424676703435571491200, -298234128454396294557233921963451265521037048, 0, 96826867858446567231058182030713740993828160, 46388955014268310078657528332489393897910028, -35142769344974546296055739989294741123315520, 0, 466173598268980163617406539572256301753975808, -174584705809962366721795688089375585369564800, -71758342589968490504582834575109357745446400, 0, 201352508899219071986689539798610317784830720, 106158533318439173427077193898305222963532588, -521781840294696205584724946871642165280491840, 0, 111221465600399221777783251509237213871382528, -97943490571596602932961078239765603465523428, -82315643426698674999543036563993772651475200, 0, 440323011696484113119374988971670945783270400, 188042667786487472408563228460182596613294080, -101153071530280047540668851384426028216672160, 0, -39134017232852947244502285205067615923814400, -47185474230923556199580818679642701314709158, -427609484832644625215574053263667015959631512, 0, -252465310247046960192320348284541071816041600, -181376381537325322592979404449451153457171900, 37385227345525554351590566240104782472369024, 0, 539561307898643091533683157476115053188065792, 253378619766417482940919530507565555025817216, 197991605224521489242911995752284055171442840, 0, -261934166030305894893223393462725278736967680, -70964737432894484444739222978357970151342708, -363807225895698827964735422358608007434726784, 0, -516239183778709356735616029060501898162171392, 332667609574318316700084849547489742878993148, 437825824163979264117283001163907395661186560, 0, 485599156455595966815212834893070249566521600, -294772506130132636361431794323703143156602368, 491993388040568357786812378175264410370321280, 0, -389984808583785926080994303262264674208989184, 507957788657070010991362297101040050306106040, -261604732719080595170895475007331081597674680, 0, -605532377431609222499845870570645846094561280, -438386522836322535679197027970965095945280000, 883778970386593165391134044177979915407707520, 0, 217669622921579678027721582195588747758208128, 628163702347868783995797131420267940317246652, 452133543587199464238321943965546508181875200, 0, -883191229009102773512181597001020530098771200, -906642216989971118601210340408660482116819732, -338749467801094298553046430757690153435240000, 0, -931636142058403078322292777448186929020497920, 461349889859802775449249132928105914488344028, 1042767912980958260487562892562482509972795524, 0, 201023524048439773808443607876210464997796160, -1097047405140928128118665896403706678875068160, 1086538942099043892450256646703404778223730208, 0, -1068224788690889006834087441183118564238955520, 653288455080598137201486258711527063756169216, -408334027028118825233706486240906756753276080, 0, -1142259001663069491726677527645612240596218880, -593446561829467189829876746027385408821731840, 1413454089220709832598879390067508678432494016, 0, 657946612076563047449618757896116356135518208, 810141945064683850956681761897152115232990720, 1164014769458445425248978723666512339856681672, 0, -1145350368491806595096401889207869630678282320, -485716249165723847522486755214157182680768360, -849965092955597052496904684184054140563550400, 0, -820769533172060736337770630892045553320718720, 1370485964903953136619116136519648552545914360, 1230538172993395344817764752615339880192422400, 0, 1245710131086114112781793205305734924985363840, -1999221136755719300069170915951783339777250196, 951780136372659487689854781409724430290745600, 0, -1130829342143039539620892642448089813534556160, 1641247096370551952868312220030862365775667840, -1604435659565928703527453356882780649177932920, 0, -801488083506236220029461283558280093072997472, -1686988014103055802865284477901660133120828160, -212510952469201952846434808297164630425667200, 0, 2515474576043372317453227363619440658648995840, 1736402231773084255192923057516605162336274816, 173208597101383236611463891928380059367979048, 0, -486117678261684743022001032646436068721049600, -1259976207914196222018229146076822534148637180, -2656231250212332637800247751926484266241361792, 0, -359231212285800764500479813358862572446906368, 2127913064168454697360088445116407987788933788, 579461048968106216583127154061792103100067840, 0, 2953179439391616005992471956135258074274564128, -2311863054531401143834134642327267609166429440, 727513508911408767200790216465167404962429408, 0, 588836238281192683459532258957166635630497920, 1499649492913408852463079791440432966356540988, -3231005556413503962008621488012541027578636800, 0, -67502904781785956016976987519250426626421760, -1367755004920933277238800203820959559866045972, -360252628390105956063165264501393283640185920, 0, 3318306145593560174667352170072494938696550400, 2430002388556646592166139683351591844328268800, -460879864010751660963398083160115811877472000, 0, 315285760853941052583086122480219310564290560, -2299343339862590784418455535720455169433361640, -4509142037975083375160116855627078179827676000, 0, 414232619324511617020908134094531547158128640, 2006657976383166602640167364600209162139747452, -1999088591188558383130986493825021818480069720, 0, 4622260427354555465143289134521313410371520000, -1885687753189317968005843741767683619649616640, 195284374758836931082413120987161947565863680, 0, -630173761173398281566583626931990860067307520, 1228753819489180823603011746143935002605769614, -4588322755295473465731801297302127377308740464, 0, -88947617082438310221612378185302566028889312, -3015550251562153179471166124517572507054328680, 211189303499816951607297179162479506346156032, 0, 4827811455608202742274853626473998237567896896, 4060690018233063993428156542658303347324435200, 1284354603231767351913911615322377628664080080, 0, 223609127270858894393684356833310869531446400, -964026509964001728865889162342131138534268160, -4266834588323652609401578185812783001033177792, 0, -1827357712208700835953399264204671770509174272, -510345834509941146902046170663115563667903652, 4921198196283461085376793676065852908142004480, 0, 4751931459801184855909905756031601491993043360, -1309679374831871915775328859119204808399127156, 2271983832051535712739866008110203427285390240, 0, -4024618067501518022556060465888610265790096384, 532210093454357014477162242724571679124912760, -4321210618769980057320576804815188704328445360, 0, -4547642243354808955002269650667124039138059520, -125305498914211712208854809398893048332195584, 4495855741975818408345163335708461341231210560, 0, 3973348368158501250536587596383225032007024640, -1077157973069405776624074177826094587262747520, 4757892010266193057807239463727440781990937600, 0, -4870359698239224756819490668169831483384925184, -388887093264976418910806409258693920527041332, -4421201537913780809039256302984289630378581280, 0, -6217053623784533268009213726782631905601529600]