# Trace form for 7.30, downloaded from the LMFDB on 25 April 2024.
[0, 51, -17283, 5152308, 1253646333, 16784935524, 617632528890, 1036080279801, -20586076750257, -111020963540985, -284125982267778, 4542438808864572, 12979297144737210, -80278651136369658, 77933429186423097, -82422717211100688, 1486342522810235889, 2252377094965276944, -16215223654965442845, 14947197735731879604, -61112997003183990144, 37202035461429795138, -47154924262875021660, -7578109729372571676, -574485853840853109918, -69122049143564793399, -545167524062048644764, 3503682752617641445032, 149217376323246112581, -1644855106238432844654, -2751970323330400952586, 5359188114850439833236, -7492906963519134642033, 89132138051083485109206, -113406687123031620674658, 138440657739904977218958, -127006490349007486445031, -5061728488047031864896, 22094433360156499947192, -246470611841036770097232, 482528684255578218973680, -432596130343749348123546, -756924363739782104174154, -4228297635347228460300, -1526932842074780058309564, 2224749839337988517209410, 969212606061771057236478, 1378648063700843885740140, 6795440466643650650895870, 396462803278176354849843, 17299220409976973651630493, -16572186837012538574175048, -28361792217183585952346436, 60591989475902447535759528, -106194138296778718073454, -56907845072529202892637888, -22061648422482550100160753, -60442694753777202714534108, -182836829139987600548639214, 89878904385081185660398980, 128494267294987159199878524, 213600091987396321416258252, -749436728150718707796330264, 820058953851096262577638245, 1075409060124059425963155297, -489603951497692422749373456, -1877533715135843491987435770, 1109278262630382523267241268, 1178064509348881638538048050, -282653737994998387411961148, -1158777196442919209969796774, 4377248655693487184847849288, -6158967544720753562737230657, -8025308003467745124119867280, 14434876696793900526963162096, -5939521896121212124161042852, -14294016444554015811063257262, 418737009704362623460884894, 40210598146949041609351232448, -5529941070246905253384482844, -40943059132552507809175677072, 28733981904795703437872710245, 17826231732535950532313650110, -63586098908476807748155777476, 47362224218041595509914126258, 30181441706477353705349866200, -65755877567339366441886725160, 3904063630708166668867086480, 99805347914804588036272075200, 62018139091204712656826570544, -99658564483508233811842295364, -7295193392012298510882213762, 51666231982012284672876897576, -181904284711174919529943044222, -90450539849297038194750768606, 41279973451729185770357336292, -148927033591803732737438881278, 56399709820444099969063261134, 40721823019008079930543096605, 197077453432899831335084153652, 290816085712969749178988851971, 102444839616713181818209043988, -849988743209643351888149255886, 51351868808735863728355191924, 1007699061328624778619597759444, -651579171468270938469290152320, -1406683670714597291415334920954, 1242408781989701914220388715764, 2608497104925183906127878646224, -954036721518339732602915805912, -301104514506806015603511549258, 2836637859757853434265882806416, -1888870988101532381099478016671, -4820149650455941634960909780946, 4244418023656262990087333101134, 372491263107419268594305393016, -10275085937082920747343932559390, -1123054984459032857653822052610, 5203505375654915138527323028086, 5323641475312088499165743803326, -5284090412490471039823767318240, 1412378025801362593305574525431, 4268281475886684857404694645958, 6461590919773090255795031293056, 4442217673015988689673171074368, -13897371744981138694618821065400, -5895131195823687994358226196089, 15840044196830744931800990417856, -7843115773065743024187505115697, 16956606723144833474571606240, 17327955289776009239448365153988, -10456721768995136029557635080356, 17606902414152984080276277226392, -3537478028414296694831160739542, 35420007473225951162679646545792, -68493286365235539843864539567124, -63183381230592876698042956431654, 68744422127727864113341308705240, 16983221633455860089369074329786, -126208176124928284589058647724444, 40459498269241394799161359978968, 32807049022371404530758750738036, -21271964469965850172254912891744, -21190371013711477701479017056192, 62659698704584291062789955748913, 111039519138208286504875897283040, -103434692576232249700041077551734, 102865419246754157840560510266540, -10090055246266309417246651557894, 82816350256121539203143555527872, 10940341464940733888321789080914, -10799659130230721172478121900940, -315853218591631263786187903398594, 176830147978797488896639365640086, -53060262270509803325824159314984, 203475447922438870253829922519440, -6505057953675553093138955635872, -143050003254934092238713648192924, -117619684156068924556002331691226, 183905939959957184963358883004508, 720325904169804008047103103213984, -566430847336937125114051065448842, -1372818471152345652410174264105769, 311821614253391464265190019917660, 1047097527992951027567516897603598, -721377462217478915212208134187538, 417853650020082830393443549825698, -552389971025082547665899960645304, -64153378292452664326591869110190, -68529309618757011919486484235747, 1264273882998798409783028730482622, 1362909910660652552659321723408812, -1614123460687098900599895565158984, -1765263721042368070108244524955916, 1779123801707177692571796310903764, 600216345826354763789204330687271, -941539641093172668609032771761872, -976983734523911589726074766275034, 173730867445600538592206362894296, 805445351798442814486328419946604, 789027862135302023910953007451056, 1295461785479312008062683091782862, -249989076361491196713170591517372, -1478590529024255328966989599653264, 650581504681356115773811890797136, 2450658230283722337911432978071410, 1292319598852480134388325199267582, 1710452737975773830825669596613928, -13330316039934331092079720899275028, -1430868905261463258456156291931224, 7130264541187853566660875310383276, 3768630452350239319810596790122060, -6293331092225626152535272787684674, 3533205090372547734251431857165024, -1489649649729123976383153850662354, -5893894962040760393579175884900688, -2873957348291667369919883169005763, 13313341128001141206845906977997442, -6826170416303900512939508917811748, -5657860941120772638662082739141308, 21965865259977828232008081853157925, -13446789017609995143101671075042794, -63162043489883904677642032153968, -7473528509214064883048362630999170, 27299964780761313942653831595569292, 359676178352858389302339031522704, -5519147885414822258049251374973526, 825324813608947171402233945794400, -1592172776699607144582196433719236, -17557851506817329519553873524131332, -1110498880967446473876244184928258, -4229105820731028818956804899040308, 24717444586357056682694464566768066, 41645854598564388510566078823039984, -18737669381537248421481229208086566, 9968994826774815747328217493378480, -91085019285392289528810809470040004, -9112119780123195964411592001049266, -72915549656966864146276766938778094, 43566671109919482572651805819307464, 103169532540171435013615831495843260, -13574905602380764600353224563188672, -34557104239881879031467877493041278, -1199208366668036190545557587837504, -98012303968232184157558857435967233, 11919704625939889905246402188705421, 170960494854887360473804257422088894, 76589640162449289100352164043504652, -28275593321209367845498414443781224, -123245050988436418339001064554563188, 80963966885516269404227431527431628, -133118372923634497864985391430582548, 4639886696448183740118557771017398, 56728111259990394330925156495826424, 294518826979236328365242989435268280, -15076832128140122654442187715668968, -176793029261632075441908153757131546, -241749688535743575107539713617282796, -202221045735784668576439262302100934, 152470914837957902488558602297840480, 573000800851859517616721433800099664, 184336827659865803808660241855170888, -54969820530538552672944660870109545, -106001531080165633321873432455610284, -688584925175058760976633651632082232, -187950753545817410798530951808446884, -58964054712414938185943441230977876, 331611808074321063456062861259889728, 373914911141176667371519058142954516, 91209449106084666440823029667182232, -395857112136767177401124490856531938, -561570550555710055026021632877416796, -537271712969857903280865826563558255, 503588399388655022738505069628261476, 297789337975649912525202017484241776, 706052735496294995438247797822246772, 807940140592165633329365573510921601, -39096821837718722940780156110244072, -1500246964902356289349106239546070880, -678364180555290433986304015159495290, 1134427133675962677563335730521572864, 689755960874967982708588303030118346, 1260123422969843834513741282557056936, 570391049570807097696344786188864572, -1686710728487469816028095815586401376, -2613828111518188186964027673265924680, -1219630676169628312240786232091229284, 1025328633773340109775364597163844088, 2692860332334403999632746344951954608, 1201384391207867373445538966656848180, 1354821719709522335038170967291246026, -858541162082109370128918745007156604, -4604112916937863941598739572478162106, -1952728567902522801613517930332320420, 1345330434466741689589435926663029658, 2369385130134997106600230020707939604, 5336640334462117399436765718534694572, -214371571707647408393928074400806808, -2556346661305531457696276077289652378, -2771467488068817277136359029595669920, -5502472421799950501568840592222903488, 408910443148531007098783271904137694, 5636359005627338709305022545988691074, 3648281725768095011727637868600077644, 638796501615529017907648751349312384, -3400787839925475131575353624536743158, -6262624840857321135997612363239880392, -3923997315850657686104161919204617158, 1327232554636597477912397756631103359, 7821600981716838218884006192409608365, 13550478999653916731334127758798725796, -1724259508494538809379579588922799024, -7342675771713174275602261571492692386, -5882360966409432234255193377921503418, -10317253641854411138711715244432383270, -1659636674632834402490033206235758704, 19265769333479920521271176544955840046, 13639973850050533507441464084599864154, -1603848257356864453734306928214134596, -6342268545659042980458984990246916080, -26905611397565598569976093797546621358, -6855312360723552109089529946579378124, 4063292154423923193163446235502301108, 17317371723561224289107504558812482996, 22523610398673123464493196831758613650, 906084424850829819412909793009819514, -15800808511987482835076828275783575066, -14378130416056473849821015991968430756, -20490792400980390420817374493991051604, 8446798594522076461911780270874825524, 21615513017010595124519472548335453542, 17224647488266318772229492879783044556, 13828418306999337102390141464651005272, -9750520598811263169980073840265354776, -30132546250495939650168276182307927876, -28360395238550093165593710268151849682, 13610031176006515356206332744634118768, 15784375347940065454909379447663663928, 31260448610495217416885994753542236770, 8370279388658157839712027325508673600, -39776923087766526696469390727948731296, -39398491383341586986479526194332073764, -28378642450538072485825227800321248182, 19964791793409670466361566303504816856, 55268974998521136920728353767102507697, 34697502998954541528651630321545774754, 26641329839857135434761082683888220366, -2464942327994420086283316984949243188, -91178720928391981394999666041653562662, -23868335993349202116579616552134329130, 41585278166860482373946901046428973308, 22107003357009265200788996476867210428, 65180971170732528777563551139080402962, 3247661048836409231962779792356435094, -20444261319337364563925731864739456700, -79845451016784451329500312445995921808, -51655420913584624955382175562574642690, 24014311353311660701141188598053195006, 76688864540049382832232986441138124855, 42621838959064513521336156240298794480, 18332551471012572538397916829749796452, -32240672911775860635918679196880466926, -112167065391273742598659318094325360486, -40346837614338495579926408504861440983, 24859402893796779118932349986653430408, 77264911638847282696114301502646561470, 79397384335741770598597959482064224274, 29822482668595248288997024661879311668, -113441404537030635422636583463140254028, -51733072294904565756040768462592569626, -91042133996496704767477744844803995135, 38593178498432660805617149548776411424, 118661537192680567963495960869444160464, 60677894792591579345176918877109323304, -24789055201242130102832786121342226926, -78998783812466468900825851889729568816, -53587139929991285023214308664179473486, -99509428044260236049689909777557357030, -14656861197461921359360815053999877000, 80169872101766622609685162681280635740, 213005051756639131131029551406600152848, 13054302600523315350917547837391397607, -2540007047088719335828426961825563428, -80791938328729695720105704260006079796, -111755376532885436057212562883241515492, 17129569546436583385050743170023651528, 178107889332731450265503712382308586038, 124086167504872925827676481567098379036, -94228387568004219266477907277057599120, -67622922556599103442416756105692135090, -23235259520623817076348159920221689636, 29924489639175887565179199835290123846, -93591274669491982335347154264990817920, 96470352196176563626354979547988171848, 50141564889175956672521460212747848206, -63669788504204813017505268655338784044, -39499260303264659773385439853903277508, -34830816580775135842713286255389230700, -51882617738943813903348707026318731174, -56833020236841361189642819305718621932, -58217803211340897439408754104668738444, 14291657168319999657759859411326427440, 32784140671113249964360345168407165078, 145434888676492503263113940878655951004, -3757670386459620202356363169315598238, 22330405484486290794138184363217629392, 52267101720994621042947338436717763974, -198034736742263529055428478728262768476, -54061467169831746404773381636343493762, 21057246292888749322683148577420372664, 60757224272672841135978594404352333876, -26964881319130231014833925311452778568, 217194296881042274770817126902107699375, -57303656605437723472640978412827947212, -264881587334292821530302431078657312730, -297033490313697502037218702470303024672, 338925239916140353571963948455229236680, 140743424180333161972687766310363111804, 309227815390349358735487823369153207568, 260021586159487230463787510237160776808, -46711899044931609577916156464669442421, -265043131576671506367085053147065690544, -921639845284299813868427736325558390674, -42548322675434694386386357447375676544, 512168102466671741116596173597387557044, 750833371570694423116876034186991083826, 574225367408070936553991000701493594538, 366648138694687296009931395612369882240, -1253903600308039102908115369149538655172, -716063596491005932918771487941051989168, 263653977895895028204122316772470118380, -138831910329443639383927510220515199232, 802076984360733845285664179870531510196, 473659340280641601604191118890721481898, 101801771842599277480618658209926881784, -682454480584437303955722756500359565376, -1582975794178237954932151588030177593468, -447796700277174589956732467527880393208, 656091023907317146171802081224725950706, 885839985786880879005127334487870440460, 1425705658236898283131240151785948881228, -678130880565120874597733795021504084334, -1118525464354203541094211285075143341860, -616974481929811599262417604207063050920, -641221742165553922876745043758484575190, 781474183663837990625052476498429329914, 2434295198461870386022047267554353742880, 680258832397195607610039620327114884854, -1483387957132562674705940395926301675260, -1858302878391165475517220399258317604804, -1860383589389264233208370851491748434104, 407551810087196360579893375275461428116, 2922894510172727176380003822166212313428, 1974638419609528339676312326968819602574, 1749670606233638391739847949506571468012, -1637732301959629006650913174545384486192, -3150908991559073255046265074252473982834, -1662509969567750075755327896257957115558, -2585542729580772785400901659079435874214, 1609475135591394639264819812501940833964, 4958165280464754390587733539929019465952, 3356390945752642234998511662025223140791, -1211882379075343049259943909152609594504, -968046984387337060012353055974481233756, -3948030550444894947004731909608754215928, -932818669810048696286501262271147231266, 978777323883707949730281886725307482600, 4718517523333600287169747450593374755968, 2251670089401981084456729579513067394097, -1353588303176530063208673222387337710186, -4225821827929425082866850604818699378875, -3295004227363926182090860668831068311728, -1957837333317643830316836303393395469522, 1151934135258788887303484830056082003866, 6109791784563245992424047989305930242878, 1494590357072696792145715438540348386828, -1248792235093329033248719181864898859356, -3447506843177730692644837800993652557720, -1896470898789777859995423112896444525030, -607484834728136677619280857876957296944, 2634172588859799348134360038117565145204, 2894011739255825090691955180432389702822, 2620271072108277445288420505319585846666, -1297146827838067216499572588256734717248, -5287895736157102331990641086282395990934, -5694835204552302492196309805816225672814, 2851815423166380650392155024803766600408, 2409478368936254273545872259657224451980, 7505128528416384991821467990794262851332, 3346638895497956404544434183437795063150, -2603177792728498090230731294682733903284, -4886900731758036113903047148072313052044, -10287827688724574468329713901527250060314, -804696416254761791309133792585221726736, 3637750871227817065354599109401186560730, 399590903791385614230262362583277073156, 8645831496614250362918291887049276678250, 3096681003323219517487569455129250645738, -6211031027973987553452105553897347073320, -3592653623475642180440592018398475439524, -560631869061391887992770872355268773344, 2275673697436402626539863293416355654864, 673872262124052645358247244118206675150, 2884411774524980336764793792114818469304, 4571852719523374351498476881389994418141, -3820835961519648581547304563310609677600, -8543597649561525961075638213849692858214, 2942163353103857882741632826917831215660, 8665839478560268921359775910851542913896, 4264363124368987879906525243199525634636, 2237026786626060375503236908903335861214, -81049597868352737206031118843552963804, -3727803336722541830298288420717365107188, -394799939904194440981133489206267050024, 2518163611477501874926827579385079141628, -4949783717391939886631314675439949127632, -3428416457975391889006333915422147515076, 524102598208672198197142985742779692968, -4271112924429083644397617336378332498276, -110055907633501587956358800816227514148, 1940478993409699226307531209397320248740, 4434416974290342586357758416768287009224, -3135156414708872871962742754131790983066, -5230786265247720706361586543472562783400, -9358277482702606868145552823276891553121, 887560383206951416459884452383441344072, 1302327881134617563114790079051083204570, 13109727519730163904130471684467548048556, -1825951315531891978442374503247515993552, -526021095361079668511325531406443568500, -5271952653680075277189774857504967170388, -5923243861037727155359183952130594256506, 1153248749387776240263305357977727219631, 12518184397943129608595393948797518725310, 19171278809869739872155233894016956778384, -9782062009349588777228268000542220525576, -19373607681572276468600481119559845322624, 385963138282306586309169003996558094692, -11612731025419817304690606067419355882764, -3954475141905889405771210748147215560816, 36765640112189672487692481936030161613216, 4925204208963048663283167366289517483160, -3300786990389760766259460814936318395930, -11134553982945877340003047168651719195132, -33152824962858051887516310802673194350558, -17758657051667999142759149052455823835992, 2108727185988589608567550174320583701804, 26633577672894790805735444223022292398932, 65173072980173459080972937767215471451824, 815990273778667914082103076010651006659, -11394869524336037053242898788939818649042, -24312262231310739909343486675405337903916, -31013269471996652208923084621920278746982, -2339961988275226081774741890844773197700, 45699275295985784814086563488370530341754, 41430893981753366325503000041641879753612, 1108879645053502153183276750264817394468, -15089942438148602912886393925879435004898, -30489705257980657883830972337704399480428, -33419408529965509146372598483788817987404, 7369111226473878080872108138617144996024, 23301192148078877722108346514061811426832, 40382339900046195988536363439897539096366, -14520702493005795195170183148943247228856, -57527354966359376970729984391249784849574, -61243091193115170599149212699837175815960, -54459677158189873862810703252497236454088, 19214336894791656424265436794699600486220, 87009906251227153059417258636970121826222, 31620278512777723048212800128009781919306, 23592117760726420750201749793170981315552, -11483624205478183482444634220587184450112, -108853664141332557155467940398401312175104, -35933666433815290649597680851459184643610, 43632157711544517594869145100093999445814, 81084856612822542206730413684183983838952, 70088505969707486025535652883529221578934, 16240021796853196963468443053864270872560, -64059053594816770859263874502587649596928, -93425584111787059842562254374545943872152, -47252597754729737481303408150084564217776, 86597118426987605086527570460259563932348, 43011458023926153117848494223871214514418, 81709902213625409631280218399670078083492, 87601147642414382546532482104231157951748, -21383835148313428006265618759435870970912, -207415293813985540294253200944747949430874, -87374720693844572726509327407949404330219, 61170024364642964129579719488764634385728, 38166552608692785774427969372226806481736, 105906749757214911651194714089070480595174, 78363559656365555873014691828432654375772, -65409666932116839290887291001451446255496, -62514893258030881407125186187484704638172, -96036807743805174787155399730342264609434, 13270249154998811726013782022102250485768, 109113933161302260264776359005400249369809, 46049599120622256968400572722702108954512, 3603843834902479441180896784323856629837, -100139410288462557104909892170743219131336, -101195919346032293378476568480382181959360, 6463490119149172168512826788980521350576, 123813038735251895964824809897915303428972, 27884823208626259219351629401621614144332, 124921806469483077697622763783544902659358, 42572432858958926993820842631321210271500, -70731939439462876462649437430265421526784, -149333521349327526550603012944724939365564, -139852676655545744693732294556432265656870, -26651896892855264500669548718726038757308, 169804567779936995972060957931677738055318, 30399080114065115734543861644316916574384, -19895479909012427672354024678816357599134, 31871565068494325202868924635034317237432, -88227228320826327928422586671728285026452, -71660102616375738240845780274250517474700, -137977167025888963858964446377509958897546, 49134677243616274901484008706026514866730, 92111701007155157741099965100378140443684, -75466123189515895393399086199589663996820, -20894458819209914492671849919352866211546, 56093563637943898889709769204548558730062, 74118888261504927977780062397615129066616, 70679789324333295927300367989840288606396, 108172851826151870402359646096303637041244, 68010073935059012675597070090790994117922, -93517717945454442664384912279008595238466, -66130503655428991055364557044608627058164, -111991400682441906368540804305163857606530, -24014296504539574360315056776730374861148, 15338460277225518331072980880510122235932, 151248180829832990596459555578272320127808, 131611302881952972618408444547933514497854, -49058172129626127105540316459375287324696, 63630910536576736889024953032696097526346, 162686328542108779231743392743527024616464, -122747550550622912157329999897160455891472, -241883534396974134756976381920372503074650, -78082248379424500379120347247171312589150, 71211679824494599434796718297410111925172, -190992457521643389540149693531269124984916, 5800232853741249338177589380842583640114, 467893817780022468312005873342352406655316, 34341961885106862330376205453625053784054, -176321003499725050317965852539092193817016, -107318762119468530797855684065704232532499, -158301035433171515251695740130531545116524, 43599684736795768830275770845115600604616, -56922993322131063498874683384070292916000, 271014103050228967848260637761613222089472, 99566027025062297091754609944158039263476, 79824775599107566170267255471922363759800, -269402364405416595855852970043439780327288, -475334774127496925336050753745390538052032, 148714940749866593752315415477623000294452, 327269894994204706361371191717651161359056, 551831314097491570915643688466430158773900, 206271930367927403450783292014438872002822, 43506219072633113717548857378331965594552, -397257355915738686343742066917486228667352, -662293045809172672828956257174226396299232, -366158140174037857575072373295577952866552, 110364939786545239128141677726482426302186, -347444006040342773017605520627072489428, 925015709786476169843913786510999610592640, -246743680071275357966742057706149474684864, -709283379230632682027265353226221889599802, -351881337283760424038995619709655694037540, 351681547229028426621109859163856126939035, 295484707213642443903338131984620066653310, 14096711812820502093833575453989139615632, 437554389829083469738036876498732108782528, 80404779982198138748668779727765792526712, -698030468809370655056906918951273914481616, -950197228179673240262204983068001969032054, -15215084858005749941672897881187811597588, 1356357745347024064752900422944949739114822, 1079434949733219442178832562880978273565990, 571330804413651888860333450865675435749502, -346785051526929818402941311138707904094740, -1666853911597310236948888433690574246052740, -364192709151977796337846786097480279606148, -270806807795202431013861681415583668706682, 295049023185501964806743018605639318324680, 1050542056623801527233960662942136046054262, 1042745591722168323936504467006631896971350, -232754701004894970137651364418648729784754, -578344988652164391534010925951833887090240, -1608333470126933249219809687420122199530396, 768774379625733410171241626486624356352208, 268889310397061725490295052060007942038326, 313735791736712276285176502259853489543104, 496064461441504944939793666264915536340194, 490513677669391296580348360927910264511654, -1380991997962301282191488800555578437615930, -1640760372189437239184212392286110214972464, -102801462062114426834161194630893905130841, 544283577639353622439682843582069340141084, 2394971693170646280291312368327542964125836, 382961910785800372229731225173871735100418, -195688710581478429287396048840761923146016, -707323146718065690635211629928422346358602, -1429328022496599887396562770143383467245674, -792999016344282730442446991526428375732340, 896894777190672709139639440719157182341250, 1815365395819524896442597972496484792503800, 1842821955660056516840489955648181344134841, -935175199544933598373678013389664388740688, -1502361822160959698903783104658210084185896, -504656332462909426810771833751527558469872, -568749519349087769028847462893727150222434, -322978190831954848829153768094476368070820, 1201968561378018726525560457221880042855300, 451292719228548359614278979168799476060164, -1320003294588340276979869857259495404011508, -375922694385338720408270133777645714449472, -1297482749260672547513377700942687008608300, -581781968550916542362185573522988259257448, 2262697238957080094352564412531964581749324, 1235157576562153181522270548222471729428936, 215079927215320114589751899438794083682779, -1173085427184927174233460951089998746758190, -410987855801486437021608353753273296815276, -958849626543026546907767153864613085349412, -1677377191456286011068758442724574455695024, -56639936398898185535876460698173672869186, 3714003591062175571039454279497997467217226, 1466200640825747231563744208936097925106190, -531525042651525540557204918675101285053708, -1177355617610784736949101684145560097611104, 316723111378940436799832494218388949110896, 242084701191103321200070224333168405275016, -194009369348306647590040837170410224688346, -965131510388492794177813190310505631241252, -227570527332088178137526133611787055827426, -286427553879915976123768311204585509856048, 1193475349372955536654365291637547144539944, 423825452037756582154632360060415647418440, 376237102041011399360375563818866749770342, 1586528215521464142308785441509278715379380, 2151545436233066573320306645836276340666752, 185972710902362855799995373742476624089214, -2649602396312670656078037794658645751758513, -2140438609272804894728537557292068137443856, -172773665551558585713193755311456003156268, -769832876920536564194347556620592267720634, -1652650198435610385943966290235902034614726, 1550527845992796200408447623291653163986504, 1774835374744791383669859769206136842572628, 1791866417023680884850395326194240698248815, -450934909297916129568308398038532412417058, 1231159346077280329592497105057023572092992, -467989726040948695394326708656780511921908, 435920174773631557467505387743864052167324, -5083366850498176151973536142277996058215740, -970538281476977878483027125090740534633616, 7254392840806060884358310159622574599840, 2761476020246357991363503407585387559635158, -86294292822224317980210791125638052299846, 853751946590617068137485910114991785751900, 464968988263308005871825573075382902460644, -3156003329271789214536445290214347728041512, -3507410421855181835496366660906739077354942, 1689000574353036966299723865661808093980632, 1347273527990503179762487134678467774410200, 551479450731781234646233121721842429266074, 204518184267572064579045004116689636911836, -1452653438888794784523613797154978349645940, -4286874073900417019925499994576407250448120, -319683474917426574511908182692003696958706, 6734870997842875886969431850829616510100268, 967538826896994606881378276788890496363452, 3612647935850887127020622309813763739101540, 2210149807583520359860605769026061408264512, -4985181333181189523834592017307047873744376, -4791434820973259504563237563262671952621200, -5467128824406981174592974311107315004452128, 1398415904745245039012981014096808926133274, 3002548751431897383334761323440820527354752, 829917909867587892887917132152561577488204, 7200534114101681303021394658486506822408336, -1305382483068880271464701457504964648059344, -2206941289199114748763263151323027363919584, -3419334765099140500684047079199240315797458, 6873792167067390700585760622114587240021568, 7449711179153969745893653634465487007133376, 3266192547030055084144027222282291504314066, 353687934742739568404878042394171954364912, -6641435194410735261385234698075809503121154, -5637129330591629605724684739124929547468770, -2863728005938800180800963056243585393637250, -2549532578468279299887845527985108309476008, 6177673748509668635904584141128655559233658, 6123835836681730176145894105394188032703428, 4816152322147737713821695413766728078510400, -3318346752861087934347565795122082302180072, -19165789289780508333574923265387474024285782, -6519462320691476171492427394398960384109752, 7292623066659829085884166674356682188816594, 6648773488606236837654946343027716156140336, 14297638174322624443740240591505865296162344, 264526491129219268037916072818295268368816, -1549384994465249714228783546396952772154094, -11827433122926126339282045045271522747775328, -9929181350815861130180321623042588734100335, -3116644436517588939553462666540921041872616, 11590012594622896092749427182427832160578638, 9226490460356885041260585016772775242147988, -2573347990016868627123817630572882031795674, -1474899205187361869374289644102176209970942, -12409320846977531317383527099369775334561140, 2240838047960449792095237927837730048118754, -234583219047127502128670947273839657289584, 11111125734044949321096029433468854868794880, 13978079619057268251091564416214916014176690, -8117471784230470161900794108162431013645472, -14259936383106610569070611446047402821227784, -9630161568881837265595229127163530786915546, -17021875414937733563066143488472403405657154, 1981160061492766334549202867847141690363272, 21726622445163802780846858686047299069869477, 17482959363848365846833760342303544494668210, -1751724995788319321207635279101199954869588, 2629239040773381732855226835696036197366200, -7883688212166855233728917405143568009482304, -12022465803259997373269320727000344316363646, -3897146524176306265201200362628207383527656, 2396479147925734865726209140250756879458180, 17896713218470408223062444758174603172687152, -2091713536155619238040857923422874037091960, -23126517542208742134097422903480667206989130, 4019230154358130739564982922506934762439652, -10666573526132155877481279547733532964261902, 10387905555405688926835072800799131122990004, 16232858061210378200337360556728536223264534, 6418828054736856185597865584469316101565116, 16662521616097880177858446230722662703671620, -8909345841069170819370266534770650527072448, -6194109368732675662953852498210673724867850, -7900427013521320107288687148634509924540650, -4982970325535725823034357355589156298581184, 4419614013673802015850802309762846282980864, 21523141341181860236199651674472177579056346, 3943262097190337915675053215931103197473516, -557785144721395769981777078726935863039756, -13086021149467007608796376640878873698154048, -14456540246330874738237821013642804715200318, -8122297677807743307884192320702098245366172, 14996899719216905265922132651247864950500792, 3377683588588822180788089136662204763166260, -8899091948570687480597112893969431769499912, -1744301097455320632460272481043709934319268, -12432117256983661740834663672050533139999556, 424906302863551774708074482460710638495608, 10528554534414827544086769202407279864194964, 13671291654136129918657380858308515193735496, -47584052116949621460248851678453963506612, -9358740795765341530974171437093335082357538, -2243010193105945395408104845553324041845570, -31765800891862243677517558248901484393319624, -3182864216278497749324326340757262052131008, 14668814392619801413514546944105144957245813, 1055849355460099544676851423199911594007918, 11678877618872426488123880440635120197275344, 9054732395995013985026660688436997579009436, 6156739516578209447101528783722945806404380, 2242991837684893481796065116886220603117900, 14807786235878130109243198132090775827738557, -4939766897304521085365485180833671631563274, 4267844752589877894971299378057526706870798, -7520252408372830887431030487234025582983858, 1016920652739943939202978408317573006238592, -2713471687788700492794768414371041122587040, -11299625119447875103104816841830163292793042, 3958311009876838583527256246880457704351522, -10979134618920342416374433982522453080882040, -24541553851101511121423844364220224256382636, -17429475192159443034608117957030523484005000, 7343924080161181819871133880388655589337844, 12851469858846695686962509961125003664315732, 28343894430877317342296021765534814224293632, 16652913295739338543782950459282964200674332, 23220055091714321357292258656946465012465876, -20561157800030858161732468674168975789870492, -59993661486946070278669764923753234799226020, 15128616205565183666094086555300315110286202, -3374529948070975559208185164386545920531050, 29499065713706394966449327961903926370405972, 9041315485603463219022544261894242526692552, -6026152159338880172528221719607746799460268, -53569902928514792810751881919071243897287596, -34051635966791961559048845453187560430918224, 21792907929471398012948818775807332220360526, 27043231122956049902580566906241114170732118, 43681221443625275855853765310493885464769700, 21280086066910185135378371130438470665940964, 40761279284336525833462566361607952520778676, -22221228031738932191577256682854510178424840, -26750792413525067341895130271119262744469562, -5592972126419119441432211180368315212099768, 39926073112460899798710959370243321022461456, 742072531821963431305444993467871584375750, 26076550648444391213954921955924190119364227, -29838727006774056745471241512236321043936404, -63208609427333871244942930636578493418117568, -29500389202311029782939502403631028559453114, -19957890094199226404130686973278737626087966, 12025847059227271430286014095752377907776940, 78215141063124920899769085658666349274502116, 50855062796182421812098418598526966268286400, 1720750878713800454243215174674982642713660, -47751208168369671286590939214858377500936388, -63044617603237644486599701531118338132815576, -10003807699053113219720124446744328654949686, 24054479959249623310991532548214350951905866, 26534880972368244220487120815281721445735328, 22828225747017252479079302375473805754336639, -66806011346055327535883433896325832502822136, -42091985695298222252578577371580982541028406, -26130434353202153015196356443015324220101488, -58807853611649999696883068924341018002665901, 73931225536068735592901202675078678660277854, 156125717326882810614629888835729019837593768, 67755185192904032557919843450086818495241368, -64444382373156844479230170452236129295499014, -47739183393664413137367157411316324421222888, -103324524096936144403663642021698645310344378, -40053528260505099135489328276495460866125132, 1973676727929196496722796929500841257639294, 57312440988332205494934647355872307585239982, 51855904088310771513074882448312241786541100, 12014346586048751440486479176173724543813232, -62806202969625126589507200665080836604130580, -20080288064208834718970981780007959604832944, 44066088662318559824961235296203712153702228, 78777669874321142200463814477346091925938640, 110430499223566468981140757501659075284633868, 43831809336253544127683019575719157552598306, -92472912024751005909266761469631797552250060, -70992172954660141974535464220979552228316660, -109936473605769172072207461343389859580068176, -67118477734240043625961273693612388258975352, 2000204853728159698930185323827629240228084, 83879093579372818335858401750161279731096816, 99737015515719815688487528237311507208520928, -80550696329813827496040037091633984234745426, -90256161131109630343076282737312268203597152, -24786697676186677619597423721826496037628656, -66169437474748789641621438881115628042221546, 23647948479213882239010302179846380459018552, 244811492848575548937019585698259377192551964, 77776630885821533338144771305294973713855372, -43753496523244142216904706240025005846322094, -40033461504551185211018755283719477585644798, -57391364082399454127294032576434041678167824, -65221535525534058127854499452683872256826924, 146773500084581891434946667407047265724424404, 99000231525899354481017344750121889316953822, -19147999287453538058534557321113734385577596, -54075323515137339627127964962501272798198696, -79901182385782034197759578786956808435454764, -70424887466401158905966975443647835373776020, -5966281297675417761870064739726156656851354, 65783157964833213935135283208788175484897712, 111682970241621280711603268877605625904366554, 144961447088546259405189112046304613702357938, 76641801706464645501600146816280344788143600, 32870941057103867133310096584412169426099148, -181501516227272742408404624501551822545709284, -27316651392603045335817707808528944622412464, -83911518082620784137761522248960960449829698, -103375092400278438946969887924469408982616192, 48021179180058791650047114216001333942232010, -73066888076865782173238181296385457487345730, -214787890669147825698922950687225353330850834, -61236575021389120299975385521328898874419832, 132742016029295521197832192084061488336555416, 87904282118839907639885990004846994009543404, 14466241157224735871647701883388061720610056, 41876616731402294037829509345444708176738574, 158812627288010455456904207904407008631118144, -58753868721315975159006029916099134127929925, -153942695953964547188752668628560678285112644, 94758718208739646560915774484655452741312884, -1617308252108216019281988809317594916441406, 81266288056012264553457697782295662459279480, -117757995221582439639173340532797769946724438, -147820156168407594075311555398510587690366504, -185864501083816983740030133590938516064544117, -32496581704551252439171777427869021214713770, 102349188503003572774235137364355672667167804, 68528251975981040759418494495371344654221388, 44488985782695580831694632071419595339592914, 176306787455560900621320511665394974141571392, 359406417073200998409383285543260933555448028, 50916699629274490369896328307546334626199480, 33331914682119258469752655979026070743459320, -72362841236376625569545026871483179522123752, -177000638442019594124429862471838164380790510, -302108724789564353566409139380493155948827992, -217406002634742523004324683668125383491096000, -217385090345478784079267213169949876195666182, 48672801681573655355222766399400935026155764, 83007466129760359521903146544015503592120276, 89223887441463614432503220952543298591371660, 163193057075636014163151526814261304917838240, 220530483848752295052397619906124908757341964, 162871925622666190934654914567221692306881272, 124861208353990533943050024196617545851426152, -4710782518700063150202871605030443772418896, 206657815847212655956278398834818031028161772, -130053850854477133062782019067722921419102436, -208049550481065231504286987249103612333031036, -543209406628235323777177418613553194901808772, -177376643588046397330745466297701996827305696, 93199340927282905036764084906979861766804880, 352152519416751034779779861601498989688296268, 114517158016264556145608832168810543781544604, 323225126471210809024871485594099904960615082, 252473337572654832551476685223089522430071892, -393536240631005767104247910748281489967537312]