# Trace form for 2.42.a.b, downloaded from the LMFDB on 23 April 2024.
[0, 2, 2097152, 8863347528, 2199023255552, 97599184325580, 9293893497520128, 217106802373088656, 2305843009213693952, 41972929616872509786, 102340162303379374080, 110594481484939565784, 9745353668055665737728, 173293106838448696895068, 227652982405163810553856, -3295287287252802285241680, 2417851639229258349412352, -10287966260741677078429404, 44011806645941708821364736, 206254882139859790701457000, 107311438027428330555310080, 3267849131609686416057835584, 115966719017551990131523584, 14925421378885128304361915568, 10218743967835137756603875328, 97534966241249753807444705150, 181710992796233180795442823168, 533156288863055843864697754320, 238711453678477047815320109056, -1375143011941884388614889894020, -3455359162518394409049579847680, -3626496922711160469799126663616, 2535301200456458802993406410752, -13672735988327258412044854187424, -10787714509823464784191190728704, -103039524095905042910481769779360, 46149724165574973269071349415936, 120356679589378915210866994599436, 216273919294685619894570975232000, 697708668559917206762862430490352, 112524198441048689140364822446080, 1270177139906840106861139346878164, 3426588171026758543404261005328384, -6045433421160616098770468790853352, 121599918360548595604152473616384, -30992658299909156185379775337031460, 15650438647785852296874599978631168, -25416478966330542868882280891861664, 10715129674816697408268665175932928, 4716677344275473650585885334355954, 102272824761384701848395139147366400, -47896619495707425086522465903395056, 190537785982303003785762253746208768, -301376484284740318156836692232048852, 559054888750867644536269312433848320, 703399094180619772764269188861842960, 250307101252362748889997098673504256, -785787658029123941344672503009410400, -1441941958889973364676246785511915520, -3282010250697938085995473868454788040, -3623206689196887935863572238360903680, -4485157745840460017677520841591879236, -3802657637228777800780089040427810816, 24992547810032633572829803615671997008, 2658455991569831745807614120560689152, 11919812053150705903267451825832510120, -14336902811696243316668345024432308224, 55055736076082381526441630307313037256, -11311738529852649409548062009541525504, 56632222305135551516324020091548201152, -108044772018387726274901332228162191360, -48857884738531480102553331099997138416, 48391493166641943170589759285164507136, -485616958845162818165813572349849688812, 126203125657112585396150069729098203136, 68411444542067712502035991381122300600, 226779641198344268566569654924869632000, -419718086944271580508987308621981603648, 731600564843883744998575235913851338752, -905766854341990828970937020702446890080, 117990173904521070264047184061220782080, 2631580786121491108655810678136598411122, 1331877264654954771892026051792117694464, 1271755206567258248006583231290595969768, 3593038118022554366408666387923215581184, -388512546938141834318136915482004571560, -6339096395026914186384343082837844426752, -17757719150026706057484126704955838888080, 127506755994830604184219784174773469184, 2692414558304473820098690391828757436980, -32498157669485543356240783303803100200960, 16669534332125295311104493248216990683104, 16410674355540697858047580547193155616768, 40418607330508619745600934617627243192576, -26651109848599015319281106568464736190464, 93840167647611953736551449995129877215600, 11235627813900593301572723855519045910528, -31989468315501178009691057062669320691004, 4945794662950999058636745300357628821504, -123209315561064920195916977740234432814088, 107240829496993725125382781426588870246400, 28885956801375328624321721880122370271884, -50223245684330908967525381207118374240256, -176985046435045605762266889886621038518192, 199793349474179354497659440984184605114368, -748787209196680512021189398358541160269440, -316016148385355863851623191393912857034752, 307926617471757594547111035160153139862936, 586211539026829791237263130554634935992320, -534744782082118369450759123118138734480100, 737567408579537558846066328979995843624960, 365657413340560581620406471890945959414704, 262466019002797521780077597738668398739456, 2478210724009071521496853288646712872037348, -823958079305546665919431314515595519590400, 1197162416721098687769266141990322892645920, -1511985731485012710838760149364942328299520, 3013983617957947697654252615963573615610924, -3441437180635841126460790007088847823831040, -1187017244361184816478169185872431865017312, -3799207577331315964236081123411522937159680, -7299044795484155651712801627876891077232694, -4703028768502406203496224093993046361767936, -13051151534085640640541943548358678050425904, -3987375534614802911230782645655632154198016, 18252451341407899162027004850931471209987000, 26206585812452778781263584156106879934660608, 19063265128173846787158520155277855473899776, 2787593149816327892691964784081045188247552, 5844983659154425272924598234403208942840672, 12498828843444554593224571565724150131589120, -16906132802492709812588203201902533698249656, -15033332202677200032018826552339132028289024, -29426278390646638144101494480449362276740800, 57730123511714159291470058941121075353747456, -62677844326108231889046616263341227741120800, -11861217540678771707266268669717014646882304, -52130148665005404841639152370370442081010284, 59383189135829816066780975691515246571159552, 51922281345173614249429479827078497859240920, -113293154863952928466430939342477397967503360, -189554761514161709779367750848109078024416896, -51231205347590385280014961711510599411695616, 22740070599314039795062827410783440363739856, 50742158338704742202044327432200658234638336, 507719188661866061680388860893110930444375400, -509206288238025447221036132440315987295731712, 521486496456113952630412721813660510945237256, 132333568689032486344353455516258877451534336, 512203029735744406296271029361535240362257900, 71734598872143193704534891698451697473945600, 143900813542423162446560349782101061839977904, 237795689049195039756459342482500099244032000, -236326618303854592952458380860118485166348972, -440106312735676516803791876125602982026805248, -2961027618757387952070741240924070881787597440, 767138793881740241795626026573602581383217152, 178456918203100804015810257114807763884306556, -949765385058507375479029257420088950212526080, -1960073802605791181106124922119933385755032528, 123721664592107085773193540074178642790318080, 1330241379555827059248148634418798387721144704, 2759412454388128660749875337637761815540662272, -1433705747955799337145038122964106163463966072, 1396574534662833854891453109283971603590283264, 2219955895245079998527698407411963571004043840, 1333531987481469384661751018333767959595450368, 3955463118486741930134787717642345532280757456, 3767573537643617967311333766382973701255593984, 5689627010277764595767106840736731873043773486, -407384932418209012061974734288458425628098560, -10737729633161243526086299405706526718804534200, -6647024341511741569902148932429775557625905152, -38993757821980468840131529839295015641124452, -18620318115458403330932475643775773717907374080, -502857548078601824491293901602998276127078800, 133700524174035495613072444410847265223081984, 6263154160945729746191785659140637344664783840, 2823201287888671940383804376302231158238740480, 9468935545412978048579840477726699469473340840, -34076788176438473110313535593568639596321832960, 39389222749808818416417832650920366699494154284, 17479273631842613656136705112242379222526459904, -73105397026359592819425965439784693490720597904, 17207839273035442797200099819853610344008122368, 14139472699764318481784911404250395386370788040, 42381981600195406458363245617613104157898571776, -137545877703055800618400957158711739281551568, -27945714160604561087430505601134479215651979264, 112735356579626101971773760813059066575838597760, 98398547631262352001258173230093306131224985600, -71330528775349903493470978262599114213830158976, 11781409670588628521789920489524739084677808128, 60587854854383813805257691673571707910116147588, -33543388728394963232689809850545545612890210304, -273606745793945845532746001681791948439491175520, 5186041584498506788909083840067800999137378304, -218363845331803832555332853804371559154897237684, -129194331273759209759353840850944060622465138688, -191990798341193797727208635411000294679575844080, 112450160030639692317073375417166851207489126400, 555334134776206868137082907248372413926675530784, 30289121038958936587576773842171194530211037184, -504813646846266885268303250899808722926055952160, -52662890066692967201531894124635356387350675456, 982617242269819286738641890524986608221484234360, -185582272050674381107774766329753542085251694592, 228920335892181412236401537463264744617169283824, 209498511218237090821737745989432356492403539968, 329686498531003970525895048050316082606077688800, -785160296670618464573130694573205655670688317440, 1367256417424095912393153437003828849292615451624, -331366948809322910294079639539063567978072113152, -1204660970340555877300519820893422280759698431424, 322884460842065691459831500804092738784917979136, -1903465659987868828026821195319771023014629690480, 614687350746597075176404424384456882643082936320, 1328306695861885950525034139907222685555991716352, -560720544616539351365199198282725441646205337600, -2652010550062036975420063533435129615540884785968, 773395483018697175304572846976528121724886056960, -889276648145699954621819719998964942789013446536, 383419587850991652433199336669520550339232661504, 1206318002830002313915660933852947654610293896128, 275215568341877414198066647126421954876623814656, -1177852719108603014619138683757512305316564953050, 2598592288138536179725084433996015596509434216448, 210172509641533314901625118116051522303432843016, -863982666965892900763133610049505087550023270400, 4556836320051357258254201490601070119933216213900, 1255315778275742777626346014103644817479088209920, -3269980684603978022899517219458041900492234761472, -1585431950377628688280463762380493766838997483520, 4040219907131633273230826645868866471184250988628, 3160390886183872965015505591036620167562840244224, 2550474389069614508329976017676309467964736459840, -3608608433122407745019749342473195695721456599040, -6554765148030928909740728248824124732095136091520, -1244677794023273730123412732245371115292392947712, 3091801383436649167330480934855612689181033007840, -3983757884607761968514813000062361075355148615680, 4560460523664214429110273626035375764028017658084, -7653603195469593996650402679752638938200349343744, -4096241220945506976976487880007505289871860014952, -4931483093961179087237256675582852581837175259136, -24440596185656818108019413833987055747737113825940, -13685124271005384720296908998163749195403392712704, 19450445649531975170071172214868863414913010241200, -4181066288584251577446729143451000141720338825216, 13899514637290264338777894180363728823143556334752, 19139082417768129271721628638570318355483328512000, 31822474670802223288370797547343650194293689534904, 27479596924878484963342244020073927734366681694208, 2606447325841062378197761355080641517176834632256, 19989282295040019568691532430340632581399931518976, 17341636699640161787214973304722079067908865521760, 2923003274661805836407369665432566039311865085952, -81464078785659730101123854672137739830239177584124, 6128909585381510634982183518237579220448100483072, 7952425603969506099334923239130586247112613114208, 13105971953343717277145048354100766448381193093120, -132237345161523481713028106480077732374401367550260, -17727365109506595684444487760638151175175831289856, 43444671282066318962877354981311620503443529656208, -15763591347754447700774173070945557705695191629824, 16069406059590625917530786228025400148811758845320, -30855689289750689238589368676331670498695761100800, 22041943264116517997364063377749659928957798800720, 60534421991419186293212508524244972710131092422656, -40502215339281920153109439574121484064565650358180, -65722483292093265361288944694949291219873483980800, -37317957696037962751577137803710941597594817828576, -12437388043934783721718434936617188350369258799104, 266027091619800158410094385292053871163445454736256, -54662422766556707387226615835913556675537439555584, 73517852916826725828511353723057890441897696341800, 62267786931291885212040928366706291188600198397952, -251594084005543771219679489787000258153705750192404, 54444458083796767735209766239158662971251406929920, 424583671185792317941337080854935276309731532296512, -118796483154624305919616288651977580051172803215360, 234451202411043681403789325003673458744788058122164, -198762573609473628993610318713306824598530971140096, -80776255044667453725548285471547294973449246879752, -53719812378554935835376968491608938288718142242816, -51522612766902656051817125866849399987074497217600, 23844692268746318592147799315089656762848883245056, -431541638263122669108636456157606103704905204736608, 53207009422165663759250832681547237409044127809536, -508619927812178207981969321816063640043103755126426, 532382155970304867492575430199854687001641379430400, -48361523706865158396195467695728784849542969235056, -533941492895475771345245183609736776694609175642112, 91142745379898158086046197559360263594853070155788, 546818224507966143993387650188480883924913100947456, -1185659911551683498318703809916724928885175888289200, 138761804121670928401016768971416668682620067905536, -307493782000295242902643725995976442910891475255360, 537083804108187926576518690883801176198094939750400, 1302073417538257067407737471489733984217076057335712, 75219178746956421481926378597595687130439981465600, 338595716638122178847789848181651546630667651287744, 150890939461059909985564465333116403019916670664704, 542538306162691176450578318001698861654111462944176, 249346852440448738007669111502930024064910098432000, 2404446480013489921112285954356740405425218495113960, -247806420114582633659716999168779600701789539663872, -1769017587297745012802079823411787604630556576266584, -461484916983124739284052870300280272481739339726848, 1395244412659361123835336527393968388367856363029312, -3104862496366146829230529567443198548941311773245440, -581015418528802867472902719345218282545850551581456, 804403327933339655781090356440441900376488308375552, -1202643016741350155658552810326910713105045272947212, 187125641461734628671682256164416665822750631264256, -4751859256409863551974923289046872716924695702043680, -995901188403109429750298582628527191058049746862080, -257817416501215698910432017718877570249263921048644, -2055286347641170093519536046336831269901468988080128, 2107857385382145772142018746059113476998936051143760, 129731568171333279571712189476821944542500571054080, 6305594681404886005802030082425576212335103871102304, 1394859184809130914478186702484325938203087029141504, -1009200481780338553329245224916274489417702238849200, 2893453673772486398574461282038853733492365482524672, 8789072119443688019412055429145800265737307821032100, -1503349438368500245746195494825210584460391687913472, -4952834100184606220809346553562616538993093680643600, 1464414539258615672226660335520549808206284863832064, -5103697580084994379767177665992662629965803078388992, 2327792472812505004536179885250407113429136273571840, -931362959407358163282529678373965114822757262468776, 1398309637305369241491080235800349072000758965075968, 1039264003822853120926800072252081611600949918533148, 4147603694930353906133015165814540108856827530182656, -12657633143037700071144544741854499403025180335188560, 3950587189808194353691449115418793031767785717366784, -2873995193122971512878147539704792925433607638981724, 5966006331929017288771089822632359360508747826855936, 7644975960173628388252991739765551423868740883309072, -427174062895355933031897218981254582111409075650560, -10777825404215431779734489190478725213689281858927872, -11259325587821684091609467485638126960697183253299200, 6095267945707684140613308262493855044782498133913120, -6969910195925015928401715718971484335113141120663552, -22978371883841499784633577939243957731653637444072320, -40887918601940992094509759032768610320907713380352, -2632068337709021832321658201280398563862095647314824, -19524818688234910731135851580647825702028442683310080, 22514481451656323611461614151878529766287326426207740, -527284356334067986717782994167265520388227779788800, 44524229104821039764748345580485775465986699687907680, 140195160836313443847973051470548581978558414454784, 2486946917326409333354632249792516270542990104010948, 6567393137467829514342797839319052944319220379811840, 46315186014540284626749015865585076826076907990321760, 2960341113649152068559888057685488338981345537556480, -17371044000149462900720880287328748921476805334506368, 9928898558466958870267654808772751622902477844643840, -1106696151770016880924152976460571524859224502218160, -35732102238897148380120125898561829833352762317864960, 5776776472640039361848067254344670944917024624399162, 41302593634103531579813745289771474432288782322499584, -33913318888811809209414760348471508064590526136305816, 18328346827783000457097201699774665035639905220296704, 939882306981503159944331663945084093347354413052920, -76656564792312036400222401136987674761725841667784704, -5531110138892917538180414214254338621834269585103904, 18043727273562412466516891868702819320078660920147968, -138912241971109987357660906044396572850395315416169148, 14826311725628070016356095260623262592659135439831040, -51751084840629756487486697445656352819675225326218656, 44440728738406498522484698636734278305472652798590976, 2402506211768910710129622862105704990890844933739948, -144227306258359439189240402053653320728892216967168, 50859315239530330704755379238552679459023383258348000, -29303205171670088246813529841215187678031489808728064, -108315857543945558392280838538157122117477406934500280, 118211589260838019501154643018314223793826533484789760, 143610078125686582096554311443929096202265233811882680, 103178355480998552012071290252918318569855370500505600, 109502691426915987358688450200965226718880620381144064, -74795480541141300405569824502683128785881172778418176, 29701354554626225993826373276109732380074307316214528, 12353703426747141740864387667223892810455117335625728, 49004773286513635663361126827760534151353868173335680, 63530970491790361944661889304307127193557949573234688, 162395234390672682453236362444711119136745597596081464, -35172792379265476966680950053845646036581965159727104, -328683406346434791830467661580873691584093668879184180, -286897467077632558925344671459486674126887898862059520, -76486402584988167751223688869551059064911593880671136, 5437958740507106254687131496682934500471475592495104, 327732182156338157771153317063876363980503418516227616, -228971087482641535525540702510772712012405525901737984, 81014901489240179765890066544337072243399701830910400, -135470075109713337132624213024119519311262005264908288, -69417540726531970615982610458570804564802149191657124, -201316943361415627645605522084725044993930920282030080, -77150087156778653719604399650285841924419131974726400, 117912539004288046011067531701431148171744118204006400, 92550778148260068849457131953254345185620794155506724, 582310045707095892963709846550869352305577721367363584, -366703314015082346689383808948727026757979296378556544, 31760445382547405891254903208328502475710568526249984, -53302785881147714731252989863067724514181928127804820, -529335474555471145487096349615517831450912046092124160, 38060329469835457719091619053095320482619638946621712, -55221042614572644776313507413633643459222621866950656, 119272455852486471390083036796820097722302500366402740, 1030348857430318028411258158999128357702451052528271360, -100463320799074767217048743637519811788013061079734576, -194597116497807939844466033378987650145584880908500992, 278011332289325469579124331565494053032290968541215680, 240040370128480016517196978547080292851692898955034624, -345197713809253446096158701548449010040946847150779280, 219675110899174175745494478738615022641378534325485568, 1642148904204367531029393129246464834938412431648157280, 345701349883646019398160925904408236634750518611148800, -1282247809704071476280174589117707724824128149651475320, -823300243241690427108235091192793693600547673147965440, 577209872869069953367229803076564502122517232576383244, 1433672265156888795433563258359726839475853539802087424, -1215146079885423437893951558977943593261846125405662752, -347463429714684579984524852109313119856174944120471552, -490637198923487566880678635250620314510778116273867300, -1263178581635818719596269871713141161469881542428852224, -2109437256059100880134107271515721601211086865124920608, 338568896411929874488184275787152347664134154890510336, -1130271696384009019328896556771994683558636705221722816, -1995928407887439544217052061703624220228588342324756480, 524352235282835359947904344834712863379808513786708064, 644546403496463774700173445703356260174353333034680320, 330100940934649098613400265077682440093292120288880228, 1392830521920072922457738198287355934729559569965514752, 4244009503720243162165916339159915948565833444630781600, -587958105791832366897115114538507112699611408079257600, 1752991697142886960998496025462513434280895182712177600, -2780834614541850483538068539635274471745398805331181568, 1062774087887234380047939747907578251172244251394735600, 810963942001813409292167777591259951765794122062888960, 4535833871097344687297903272975999693251942301215082122, -932474150606025475617529234717634663849932563714932736, -2123031471063410625743781028616418262355122342372483272, 402044577750441422941794427647579180592511227269218304, -366874493977074828048283665492027809721111402097897800, 1264916106135472506316428079375788439880643532426313728, 1056825843041541376133603060497283442637294634438391600, 288584439789652451470151932577235027756710693076729856, -4698191888245565090044327450051089271386086102797577340, -1235068092792022514657277964459717223059622412209356800, 3567941145779988642011449778758589617752630174390584688, 2724821507127153713191410135461806050125476492946178048, -3725678722085554290308612912927113757681286215643073344, 220381849469880437206286459853656841050844396798345216, -8656609548127812213997439876050116866482274255554895040, -905951488996428114310603588291269846682853200782950400, -4117663592316006744534722690058859037507698265713736684, 4778189201134171988431157582208507702079092124706406400, -2797358957880505117805101457078157296847716577857881440, 1316293997521265258792323398084743468132952398805073920, -5661399195080979254775200373289470518150889128738173476, -3428823266339300859339884167910435743850545557245263872, 13816473974804181110130571515373776678030248179598212768, -1662445892799172379442375570101888632056968625279467520, -3606161721027354483308267559002505573607345112818997760, 4236477629340459491111287281018592528888497164651593728, -3561805391114269332017606163737499989444316203911518744, 3313910033871140778164098790626815028822372771927425024, 15467157639639627958260341800765374730354410090968802368, 2674366232993060102686612932710953876680591498113187840, 2902422903940455238542066321865615322376237294057827184, -3783900196369761823641828686533173649836822074794967040, -6445183041855138900439700140590369537074671710602441184, -6873169419861679312460293864239005415081389422301675520, 18234904469484526002526954980201908441622217532389423000, -1305139262545748274837887629126922262588836227540058112, -11859735298365977372137561586125629777582255289524813636, 3241988727438467837282726376747158931170690867228835840, -7271687669620798231285704324957132162658601840523762240, -4177272907610468613897388556353390326951600314835271680, 10584308932852846714932778112674518689471851222445546024, 4781989454061727309218734277693670177141442643843088384, 22069386575324379040717323000884344929788604659969005056, -8025384624292724994631692640324303127262369513465708544, -6164462954417589152817519353234895733909613430053597160, -4295220234494155923890097755266749866832675487038308352, -1569067538544134775056969823023988239794259996077298864, -5171034816733437322578893655855965228852497884523790336, -17372188451670695301759778286099666851905388288749943008, -25627822585971283704434564880386810967739191867148861440, -16168555426735082034877959062260573962657584224301877096, -14349892867593742288470051649658551476319307917116309504, 7428942289371996957753976851869193945035527975965971640, 20395270497403640395932549476378333324155824626676531200, 6808961042077518594069140977312792602450108359031990480, -4384165764618520182072781458323275924604546003989692416, -35424927866276169774492875065140897436156859824331211648, 14574697460311276219298369168069077314456577727268913152, -6334479527526810650786961102135975526102545834066232280, 20068782485293633919224778471317510139919286677798912000, -6946760497794257374220826788838094287354837783202036416, 33368283200411112086826697409003415346131699797751496704, 70759890271279898036569490426356413822265990676136966768, 28814445825101382248921556865593038847991277624185847808, -19019835530572125568231951323183229173378622667954358840, 2733058111141117824281095810665038759515216551352467456, 13037290731679716357696461981839680543511771508697840504, 20960281671803883559260292309676859149674014592441778176, 60762910770344420899047769217119959870144695037040523580, 18184024043961882286190727847972258780711606573345013760, -67954170757904695083828904235519657749177199150613053536, 3064991081731777716716694054300618367237478244367204352, 14538816531193617461075712266150549349383761525360411200, -85421277876751937150516047036691502680232875874450407424, -116055435633147232906560252869213854125879534664361371680, 6426627497401002895587078064819487868660587412137705472, 12996643503999041309211261736801661679015588587566326912, 8338722630107928827616216470394593604652355408843767808, -85697562291077019252498460873565771915409348831317261328, 13742607646949341687599646222949565279377757928811397120, 58709122031672311518409544488816028917227764055807236244, -138660906440089646360720159780453988302220288380381429760, 13262405314661614985106157277844933522713442146922798808, -18588489597065988076412063198098910006661172470592045056, 70719643395344596560255999841426577706894373417535524800, 45555039634263972472818085376883813781018802552787959808, 16934152368113144681899798665292492122170751677344252032, -16529323561062967752286979302039809116807041258434330624, -22898405744576890129502184407175272746032394938052677934, 16849993528341300162100761699837961986440438842990264320, 115550325113481929367855686807992197060944215393281579480, -32354535252689618719043085849153157724840406392032460800, 127410537306945103532246442515887759922575075968289777176, 23112652700114241975604020120387227409666852835263774720, -228483794638637564712999398554262273005569317417934549360, 63474942074074364686591599338318696504498420368178937856, 299943481639437069088695552800773594157201575868514502560, -42469650951602878706466883710874009274485991389978951680, -93469288062510509914482371298034984104082446087838841832, -68915018640489987819478916472451147990170058338651340800, -25407381952587967245152638424759477633713326006050899076, -39130714809080702830197748849664004296639583699416907776, 143849464149423902683170941196542459441320327956009904176, -13041546605556959775784629632098304891676795914529275904, 101206214582821161844797232113930224440236601633472725800, 278949623622323570905023130152000680009080981145524371456, -22074431342788613777841204384465438466290950061775860344, -57317704614864966005268535926758893604608346219436048384, -565911549854019283956107371952389269279824199047071042548, 77089056140114500862357121241509150528003318839299276800, 120299074911262359957010600387146993234930812978783799600, 65292506949266319828101028503047415989377641635330916352, -175771787000791702106406978100885122144759497239717047040, -263815518230197065450446640682893582693780160713750216704, -169857058416702356888182768145572895902317634480490319840, 57089152079675279524715315843992034183742915272947793920, -156233168135440380787344734399239403954738642082208834404, 445208247597313365577655470894544612291753051209347366912, -554135500778977031695002390210973650590728715475423118768, -124567141120343336203967569489536042979738573304349327360, 72116538172229355665828973929834524595675860740472122048, 245839904019362539271659795255051900676774882833506238464, 269898948717590033748121018171296565142222442731942738088, -208417664385127419995603933555124416910229211594197303296, 285428192810386290647071222867180382119980484773292860120, -84700042409717219957720518986613176374079517496182833152, 398065019983900647337833721174902213211404056985939641616, -56329305984655620398516240113057334075030914720403030016, -117354871466078968055750502824634478182952568906808465420, -54025375204667719472190194572957476440846627994442137600, 388407277986156415732355732799627052148580450203310553144, 25002972040392939764079970814619451929761030597567840256, -142649771501145498990577181359949532072938720384189643264, -452504204883392115883257580651917977798474679961893470208, 773630507768343995379461310140395973538604164592689483600, 55791593111856783042020201129886076013425855362012020736, 1034026856780761274953283420250556669545492465904760080516, -533326649425582576612901463592600747421837563135447269376, 146026148978405420797261142926344382680360960880656473232, 558243151578718396735894774297242828277433111077611110400, 389948306147312492385663650768278621122211705223657411904, -50710733082449840330449058734516506302394368508618080256, 100261776056001033289375051198362612987079931582364099216, -559878234854366402414111813648763350359326510958103232512, -2643120794585178310964635164831517508321157429483300664440, 95570095379472091013233977652003747759236652891675557888, 347213793766003761279671687437200187929960352241260145496, 573380466581665107404010448684036531342449679739079622656, -1643489802486162270741693365841302645973104553584174406400, -1243254527415218075933033166187239759030702192238736179200, -1449268525805708531110234723705270899075296105638154903376, 145502297518685215419024559540972204780547020324115316736, 1743675090270191113498216676812133064451333462158501086628, -322430599954741584621882547629956994601730939557364367360, 538931414922133232570625475037482686218410807126102115520, 563173186976547263297899662812172702133093599543715430400, -590118796706303825990742622919799263049389276638533097920, 1365322935868595442714135726904819302234404743896851546112, -1057610069685723090473545229484197924476330005043021978320, 78873025573768576611832434364352495228488234005272985600, 1170909042840363761320502061536400890886456353675613568564, 355043342169535601807500087846923452159798963116697452544, 3914984856555064130271887596702147750354636933596455111208, 158220617736320356173023244801137865413012142858912661504, -278995225710910408569502933645276612193544746114319625860, 568892646922850063037841610376949385557821581368152293376, 1092486124184586531999247390743007547699421116595051626176, 261459125144595975905129646263296352913887171373432832000, -5088621090666807390639847061072597902937000818745695424640, 2521244872226625207520236356875573427359153908732615720960, -2130793402819598037642416462743969698875288249562925123776, -259843864778068599672371412120402238585479668342584246272, 2073714767045604868403889348305486650021144001722163844748, -1854949385618320274543953652913838599313090492515309584384, 1075562036135984157818752956770162955211665968882318089440, -483902008310497006619515022527986686997812309893419368448, -743589732909519596462138282848980623906962260195218926764, 1463019805248702249786761834548657796801213353719823859712, -2705320074700949352534198179296659613690962506744503328360, -3255684296989628777607231771711319361654684933942610493440, 3752463809080368728173095897791168625856948366494506129280, -609238823499257995563266441840131605838797787975076806656, 600453114515106766321730999953106383168547845857917665440, 843478023991029562900312601594892806129176604443202813952, -2064686034986539077208273951643120872108968653865129883750, -1261062603922577980819822671641350727904835952125895770112, -93512525188156175977475263224586251483416782623500649600, 196215456621379849994037893439859369781756565928548499456, -614004448041375250805587511880335655428864610009622015272, -4982685571649229083875657162735613606022029720466153799680, 650587594085248590406456307174515303840035633507369775984, -1044278084530978873409849086578290527890885571365652398080, 7673685139734786846394126478367033939431989637391487256736, -270341155325178752700705163411589767101692165277502930944, -302831719600988620576955116071941248096531124973232949760, -2155123937264187571982341029323689185668202745645108297728, -56363671910911531185983438655722396954058424796640709764, 2210248665734468885169589448667680973257636368764119285760, -9783571553270665501237700969215888827588127545807926250288, 136033408826823964960187680792848047320597078793602990080, 10314014500359749653788825033957871041182150553320056090884, 6611895248648809748419869495709481002425493876744969519104, 1744496017945933784140642647572008828437315399224261042248, 1462615864570419257779879099744204554977240184669081698304, 4425231624626863430343643953500911831445089511500150102080, -1058223404383300278895766640961807439015656542803538739200, -5730095814842320775061781617576167645410240414781242142064, 3034006079429658697871614313275173092450490628203790467072, -4077600934072131239022355711401193273238399291820118032480, 9216010086717784608643015433671986659445763285746555289600, 7837998215918132565007958378773626371598796719680672483328, -1576376140686688513683562687181840013811139674545556815872, 6022864955181052498503843952394206165548850644043148966748, -5193422969435173652591381371748474199991222199274543513600, -20669444025702797919337191794222773330188051159149901295440, 1535549939917642187120742587978796035689713357377570340864, -14622300177115397753116428868988145782730201871330619969916, -5351614793735203066758748088295922209879021928724815675392, 2256076589710256890691891709102538397455079127941795658600, 2440867319971845247636529359356330889371069997196865699840, 2180545768345724855592938349522634266523156423995595006444, -976604846523529993422141840030658844240387519250459262976, -3779125559354726921442486416607844019384484442018142255904, 1466233926247114857765750949334586828522267832563498221568, -4060736895901191693732245719439074248644224580235905155200, 1089747292072552034128940312561798727966077661775814197248, -8795494927229565036500342105530758969161055534522587952480, 4349077692015290777477332510509147209184656784288808697856, -2108810627314310483306298850113717445914895249338844977408, -13272490330593899389800462147234823566026531495150679490560, 9718600187876242733083239431011273804054606246966406948688, 4142490913140317202616364947649376322078937676373592899584, 9971548404470811362368288293949274072350382514580263975748, -3013602383624112977087716434593492946579470563652900225024, 17344066855470795289095224557602763244942428181701462686000, 6255811055508801232590434281856548848804820761293289947136, 7644419609647309310735248034136541372057405090654009860876, 8016338312415022560840769066516402849834588840456693481472, -625308378829495827397101818120018532063655621552424857312, -447924470174560742834854658290488004692052882909361602560, 14885535019691120184407610472152851184142711815455804737824, -11301369051050600593866871737395419769669452414507152310272, 27940113284291791763251973053013598924981944284911871655448, -11806258587575710218043488978220484615940009627011461939200, -8978473250081557545933253318065758754221692977804237981960, 6391351681438380605427740324652756547437852763266083717120, 23076894483434882139104287681661821409074539556268394222000, -7308480553602269502139757461736243158175597063740904701952, -25533093055572459801267589444392991821102752074477342278168, -24094569276470984478171938621220672222426444536555577016320, 33943924262906433459551283040580674198178583787115915919784, -42874090135948877726492665087544378335856126465515978752, -21305072298092030972200970227672737772917061272697991820864, -2759923689281575276848515070065795204500260805478788890624, -67057503310975484654376279859138901891568002738661533602800, -20473256280834609754811506707029374483330176315094550446080, -5964838359780186041879308042844966449049326810268410792728, 23608144902651981187211973520920181228214499594687207178240, -11174951466118721165428272479490654596869656403370343298608, -552897721227351673240586020891934610306606332419820748800, -64442002250963814026669147973944065055486824678678525274436, 46687038057816826592360761215403452495022469611947483463680, 16181332848603289957356496597743344145692406235588734258800, 147005280969098205696332190418781949896748867995339587584, 54923307715678266447337055371704264311483493014340014127360, 2607752850782456993131666865958437540900886391303383810048, 15771557515824948327719692163055896860299245809464728499552, 6886410826513466800831513587161815260142470828981579939840, 2927102658579343671677429094643439554712878395602785461580, 48564992490382593492777976060271737517980419872859629813760, -41527968502207679326753287583318479640167911230183127612640, 3104142643585773279442253179975618620535703378388823572480, -34167655632945068776137311374511970708977264887183445727744, -18214859833500723210586297768166030229086462630435349331968, 61780689141738661295995545064422254335378869553398711625440, 10411204734843049864349776408763696805736588608425259171840, -20582744093594061557351159515244717122735633010702558144640, -1160455024038397220931924631445120247250786191637909340160, -57653904394675617300979383195273812202054132556810194718560, -37467824837253816259832841134210369279337706100217568296960, 47227510944572754625658262279009440750981293179962653073024, 6057389166575001913889198969291717680737314012553975693312, 97163540160955664728508070952194240275345337218761930012176, 43308908422473744729834777780967413574311642212597323792384, -10959753269194806241123400381657682176782293182944887205500, -35560692267154731653571291747158860040336075533903007318016, 97446547801335884815340989083938628064754599287119330549296, 19218664603289387487301155369542919164411149256277836693504, -63908330480639204752776538777956140619849946359802836666294, 985538029925436657441787518852880498265795501021378641920, 30103619503626597085653587035244064079752096861262937513904, -80380234083663385880399604494617988050951436152639013781504, -7471140308077118509674567562394590613049490010523600011012, -5799789344999779900515066015125957374728491064469911240704, -92675917805918440932985473247381008605778047678563601111760, 18920219369602980214490416408116927471370801953005075693568, -55252325925357599097299205806729089951133734496559182598048, -145660043037098626103546642216409180773176118257824980533248, 63066918483695718974465471862232941004996567616609121911560, 15546514644012179145470608944003298196360145602956272599040, -68334171112789533780745518196319590576668703946894602708800, -54264945537848187538622851260776555814243769071665053433856, -175143547964676854674254418136066526059551926310408377934512, 46599481577603332594712915357712282608439292380935331250176, 84781270165486531190211287050416224472710626126351929237000, 2519210353511797316784879422255351716528358617241299714048, 99932010843658295084284414404749840517422606670700309978824, -151233291887165507307296943823811584436618885298565152768, 184040920207500333942808173508239152521861978406539767369408, 53329857336605756049069576540444614416424903123505512448000, -168867999836212350561255760789393777832189664489574208688416, -30726637666089134453490743866782056634679547457676838436864, 169821198876924760363946646019346539706548669896842414002656, -113577408640000257836744272550986642481455989453750565601280, 222068115586383171355818952603932121841721230390980428848160, 123953835420772487136442730957571855528835451175346907381760, 73368789190202037017552567054746064609246282932056183036076, 150586081280719933508476533676629395979386469809528693063680, -94668370708852178619541764713091233263057657239681637199616, 108190347276843537674609665248244078812704664977938160025600, -66275871515641756755189890270616200669109969841513970776716, 114821894165669858360624100357927313571976965396778518052864, -136786042298691294638955044815349995745156226383009533127200, -78428745803907780214070784297725464449784136627302617317376, 160812012752648948489857137168886973398982216462868543417720, 31144127553471749547702483184370038740168796868406964912128, -303705682149945961794339296762331824970876600422773521880560, 12953796924404810898068616162546960627615785115321083363328, -192282301099466932424175768469440056922183422460870048597500, 51385229153679322029344556924545829858290033673723633991680, -332817970111772497585226665113177141279689951502293748257136, 66617050914399570566485785239153150204112220531704136204288, -6844208985059066515740894712555423322411749350323321484852, 170283745296433998676084771986825406459932151744908717195264, -448576726861880724815729769538246691834866750528321154715200, -36881345941880676775814443883661252138454970699326007803904, 155788886803025705806218220314769316875690613643752016150912, -344649531493119208278424458709826212026482602938659430727680, 550788533801673233904379239401022299560431983172377741168400, -300833798438395638107702214220302698809275605437182923243520, 182318997600352214938108792827294563603210865124399705960128, -80201806076956552987907130780078371310048739465018617102336, -644092755626058514163788168988114518192400927143546162960800, 5702113024285979448114813596265804726766377990876146171904, -95357501245774871774300894006467098739431488080394511582360, 343652100636764440123044860593571222237220352574071888674816, 601780818029418871171305026905995665560988943630883461543016, -240093587028198330755229367675936007271120136727940808310784, 649292792086638591332070795955467115911668955987834543515712, 84950281343981510738197942416794789864695085747048703590400, 167277416419275066051919771706988789510821679083894296064544, -142050669478242772197178566795979149081325868432656472997888, -339173496459171463597488959554403645777682240633657654791224, -72789567184863987620624581744206339967341978390791060455424, 602478302743590868972134244186648695744238908244659190805280, -211096115202139753174118455925512648779556108665649973166080, 199694440169146399007715225289752788238751893527764285029756, -80897729790506333602687902967698126981739715729530709606400, 133084564427829482032009997033151989759716984311539834843328, 123640258498960342134101148121359867625334760489884214886400, 146113064116382971856115012210562691022543136209768127567140, 97046524747589949953888361595015628257357509852404618625024, 66751544739990843907923617250653471529551012326114416502896, 610596338487363783060315016056924381963173464760504637456384, -732213580307899306083667852659280581509691711019068509648640, -384516294196678986762167316852220390809774898679441306681344, -696080746764779799337041403691948708502452585528903343720720, 33303240777450028679828501386576267811970685102981103222784, 820314100491759015260432948754818143886589792148144489735380, -55892022008110346122038335098656102300182829468541066936320, -193575926412164742618527656463595829440262738164985629251816, -555048474567477711850277541894441225631471549643095183196160, -1025277692712568727771516273255538857373353493199807624251264, 39909148034162184913254213540218478770383370528092808282112, 473070133207196505340660395493630255755560883944862451011120, -57903459980618125568967712349758311323897819946759651065856, -1356885753916563018333924085119041234076818811333110006759200, 125066234667976854224327710392262430789261066624201119498240, 2052954775141865156988661915210618810976023766649865336306272, 1080399083528853156959363435330670016806205314855884669583360, -836668804822740249436503500582647078885471605746021923162836, -105343427070210623109384103408455974165427583534743762763776, -1294362686680182716453044624049071234229700581808570442176272, -204049866028805458330350815416405354239056812083512336187392, -384998524604292119069036119730702272555988859846631076872800, 291516010766611743589399875095619492152387534629073772871680, 73732621033610741634274185409937669845762149433527782279736, 251700571147841061799536338976983265157256733214674385895424, 299811183288882375369567706682357774231627323494520578797500, -361966037955251741493725706634866469152695881197975534305280, -1957457152291857464182209483562672983645661921981112764802256, 230346049086212460506507618537821985981206138008880354951168, -39508511584415370005174108573560568604377211037488076736508, 1721917929374998888216676929892741110760380753927898168033280, 1399304243061074765373249262740766250649204269304942189769440, 362494138655594008436445991041140771137520159803203964108800, 377319366422636065380999263216633239116746342955758447331840, -1344534279308256452311960349958689495265184998648945385144320, 1725348098368951732105219791818618986713461709728099602663440, -863292875857398781295444718982574840060887876918801009213440, 927044585986410667741127457961035907072601478103128455372942, 605248419653557895421996357990811699377620629666013636460544, 2238249479518122040752999712872717776373527680333627416937296, 1503314329109149825560544027197808930430232601351513622708224, 877796546003682435515815775660558077990388468345071336333140, -1274173015861937766813088149906856181248133562793368225841152, -840082373933394822583968620657763556475289725487249020470832, -364341813276505098141853131325375113966308498206067578109952, -683620265689725147727900556427502714401750300136759520701728, -514470391498394898929474480636554446908453674049986677964800, 919279971906018674579484152321842185501360323461756768955424, -1324538744417360249719378277001478706529442508233876149633024, -947979687264634338015594948152689830592764201676750529050772, -2211905280209427764487501666336869293711516620685228751454208, -2173280999204423314524265808551944718110839537564389928677200, 355015219124035780071322315167789060104267135598471766081536, -1327741347209665484723613515765855646353032323312184173423564, -1185175774307558641451817035913751097307181041814573223510016, 1159581177056673015010803927935086950153755024155374475448440, -2092882626228979807516939582652939470350412249641523850772480, -2475921527997342832385081147855974431493928589112752207357312, 549823169463934370392733746289403875431346092152411194916864, -1921051782350042704524887503612208647909813434570675752546112, 675855889592707999020009071001842493868582720540172951224320, 4213099130051126135667381221707283884741602059323579097914920, 346135924241490613227644796354095942303263878324032873955328, -2230337106039713187861823376710092769612522883385077676573864, 1460488657352862384739045289007362536614982655636159596593152, 425638742032479679076911624515167122572850752249765019117440, 4450166509372957694011287891250948025683367370037166447001600, 4481146950426077144381403272542576247874712276262870854725104, -616518758738776415951509378342329634206107731838115617177600, 156538348862736505614670953212887780841225717161627438669428, 1838145021823299838015958968395380486864523947107604339097600, 1065979489852275764956437812666955139849685900155803742296000, -2915916436777835412626413757016597564484903297698949043847168, -1477880247630566785192389988554945381462426270701374578492644, 1114399401980444677293148469101936772301187188150486276505600, -3767002855511755285517159210715182154837277071340713548581968, 850357326448493497461944119555532995182769337336215854120960, -1231402801608225790784974745583169621230889890515927438110236, 4756166537219769302828086222364081854351348650438905951158272, 4280130666489645462857371800308689928844696246387291795625768, -977770014945863769121126334823278485281106887929949308583936, 1878325264904402979305368268560394352794247001782782025403200, -2226159847801786860299910935862489395867284765275569019420672, -3140858887716889588180196063724252952496802429908118552967824, 421574295159246865502615033764987986868973052645047852335104, 2832077809307178457659600132662825363268368816903930250364928, -384695789396505214895557092826968552606124109566205283532800, -544889128447284587008715844415789308973113756225273140236776, 1326360670907109218783254889759546739136285672657454343651328, -892579369175953161352762205731777445128047963854619307804800, 1108162215193127290020668962763999483146843858600870910361600, -12252218369797834854463788132441717335925834645721089549603600, 302602717536874608952766032854106796465020671703625085485056, 4421746470325102143573128480819173108816626242958762097738368, -4926411257408981659858320700264770983832936621327072456867840, -6217238485458318306019604849793571521266901753477088188992640, -1295062760467487800329269898861312446886966630504838515916800, 1569294737183910998939664986782873139333643996107513938241304, 3741257454877397370285797963211566867024581937741781729804288, -1926150839222285240831707675431576882143361277922096926973184, 2857182436657362331963396074201998740816371639067531592859648, 3435725174401745549481418691961059029891700786881435595719560, -3906657291689582175514644093785461235574412374854151274758144, 241556943727839999359413094249146159161776960427230408178136, 231087118189729349324019030927508075761730214217221633212416, 4280294750106738243223444285917001513386082254165763395526812, -9077113013537668820104579515469127343388517209792729621463040, -2766673778789086952834065074044052839466017451395268817975776, -949958988525918606391355468196106570755319477864182998630400, -1476948537078546611713587402232973456764413032393426138086944, -4317683218976349088157241379451158174113672216669047157161984, 16418105637048260757278168918966501909352368648098233360327840, 5010294519768465526941189492921868172215286103756144797286400, 10438823672862192909227152789748999125001475052315725623994432, -2933243466618508534407602065457185865699391258343905888829440, -2727195159603452284540850937575524862294899629465412190530640, 1380234294744858240003419299470107966840978694529429190737920, -2322410828804222220408517405160276334862324791061830156334176, -5936407322381232903055160506622379838040586719055758990770176, -3315376083222892888037458267462029457440997371897578196013344, -3595381785324998737883178381250853070543829658234009809846272, 6676258502071603856701018564592276524247947802952753237075700, 14487623014604269011736274157304573253942245515170375551418368, 15604123551331016657130406929491577319793979710685884322518544, -1743200864487784976946168405795157974247767933221042934251520, 3473380864120216747630305116799000031899619964987945275739460, -3781334632787979254689449963948611284350895509019293395189760, -10763175778016097728343505286637777987932839811935713715651800, 4442268766663301651351509171981351679571784802921709544931328, -1938864321574874783435705725788160819516337706363492298565184, -3734823649793036079089693400747212788931563307832724678508544, -3590945129038267829759288379147835864490255701102492234410720, 3474886527676465312604198053480303195662448351696571621965824, -8284038756044672704450890913525700349106229583282348433774124, 16218490289142762525960796164079353573256105915547702911827968, -22927953940332073354686408474183007207714240888181261904616368, 2804276247126930990234717842530321172194227910725534052515840, -1653704173188753499030400903728058590882191935633994371895396, 3043410998922266792209485735516559452275985396853980197289984, 11828171310812864671152458792160668087461011046089641463857376, -3967706932308619373987054156810209093051295543900207358935040, -34419182309466837173639828053749474707955236749766227877126400, -6758264253296294127667459014619687327707610963616665366953984, 8339207620350736413291260348397471851710357109762640432169896, -7207040497600880246742365098988279342124382994879401710059520, -41612609865890175340099678123586405240482367223049112732424808, 19120683188994206337625704345320196346082458371242771611648000, 33439714965607798668863867598962753411161675269883722866819184, -1368537707363170543036412858599391638416351536129043974848512, -15095116303553983434867853932153526141799160287953814310616332, -12435833800219403088966515777733268369658090922468770983182336, -12029893660439726720867653117465002536847313946409466249424640, 3399471571862518850946572093224028923411238346795343769763840, 18434350329539370626044945715554614575058362678421747680351040, -7624917169860298126168638698246249814591906083529044514570240, -1679055335008815706930334063244168724055084070157816291040352, -4380188116370554737286068102866812615473601251728709837127680, 20783635574179112345910470063230457880639049146680218572758466, 11098452323575106596957352742275796109331635867427060867661824, 50255775451655597177175738939741436343106800042938884600299448, 5014279373782229774991343513966917899666265361710410245341184, 8992940204970100703397194155863027309250879453432012296122520, 23141429097607336076999207682975302869098015919931659445600256, 3923283861558540982080666571278796919717552307064010318987536, -8415225707802368403970921742020696475972266374951818802233344, 4033935666750695317732302433385923158874130703158374988808000, -6463907906891377963504783173337634029080006812031880695644160, -2546266965155169573190058613410193024074387000421834196294056, -4503864852604944042048983143826587508363939531496681218506752, 48679467777348020762347897843118250966061042881929220597690560, -1645286563296454665890137189147201492530505969646749733617664, 3998653382565111392826334631113622502819666296565247404848400, -5422223003991080773960485994082824595809236821762417975361536, -56625267376942579660078477557258124361555596027636700346272604, -18216059877899050996738061276125244268903544430264260239556608, -1744137236884842643816249891253955851873672833163888566029840, -26872719695907424781661178304016480697308090851287484533309440, -34116603637260389868682592869085456648890537866358495443450900, -16953959175144165379804190801668943603467639035581565077815296, 18688347468985484516553558812197551249545705474168753314222128, -15046953263529975913874772878592365272832994618498151354466304, 13076702816606497222813581470483234470809397120384076403168840, 7789810590020531081973834031425591910109573782926494678384640, -60268969308166038289897081202378565423269447601827903427007488, 21385991157085519631805368999742887243710017963741970379571200, -49219652609336567683051307089980774914743272639281744290066368, 7139713133657476137294643569426738815906724822680328449556480, 13720168113230941748153516929126567707983254054323223556008384, -4597131000800629418437148890442787375918136430679495714799616, 94387326957946313776158211293365538711591960016518394185200736, -37145729162308400997458640964305181670015615447157924585013248, -22218485219989734491152884105855339021204696068790874322436000, 15282677964143356772927006748777200814083620446948727877271552, 47842792024843345824990364729114390726285439962810844068526476, -6642183205055953004959588524633332673258503100501833579233280, 28093811402236941927556259921051798022815742876759101087604960, 21043643663299257480485041310340229512476005947459671949312000]