RH height 14–100 — FactorialWeightValues
DefinitionTaoFivePrimes_RH14To100FactorialWeightValuesnumerical-verificationriemann-zetatao-five-primes
The proposed 513 integer factorial-convolution weights for the translated Xi polynomial in sometik179’s height-14–100 certificate. This lightweight module provides only the integer coefficient list. The positive and negative packed encodings are reconstructed by ordinary Lean definitions in the validating proof. The original kernel proofs check agreement with the factorial formula, the carry bounds and the coefficient extraction identities. Source: Prove2Me submission c9908072-d99a-4431-aad8-a72c6352619a (October 3, 2026).
Port note. This is a port, to the Mathlib 777aaa6 / Lean v4.29.0-rc3 environment of the Riemann Hypothesis mission tree, of the definition TaoFivePrimes_RH14To100FactorialWeightValues (id f85c1150-4719-4e0d-9c7b-11ca1d4c5cf4, env 0df444a, published by @raresbuhai). The Lean source is unchanged.
Definition code
/- Literal data from sometik179's height-14–100 certificate, Prove2Me submission c9908072-d99a-4431-aad8-a72c6352619a (2026-10-03). These constants assert no numerical correctness claim. The main proof checks them with the original ordinary Lean kernel validators. -/ import Mathlib.Data.Int.Basic set_option autoImplicit false set_option maxHeartbeats 0 set_option maxRecDepth 100000 @[noinline] def _root_.CertifiedTranslationConvolution.weights : (@_root_.List (@_root_.Int)) := [12391285225376633515428080938061801313631986790137266264912068410526474870264014626218243835106654254661906075921929112476608966957547980349786811584946029936440791744733409819336609992982450157347036452165763178354618529942950027239176847286365620686020241386085921178136243919472025868352792012715249929085809064056953486365262585007777433870317210411104576680570566594623131943281486250637719568135259312229311010880631835381578161955799612972611336646610343078927051900265101846811354791304994837364609213929535210233252928821088179669249342119909450523537458267369986580473636104698156434056381052981942103913202174432982479760180211962173196393281756988224775184422443738660453157436071858969686244845086064325211147502332050397046438550617927174504924877564722185673184221021580737464132848195734158117210006163221262517536539085420006763411528054585230759503520471939222760356522986764431296015871278597427591501697739948306891101524380329237844454417118075392654364175525673203194318835301159542551325635087491034833827680228619918692863587100904761905614885906367111635764069598672543879237602481383873579045181552420396539456866222080, 0, (-143150279911759963601311986740544597145103521048375051412202068334419222408390897511244472626854823018700229596463734871599368480408286810070315029929055167629214832535744462085969008767620548788012981399192580637655466687285125642177674300339857207060444544790977839840629895430732795477096268972377527721737683933400677730990538063300254165198559632465688247954843309058206597471683011275529903545319762243445111438280373959907201717655154689318917799298923686591882467427481399860620680402342845493749047079081106940570292048236370184598850738208986117891926861024987803748183890780177575562726639035214477486928683126926734443109763862394554794538168152489383623953284596812021653257448176044083912354810142542096797604249273242445358941753201457830472434732522238674019007995375243352583727129032628781353725541370673770831750191664801858413415409753984356482025329385683925934743348678000260785779550349892515632156271301013339949856276709313398614378616249030536978738350869622658559506202634796334613603551036489248342393393518500148063195518231409765389106827066051182679779922243575531574960089204250626860900809434187351592194277376), 0, 4615767137512962626581406345970668274626525385130328827427136029623044090148677552764072492425678841159669413656400614740964195456435249832603757858407555180274321510360121792570259799169705125853189979790696287208014457398471164611745808827459270847084355896326569622651784634353933071042263776336143759571569396390804346080277444312541840221824468517849079442606185700539888335163199366199626586136195192558849026333358681559054963066826804508174363001872375568120076411670387766991068714130141993872522340343544401536235763341479030750595983907158695960961010062251208341856506432047454588675882641147041701733826985604246468421749480932607774254078442702352604105904757293396682275665374375874881226909097618130031945526836042368535579865019397597459627378004348508844219315263316064819946407638264805131958140915857387164621574340474783649312497810821359382978763753620206074978596624443154798014921891236583277725513131030216596586105643999005700267217022759607160599581122747864808734572218450350030033123839957296615433878006480064693395162839179512309315287725516074519876148120369326595918858347961498793637038908514951376628875264, 0, (-233408036038730040575757285520750053791443794749778693175943099514793415383720670975133066340215000217940967590735520225771437497409095529159934449908344623045240424346024889530645616073298985423375466332290544037336466529527519791565428964951159571806370437054721020888757658990886000474804688662667148464586073763518987771607188923966883099424988440013927983893812518121471282476968525715759125385234659179104496875434129910154096356090296931232077910035951826771276334575335402912754414049755326443831507515977729191765755679254168760165870444477737265514717433678927848591704558286260478092697027214202926260710229964349899155174488812939008547580314078340184825444379441677340609535411301172633235069259455145664908907588299961513020749999443559883043928903054639621804899790540543509520706268907284564068337293857979211584821028469535386082301405470382742479937031897342682438782127035218137881752156474502235822004116406098890290527851887366951879718989504260163830572443556629696527766576123699790636607649919695362019277561244217069186507658195117226565013371205224346462579436742008329261355201696252030658599665259074163583221760), 0, 15672929312698745662221609761076885795879684578415773896765395841740538778120495371444619728999843546153755306190550154726177662640538036035979149006020304089868064503514854981756664237605212377107211881755702594861437996976292751928363023029288153822687866794377728885075663172808407061801104391746537529601381286927617111161765322739667310292106205531571183385920490139680035898735275206075909460092071031700462992031354832266396082826816685578838208883448528489555084033984007665521483637308556327695479632284502393148731220290611227990685578478703652928077480590681419612748625867759419111837290975657777297484289850422223332683156697280538607915933314495474333690902641338573373914686801286184394063120982868685035427920879864871244958373263835090262281701843040120901337781701484708497907968344678491189050349096995948746784540925007432662215546962747941721791222826069569485988053124189015141137998776695606519432542126926617682843808176019479167003609227400883197612093200175633413449283362848683090452051119514145961192460760458499870701219973947450795440864196716919299651682716059290352176246681328110655405100847581090252062720, 0, (-1291061153858541716869776040074001316030979698211204986535734642246370954826563655772480717462889276968116237919478720971407150805029009288931625708669486127986403420540541065275028004222211318759983710008118589220969018822974731454521296017157753127459513989046622369282298192618945168108888198608695313210944372462248930799900211453987974574266996986620529897651511646106092032704884458261202502498429832748608671447509990425891312615097144017223934142878331157160053447443618578048436668790234950585370749691953047401807462048800011637972941018533708486460709769956366757986290830165008399949699387480230838315642393383739814042346034332521932011973951309672775829123753501921734761232651233514202701332850151820984253515666491482365306484664287413737479445164061629677192099186849464079480578374475060551530731053042303687184960988141075150739495948645964201784349220118159882087387678398494887295981806686104698556756080230799553117635440152868440706592559701240117949581791532092381797047135241336157274023382393002131907230190889130096229097409638420058640279841664406903466775582789137946183886151872225575414360963619043147776000), 0, 124600803872005300423789356572004564104124518012793607302824217351672238793925806906795497299889368923779932977249600167523976894518536561098348219616692876443757121199685068950051614270466341799153894719365101662418418704756538465755945498588731621551506029308521320570252655479483535733742735161978065352152701773819130646580919572095053794514875090337122817548304076716671686364758956573727038803201158270477794779547981065492240387179897955546791090770143978553041776670242802302550319053579420203954827571386921302708890815771633675012916997955918501107558844381247621964184307008622143020998366310920717790325428386893212460900679521127335836558805021693095408909527720545465769842475083233590953165377150309629665577781118225436708065894788678475524169852150140072157438870688688661105043509988744991964382558571356498030900441781681287851449141955127108337352530750012699865830507191358763173844306406670547499053515116402777944671291339327629067710803878379054370890704050284171770099681980970961831559332038069521264532019997420469151484383167189996001656320400274806984307956979334588735241550017410315746705966025531824537600, 0, (-13673691182919235642555063991569841660460348454451424660767334014752892996653351762565929961747753458944423902756140128315193476017624098287694681653039459683372637542301984145954811846953639073923679409309837312971938043439153573470669788620850852056901913428110712573867464950161740409113412971544385417033651137266207486012594135118989301468132651275230853316601081358991056180633590663768744084999904338391112781812140483820089823779819101014323341850624579976257345633552909610014186055918788276018098669434033248222372575918969297526865722160280195029586191432178656169496744027411464435060537313333060917060341653396142049600516073464968284497550266263056321127855431854799335107996951434874744885266151292178111557926227037168321185735993748161335617615632047283825233945356873436819107298025877962787019065180770635534847077843638818150430689835434758035963895906881299908052539334944023271146438650868476997723349521720138955427655921752563768783470426840623184750780118155652141575309255163638798747408315522707756807860595279273651471817267347986484104605017864918425840468140626670353233434574312111153484987068500987084800), 0, 1670958977771974379724914394195725655610908424930602384222428785892458622975404268024173437817455839741028547557869327956598884759165084871175083144309327935618611640868374490869479152879921486609144114191218732068073424898119633076220206436623028164431393655051310546811771380224389875405625508041560254538057218224416778933082770751577033630027495088308604175280572273143314442912111360630878753927635987110227859825780051208227020125261140123526043023034263195537534375370717063094820618112358108350071937616357247828506848744371190041098451225408996229171671532585882231840228800837313165919514609186447982216351664220337107526713943619363941392941187104977050596240674230515954709177339958940470022308827417911697307695157846094054396921856879601473161690384646710567702246635580794766913240845310650580414421506961379655664826241039242273070264356599902077378186553180896686010056280194045445756712403300061277408006999463597500286103013685727337412408280539452794750496573682931261347623001954812628533915366426329390033119658066424641193543076323598518572304246379445662416515246218029882247329243058670960057307055802810368000, 0, (-223915378190829796091165307666121195034563711223298370009483181886351856693746927384001147937212128564596722473306138224866548725219000459477724322859964708700874362632109112842651915802609100443436034476542193575573041280805733059657028182994652889154189441180704010697985941838099239437556342834757400458175259534576147171447782935935767405582443380369754997378204443804679634530044995617309220225504933249704978609639836301342361356467040422040888702702070335802618687601547458644875445584080240570659700238787883330528285838210989224179524942679691203562811465871937752596005426981859306713449151572835445867035846385049891309213547156302060031424783603067774119876180943053949822828414131053946513856632140716367520700902184140376198985764039526931215904817388699801157250604882798614540751580505697502301699407954655367468705618025007320742587611357275244297887448508105212184590232827568815844375785035324210111273295286310097244677316535726154941818775386509843540349235636556061890925195444370552312091423185510045492385492801271296590480895853099390312753271511027339382125689420917323661574801125209728488788144141893632000), 0, 32518928392462239516052295301904722251749315721154321811554101911541589000134081975729324498747693144667920750099348153682291000962342627001405205434914533067886138255327298338087830330620110499736344771747208170248848020824563375023044551353158977288671008676720735986160128530968540794405001320718785990759575197345431511843902522696267098265614675080392499858581704229045101803589708322041878113454711753985639351659634959101620584523315806035985969626307356797932223783745324776986717906906923256318519150661948942431543115380057935226954757674389388765149852250973734666662162478779675526247469881625487019532565816724102277482450813879729364687193353806515518528546587045772401346652150027790031603422785523037311036124965111207553026978423327354391727753224993669186469875786930650908808861776939349079955001777923730030473040158403566846073273326330107816802101576257739509047064846553134157417167045184775333911105436856858927841784252617423316454682310740361318803428421016127603136578189481632182264513188243098310323439296384848541072798998541580030562767764190886775156297507172251822259148835730894688944415058165760000, 0, (-5071116683172442467975221453785307531906964950962723802506004768812011893131736549510310370524542031308936081982346831193000412217061036493069567116360937759401620177546627442520339946936833283512846753869783329323678274253940153562979994718361306712375142495445060507016503703547485374535071686133064828452151693171221048887461052876475265004414337906666870569169687538644245011418001623423865708858709371812315634644820311028769875716071125532957515783671844017841059697288968532272834222229777552991290501161154210236861615816873079398846975985432183376336380298154548687913318810448220222029709859211282596594453106176513894083442899246665632986888230921686337613918424518009318212456866557482173606329660947997755090350348028940093941596251788265097571801669070912951243493216206288507539375993490108725599837774403014190477814355287341159135294316711009472200724964739532500305296594008302123464964451892358024825891494529232094637123185775344849535997131321870725116506038208019274976970582135330486137367470896341211794834014348704195161460487427351222234787811891401861414036948945249278628569859306305290095309262684160000), 0, 842840155482690761343783563325863108877580269299265424019047780886818037596532080385079447767446733693452929275300271512388127920353982916830614827504095622237779191098585083820396362501195386490773307263841655616505649529796371361419390154037593378931790712381983391477143040845474123454517492461995489840758152012077885127110200306558466485890751946529606279637652820759793230148332856551633322295005057848667519258304614942845351273925640078337073353809184578489818306365760925728960095669350202959330819907665831178690346048773697046016166401453996068038175104601562199821317626147502772433631650898468207509396607929096627191250307075777983428660669481473147402801607000829393265158809325059429784350427356281949190082679638884022469783626707068222975689199837483406771264225546229020651272266708264306980733489843301820867693364450938824119897617486693161752342468086722255358624093040831217984505669143901028175033866520943933353634034082491896575000041416704197085794632200084844186516122517009773423106149991094217352013627651049738044394130087812334055860047513586456346880074277717018682181413682260380836638364794880000, 0, (-148387246534202093613059948080703417556311557733524306195606471457469037376689251377349483884463083533259719023198199763755055119453847665886120246560450449663116155050527288326522884236482016756553638344532024306959692143837596679890342813607342257376078774632988104950427861685771988932655503572088526844718635105594360911736874666943457960692320189086009794765465333964962166290193127808884515037175231706109706875668119785971480609382887846556783183456272870259655529413983165626858823231646311250494049608360359450882715564736959506735692592046647289277255993559238935116084688047253263699912968772048042085846497407189953940102979471684034796151727410962829116982880268739739067932831890916867082716938611223085953451870429312368271386642509259764473208034409588981772207951430077877573010952228088253456843060633550132354223490585893392319863322094862733631163440229618913235375529034613166517564185115915456406026698977450105935799120854792368937709726120025390733907308415946802711998118232468953564828675657351320531147197017861617189095921183873878664190935163260909709994183291847305364891431374244382823795392512000000), 0, 27531590480531411490443608224482986010821452000614115393909347650175722560092123752801284700747579797716632009988120390503379185984510365763807838036564674322354964658931517555943551491639749059167457617993794564891942256823318511341556599124528750530551663931464289514112707286947161852696089396504271575857610780616080244345145958570519916288280071362821863150624001020907026067291078275026535417407455151192198295812395556447719858128974787515844723376713752366435802177724206512745625511791832930605497077367669780130414252337482652419527165756152135534493700333926601314017672966853351854999281433175902699148094216970256354318797604553388265068264375281329883393335807321840689402961529941539115822311507944438966320432114147887660521126972134669373547116051933734262993366408259218997946440036153614306841355229633647044136073440114495019149495038391572981248194846780370912916258423426953755136847403807953824046895576795076054020501127317714334516268560355188493884145104132814257594499362255614449991801236412633084742028583592643187730983414249700847477706066356454570052930642570661052854270945330427230819450880000000, 0, (-5359983407821930075027366699146846735425985105263063071088630983502001034001425081795069602986818652806041850159398861857736201129679731944337765374259626864379459451219824383305532980099726994862341956100674726709866855112518249675690841786383176140490487044566832318487829121237209429895620728496242072409542267433895089669304355467675706430909798586102591169388534787765652023271848684620764515919320643488205855738704716740632344113439144969160492338330135844535376151050382290373899418245792731532637960878332067426241311892387177492073037394205851843058544331763589351817094506147277932809374002561125255878799404802145573530662847280354821519580120328351212163541995671555871699202852703079589798259105880572019876514300222959672466594284833203960510301225362820232327328199028920054504078806070671754380215820760629180178213053660798351464111147445728906332873470236194324771139658610856030119394078719780488201369491778159329410892243747825803901723433468552319647706635613741000734123842030664704982867364263903290839621541597395678780617245799827635080120095625327763077035294792706927276276765923422910430576640000000), 0, 1090878943503882712896006099755365275875502014392756579374601095062578717525318075248048758017282480125036324558672681476739815301911158818038630690757922208091107627693807126017639058016176085322404758913068845979305280749369893782318701607673610097437217639786365215417070922901411882243736915972097384446827405874899210281808116546226352572895233381072915645444305857617059336587260339459778186491087787810836121268485792348824608628902377961510899474627141205569445687147588411928236147622221540405163999580793581233804056163873500715227335085019622717458532927771464389574397015686252069712346273755935675303472900734056566397879102001700756401770372104234270246325231157319566108476991007793509651637543233695967587780736814164148774351117230442801522578472892469508135429397124665056278686271127343713362599872965307675800054482962390424686990749256432471082774296844013057317090563661651463171080011930484669416360358777350172656581484335276479380470361878383366846179947537440476425288512011655071655162731668727824100818752626397404529091859318824564701716244082756910661164268492765530238543850729432290762424320000000, 0, (-231350792808880598830900978565745226985765627157597343012703246139561394391463492457107633514931991413819543213471260268858153215636207424322725219455878514936452510769597683429549993855093014973009544384490543664004472073818637647785882292918175428975062762858100772722430074256373054991934600608873351301513542772287122887360229536612787350603909215683646989062287936145114513483799923665975074630310486875863554524714053916297147075099040918631829502084780347180520258777859251520857225498633555466181084945188689010898061667232698974585399964527199559761894891973430233946646383938797664331711214395390549877109182924117361431652910383920549694520635555686932684268513649876425491334966790548864510879709500861857624163740151680540456563474358880878135675897282545316502752421832177964546778776384853935132145872568700855396209150853891844199821050487471780699404149460549618469387556259654937971531781771678660612734249943164236486936299341926036632862149043927336983444825791059933703394850129253378909302710149433382995150460714309349472248883566979328639920362988915128529500973463983627539776365316475934610554880000000), 0, 50982832206163466371746043082235512341708483704011547688660910395353991456963839522242396035856578828294792324015830844632554841145995681672773623533755704589369858654925665845204591043187994354554201235694689660160500938463357955286903982055588465887950899193972628699180304363059912119344006942839981970334724594606339506424529535109946820387001974240982617224045906863432275307033992833616638825777245367938739653742864447299494789164277879992635137181710659941273482841777457238086035555263344992105501682779128673127709295022665415774671063282128603992526418339687274501122926404225716938754226420795149119728199133368541521067189210229015892529411491475375420249001628110460818241775972381730645177360759679440964185843711545549087223028485034979937367990438166446168789672618337253833206902335959017853920200623817167081683109706495870712222197745526741495066293052281653050255751724679842539794254237662242950096661620036702779006892476167487979526104494867277248477826687535713179137934402975895411248067300508489507042780572082201820213006380125897150911931500018513463621688836803817727387970418537917946265600000000, 0, (-11645515944297882662528856120837491609649157233878248180767415576781487286164186158735031940771629166957578773007004304854502300268773330138580950191930447914350421025796713096016821613455811138200765863003481839926021591571531755290013528495996677409354396498904228334323523472894703636933295871123323698514775002067797972098020162681761118042765824825103917747030726211356858682013499636627805884941410331698706090701063599990656445128578247008466070582296130684149812741784095695289483823897369856872107615919423833978677722216266043789547603627323539000044493502621516968380722113314439586247348488094018132694524405770173478072098696114458100707011558306171538975640504645983311256786957765746961262035805152170114955595195941041606985011078506153417410854926781723117038259852780808788197944970396616348613522400893169728372323162419041767654970295893756309515437075619853316631270799585599186870796517743582873829028888404986979629360904518018772270059715044634165981264041708486506960337317378268168325603926699083139830020866251371706633709196876032063757557319622788349658523371102768865621354223864334044364800000000), 0, 2751189783370525228984232066297520014392449992849602314934394683598442439169674281324141119200556375737917841999195695465014943006204492550978465561524591690004685154587043922582593784004675966823358297294898822105214488159713816348555584656745440782271145176283364458051772243545048958477645058548890160933001614523005583642397802225837619608295245975538259412089315542467300892440783039981773770004279206798791361855538879185574721226335239564558280538895692644232280344630402902492532937074405012289846863595446798727092912733905743002219053467085914612665351181589852645051886228026271297724920013499554797050407549138899897112800171849731979458889369546349133403889498233040420522507336519446491009858965914452990621034038972108718215002812156772069549329710167791914040949537260566759511253555230425185450134658836199566518722887501566029537870108123401433406413781624425453556165802788898281745729319262681289196338673807973789588686152421546865958782159666860434077223936008854416359934335031308568247963313495072600630874778728134789296625347026499011306993100032248539339154050565632821829501098172241412096000000000, 0, (-670899459601638692463885101000291464514607359761293417713763569169006571606461229697141967127433068961113321719393358536753543399472719842062646664312568414962961665414289359492712416087306930347933477345895129088813265340831595874852040155336152576062301076291903031939106445391660262349914518717702335690538410672914810710982051526211002170827785236522570636135778525305322977042546114278194849371080863302075416969942554328728357488517204015823160031524378060406373367315422052479580649389222173286177423204043601224419766175882567070901557271799754311373241487154656968072551762807159370973386394660268704320648347429373397864058812032433791168969685017894060861826007735671750295107001562248074829258972033834900171339235676028420079640224732293370072706536961101625587790638429832523722418871289732988538557187310465552630386129210850868986589291848052215099208600056118472163838251593525880675883428947839136134431014694554302616149961563364686984065016090761269081972184819966846465475174064538549565829158637405931420528591202202468751614981362322908712841029032192163779521775806402968768048311703489740800000000000), 0, 168579545020464111426206518548317765992033373711314532653011386400274491777324357151493808766060942292828221808422313493681463539790421724041187792192765221805189212870908285572176671564044083909464527115296401804654481658312800833960155796213756164286281601480270535811933933447552174789655945408887115658574584126061332983195977991420920805052207403746936309602572767894245117731717589209350039935703891633083296521489860847616548485558455831824660169323839415509986880725717315077630713899557592149792135703454795111632497050101332118576277350046098173033498465367165656780087434121256306188800068062504040116821668407460456360756991906160373005312472025453463045782142612529995663506742231227506743074956760576826034434636123826436126636239876318937889603729769167395962218853243062022791857369755647314350350800109366533485139748824981467410832840559854339721362527456909671098034032814505511411556165901846239126992112579321005331711253102492250906513564524192928079444594237511262807734939977780249146731693169492711587160001382793998719154966621983887633688383870728892713384302378198157950116761910200238080000000000, 0, (-43578598722295288351414440550110140108855549489471173298158333914567040926408395673683126770070239949967554263452266859329566685143803672697035967723335025523741906761457316911297530597265251559982885612088336031785035519891963569922623600671058072618196443782535506285721808930366642567541699892995260803941716640540168171040256993438718189019800581927061414218010793210111183105056801725326881953728144037084056411184432472039584517756641110644163521620279561327595491244164111910700183599219002875973870352687034005210440112793539782319219453762145133292009554525017889176842571295816740056317148229726645010974008082333325643996877363079493359793132767670918761304258012940532395859146528165078888816138957989884535297620499074952233303324523449007533469427621114754004082594554203387207985122258102576503052844177122349678618237667959533411101457610615531219335796975790053870391834920663154204601272185980935468234739190607607752640143829622367699418279059837446435306775733077429791543428372102821363363251671078985091704512804106634484538130316988781773399897433409158866776125284640980141723130240937492480000000000), 0, 11572779811365288571062603729400822926399896185969101785820128834719227856462661818156388621930957081182522665528339401480120904013862390545903014181128185570744597924232397184078561431082612168519140880467781556895222268255213154558174692342038297089026005854051848239217290090001743553688535324498448010899349931484633960140094281143823877073291066083995540045236982610673905949069961115156690075001696565651368934692359670769594664977026411144543114060757820353237757382507673995020417830294985610130262174810053317341285825659679850249889851808664069245015171346861993857143903071923656973229908477484832998397213247623191631221458971291636213968635461826892618545466614712709830382743565127229202599746657224993551409753174038563965171346195634955762988208191331369825839269887843788204667067430538734028661533354904335984487976842844295438851025018888318338305075890014982381802979918675174024305459739457933053049761776347982772376015001439967046202678663434047421217863445536527481366005227714783664755463555761454802877109241386620199854373568157653513679868686007838965598592100854996320328551352605081600000000000, 0, (-3153039918658014131040227766051924599586360363402719158082073777474496268601762245241494506926181468822862999725958246581984842913191263909913510476935018573942409027966747770253017029845903107110416621634602603929191773731079123037409691168223771522526669424150650842948469911782002419373429928669944214797435773652833299984968439992463358236122402677528853161536287364517560137136172627141501957963752095961865588342633432343484305289893632518010573902671365779235601153362659521765073521630110502578738645003008813715700203836912113103396429909084457953363851140372750995362158802664696261552481211105552261930964784401242165814325184554681355838069625458609351032889056194006979175187221621636984882663099766105833951596198990043942481682236361556226965631714559044408297934829299158849426808287580290306642184954205273907437898855646786646096355267443993881217123333878928726231599722338116271177116191117456916567903084121917988647803154915820932887507221139409504479147314787546788624232672999622952428870407975398228359693128482870677776017165486844559629630535151330033260401508788716860446123101257728000000000000), 0, 880296619368781775115522074576848947234206713239218976502196461361613586490578476800056759495358337101652424541642542863725462641615373645836739566936524350208512108296279626827368211233422459684684566721889618705902935406452191768431112581606099850893778706551394577016264083171567947054318002887531685844081522479143055368244807431846404883848180787555454401231048406930721641464335668930912221756659552384322423916363077328370565005551224987832646541301747629116267418942253215223615255257815820888077825340997553560598089549174297278937128469531905127464698319585891779018825036902866243381841401273390276308248065907812608212469057383923824525747746357684057384342584100936375701720819135501061717764746263965861999019090341478951639420477364943192118907006252595706873428428702814384781714298333608951661314832318095426318218204908341895783144488684518411369227026246828098499106010638111847038026150443433697220956990222746456864010834908441499155867022173064174285065646602461509899365872049467156702866362094351727119180289402306435798523143556084881728536446885416831770650236258164131857001015672832000000000000, 0, (-251570665828841435853785102762031331161626428888688171626844591873164251876776317189866229208603463202791679099344333965925885449630392849694178535681290903713822579170627917057595686685054880957324526820812035856251913889122451130978904856438394324859749659697842422223037170169259311694728067224816742663604163658269308024633381985823979314660372858510766149588523969186485037381508408192531129754830098524729724786598421407525597120194207911123364727005268506216385452698659684784865124422577498462262251564056866282214130270432556875678721352401332384817595426016252094588203939340868462325268571137498031954138591064097430988521085848585658289167375326072929546355563196908781591831603972015046051704298259781563701446670644355336601858627204512395347871386363613984425864062562661011488987487450023728560437801690989473490767214468948578274845569313300854731055101900308092064806909975110318454890851732007083920317185083143718814630583435280544170818415822370481623951022203096064238068982466134153959633177194533400712559694039723927396151881565969481726123492011371968259103338406536754203729529405440000000000000), 0, 73516380744087461984543575674163954216368092491164895671222589633578279750043889945308204199832792321853036894361882268794290445508627129834671680261104952953722024523001125575976876939682672092425639010502934696548104628697248141195516927519403960778586340586817860909023053403778543762295040097564668015753806135606190753685328812745606414721482977082615349989785638040707144421509076828047110992516400130426624523439814636198906750281317692067506862240074020805460602613495652243941749983197118394805380358878216162185434049635276517306641163633654430541492912509127544506864914985785953948779173484974489768537381350127104327791387722818694711211332718001282561824318976468772241059823073320734333093612309118308271573294711905418273115640284647635170959404623873510573716305493455402755526092473241973963628613559164109620048047301421395388897119214406058925537450492513892963212651867319718193521719205821245163331827406628286209966164373403933560737558011819658546430404383391797907845150971908136891291604041243400494582996053304876364472165014290094529465038962813907258574041733805158353394320015360000000000000, 0, (-21948103042910625539845734200220564422163791183688826666847373307156862322362866087142195991608952739601405327342583809306587171211277111857297240300901307667459519132810208958629163333118727892578870466826115622335672948607146505489494459602968233947990609225944323265812094752901090034137676464667045445933729422127280043438284724694938728546435930776569558376324447633036649842804226765662058734082854802118194376093307132009381664663164122536295018821008412499014924048712086694617022197490650870760583711097591629936974947371898388391461428257477570946029307402263657952520418524940958253740080135766864912549067302197946230995475162104011933377519192123598078770360078689249789966744685058638257806099904713003690917867070856968549595054504747161113301222320347366974731424914796018690866613988796844682527769149939199564412063863560389931983974577758556921128456735781850969466182029641051518428158791854961825506145455562434678227688810967303359430813037793572803234690453168911980439891816586553160040747835116457848241091686645190511568513084911040515116829643679705268333908488422098839377406853120000000000000), 0, 6688432981486628734374072445073855897374702741425480965859379892706382660611404432546235154493799235789829773764827948008256653470786470296954980448763889438183579218079609502007780199654630190912631665135776429584396156325478372859906451843245293461870704930295722244188482487600257181836179071420500328365616304791263159359818275402359716061321594245855444180660317577506517093397936674843348468340216576094229648783551351172724164437354659543449169188062145560671311147963037813738117354986325900941273361169285453541096643079518332435553220209031070371120701078598595037707244002595549955018731285625345198627878080138178041430424305672957218122778298942992779198930642553355017710423490465859909925072559439626936291649140792759536915034279115344174757327724472777266750741113359837041489203968022237317526271216858714617202023556066881105167623738094754698987424811370728769646544414604718002923826409033630591589604045708180761502799219667356150313793675000500184357481983163328625548850521493602342065592018882907793456926613051916673144357404163725464208337004071685922144343083330717582800558489600000000000000, 0, (-2078830324463789664205022308124647693745675658162103307757880719723721030710962776096755801436562221019657584781243353267369820860696631323321345858913670009522390490861240425141294628038271983036902406936109195467296692647807111133614816319047176253448055461537538069703741799120493377860064930020123783444400697925685647834826644248742562364090235363146722400351179454359765532128981214983604507773858051501613182639124300820229398297743011891037297720041597158357113155708977038678716497314255778350251794761016080517447689686346020959703165119801000011019033075553981215508189231187256978129085266040333647159555246504252857124963818082745243669619274600327751100143562634241499826385518820413009462987387069333913120973858841238911599906311266104260253756146914265778038168422837929503582880226134108880419871687129897627786750297299814380600679055465363652022610168429357188799784209640879043343054734376437686670841410855958492885607163714891896556735282412352463481809772656930923870924767846982411341845133180395292125117682989372373185639210061836828534249799668937670791534662713315997618536448000000000000000), 0, 658503342465128801297044494413070789911293652154006636733220081475235061315095015505798921002969502536972018564875140292601843253417365524508603345186738192440234353511016710629513341145690485573226710328014679275745397772058742486251329055642368647727183410829040817889928710036472181077740746147202803163180321372787241541411617100776381551721990343258575200260859483628624962748922321514099153275327306590699397067881810791402207604644671705166746109540070579228938395501773656063203732749803777527854704695622157306929681251710698922829756419196502757292073505195762604671046234431235366043488973403483506736388931213993579836090369815113183490717023008690475968792580869339617420288744940320152084734486418015482874661685911655411121920644432804599415074292866854399233446507848681012201285338535404627719166358772557323014668569372517925091873937203992389061094997572845375436397191588500554029916979307957856772679188954238163841770417777429485544846886904184991353492375306300039555930998694283381696139973747811201369394312411340301033545976668444924428975268254776563335749424044312712205618380800000000000000, 0, (-212441841286633891399003080685215883792083651561046291242101665477914322723158058833004226689967995578741074554432127463139060886569067677167442333007748348019816904500534689083548699858869269375419166762897766285302318458600962723489965590862850514830808516345193073261706248895178962841900609567040869064974132059978105528150740733667911312681713918347641418718014414065108757441806551887522520281147282404425911417151562928023791788727793657501167195577535744955623852256603557476917720457834386183638918360960782111541933533402002584169947636004280265424328826609649826122396051512573508795708235623473373599186846083230034001645841748518605094433950213155513431423522745451292772963781169036570926711532029634137404471571725735069411082966677944982533459652857915490657515692301012635677634045187462964751940757764722105418097764721741332405963065296929779665979407899052324967631155830555402919113750614674538830626469076677419857893611933705958025918730244868784359990188844184201993343721939292070661323600381762850373362247914301713641959514929706518104683111065386463056414941556103648290799616000000000000000), 0, 69756371456274377093817589668281108013885704494412880465203581946050708858843920113597067937256212708084413580358145126024971729710166187076694517683570564779070742923649475129262152543886827406535286507489226583294561214879206862258019645840416638204833688237538365715815046175781863295881392480868442145822753152398793949843242578786056382986404193659989707151098433497905848129160324639579375199195269737665057625644578003103496246172656602158733530127092367038027999033970685639401677246756357096918221930190576825601530419761144711921090768224008220862750736445017061049179412065103705966683371765020402983767553630618854315068196543334722828692494778547154728264086614622450070672831665726256493204964850936479503058840987740116594765259363002026899713557608922078656331042936391461046872728749633906708273897089606919968952082755668755365555841299973123876087965337334218962737393568090085403944454383920111112932831353754744138054348667890237387157013813212339933570095993646663616634758952288672747569930697493292708192098336851854543630130262063169684072767615808602143203241079613100302270464000000000000000, 0, (-23298394974373466104639588864896796875602571372910505725232052909336664459887648093168258345320461936000388040700614508135540097251227964760681465667004772572212233835108635750790620826336607678673098433362080080746024453583351133003097015113749962519392014729281468489900232470664045972729580970805886679083856131527067197269266943901947042073541900105216536952087636821114624344570882061672232140492568869285494139072690561142145210868912584055033173392821498226256789350551011499939494483393899807209382580453071616865552957857642009450187438142499315446281128899446298834140406068524430278958552111526140738745321231177443330900736093175882287047635122184813622857763844466258731199225286500484924700507101061041265360949564103461349192942546137722052821069411021313320420656217511097064925361569164543531878503124480873390129587574518751588866638664398481578689199269273180415058103938626421829355492503216848613975071450658660120497342082681768012178585412049483447313976738386810205564523117954367903577230604358566459898720100825878445988341304774122192615627191655167111288149169271538314117120000000000000000), 0, 7910779452325991171412099309465120578584750417717655572913755465434740534587221033672958601509945120715016450631214063494790217556576732845231097833407733713417090700730132157296703088288929032573257660523062336687717093375361981750825203194518501683211057842644697606422114329822095721216016276629836853877762706273946429369311102137927966437320515665278775346135273299979868042449281670215373526453041362801129477764795117723915807742013829606906985166640006705163455128564975424452354723459742564435037597205242875392944898125347556837830784461293043432875954230132079553641337172825440275216455771416793578651668548295746853269532230063112648321280820122906717307267359688557554115201902333166029684710875266732678796867931385273700021348164941691059399044345903296103049899327061617481945244469101044402995155059423848106041158105288532773171301489577627895875396861739104964200445584592669678071524887586766239014394755497378441492164199396049032516566348186467602383355547600660448516568741420213648930461665755857261296540040440239988100562410754666158813911743131170798319612242926583257497600000000000000000, 0, (-2729175305966767898225570920226565217617377068519137753115319823544990733182645142499185196373017468609725695789821044580103653968218254257358069726837930773801214773025093664148245806035929453747816191955776303014759793187660614669174032157117706046891608132334998966244057464589267505622666367299142310543395019905904343848818051291209508339449028532184728852181131986079164149001106633977689773100572417908089708944116157842308904005496455676645415759615302475818147316893039367478173526500850460490570534214761044124501581549295564143106000989548172141805577650834018577189274865235792651226536681827695271011886427742544453127639328609659731763383341386366092991556268143558382401083429914896419280380786765961367013240086405529699988498513285067225868959715124164324940803308538461969746347915386937417480702372973723903509906279461182159938454878519957623294186161506138877417779300588244551150147090423712226530847640628250005880656903162686221736831364426276301689906882260314523946112291262265207728594694768183398410721030131506811952947080470484074096754832245206487507395835701463309352960000000000000000), 0, 956189147268907255704726572616225010365204654125447025114371856969837187079375912561966694572893277460065282271208918232497772332301462246680386682786364229053630906654888818377076174383278720333943468976987093504832583079905573969911317571921060886780506916699295698380020464958580952776198824083475243566352638317492479438355198016408432994384192436975638613726220419629322135337853573005501156752186053149640359093342199898263841244115191035344578840900896265039744413358937912967939382133363729754496946225762502558470266654697483796383158189743317521991436607421394497018259456689680039906138259584171783633679549669272370535612092993039563134314129798029558359371332355491552335318652572847819686784554068345350852458642213059241530722252797015731400118620661477097291387646732985111049966755533503162040112776274167131170750110597255610624266934667039897615768761609932744880144883089148583959951127806340363218584460723524110647885300372744882479661483187786572315600750337657279436543441707188011234318398528509975223574874825942237627493271784439086984854765740146665503703394495393431552000000000000000000, 0, (-340055826532356774833387441172638117971509870854880515960276631814926744248529555662670146891569681752406098957610919030413981326354152455652082162440262308861248930310113928664247682580738971604440646192846727010470668054122331066073088315225739777513462053855539538944634667507525731255952763424004296954815245433144193322304029559560323383697612313258840092042754625329558200855454667325059520740523687104278306779471642647452680681565890026582114108081593496264983489702562018537589759981361935971734716826145845381960028877568983990061740192199756062080157131880129377615721452868278922751580002144670606125520838755015010582827183165092792782830357383079156716415453362125918877266516474220696924889184899692854155342011710632241623839571799068374753905189845046374508656702765346014849669738340897601671332276753933038893808244109171891722998167799912284739786443854374648330919684600025343426238908435502409478054148450434381165955777200153461888199531199001100548614731669880129590695373536384400513498533894445511016727624605583800857164934653726370180093165836805959683019819200840466432000000000000000000), 0, 122703214275897183768254942561372162745802500827281082551494270805848066222216970447176750672142190785769378548930547956511736178326320073788444514843102369160170708570712984040881115474200833235727343699690747921825477879864125934356474475967787184733166342851640406235196343568564172142549334034165432312419582919877034966651719957035748576402082078545203449947991414483711120905969188394434168919867944800048008180956296728532569891112834907112474348803080301451023657359230314713290947106688653834057236084508471803005117921180103678019703610401639921188565584156144682669847098076600519455623980697038811057205937382909345529418209345763690320225846910397630304075642974957256967633063153390117826526905079241455515736651444874833285563430600708647462717382014410093573090413027735901224347768992171904880340036113862703105489154705599293511098311202201744912795180845043769408003449839992705311747055829212738532315046041888016792975577888268176868934224687811226318586723580160824694470834816316672102169165923618080028987790647039856637643857236648972640450405265034344435298912203020697600000000000000000000, 0, (-44903149077190675075261061378590235638745136918607752522896955526719567819386446775819966384342845891799978408586432345393261087083441160031764111886382182633541180521184296110071322846207977598916934437295869286570405070957414114300662517696243246838670707698924911900554540819646373196826675164259204231890502224830496526169628601180324942984385286721511150155796458174180928664032847576076002632406990342786519969709414348117540493520397366504071373016564171222343212659394022590864998061046280973333591477929826236601658110903876463744263318687578802106489022288922248062751017795817676391171858071419663660774037868481374363705008308951690984767910837788215484481858011591203442621854625947203632330236448886205972850377540921165841343849721110897495137014892384431135784530420826369837615161109080066455110695406455742601025895368424257039052349294019104132417685251637215569143013586608122731396454067600732376245923533052077281933478295011077581784282627583250640059873627131501947080628193609635781209680518133515022002818763712337911233503008626896724882487736125663779922075085732577280000000000000000000), 0, 16658595185186984202350000391816294194309870694418776833337402965734704583327239514908892548161021177713914241463596986792881647451305147948600988880920422707464213923339778991584415778813199329749040882998410221921036489331686087151557665472056561113008289970356004229812677358680494604457749826077913083681099755545177519691227646022779539151108257263942521531745405050772421123991116161405110763775100006645458186359520958230741502268772327085287780885846994717246798393162433789543611362304168521972797724185024064969276977095588904524407113823548604135017342695550671025363632119778208765922184150804173187688216355144582489549879614581709128895969477052465361050732186610529101276167851808666816215381254898144687840638730234294984762962229951508891977417039527592615719962448288194724041804495890815440548299806364522474814747250659977430596454835628875424884425937553758572975850685246342422753652601672806355477209373826121512207430465179931863619409336638503683466083468002390051009886024325924453270131592057149448155711076139534858685185721256802878145348274278156133984392623874375680000000000000000000, 0, (-6262896700779941013000948580439172120326636419439639912451357853801682819770246592946260718300725976993786589713386516249905183638519794250471715392135526362486907940667893969371155449216708676326228936439693046390186496438099734500110950640357445438703188812079769867915617926577146504113969477868663320982654501693626391687907308120898963236013095418919907799888706546071276177111790081334828184108384424838497930111922946199229870013444259388769418184200124917181471279663397354787991679446301185856098178757668617828264326043437358063431084342203606482200474721174522487123272223879105163803728445807573387172314123130187016204177452292568935832744441675910348862618000411800150852833510811795143137336563436780137870720812382273415505336705049264922581134564857422260814612378893094972411080572432818548953773801197485034535882937124435192053628311865419677445085899309009608650755221461712332711005641591848000660798244535546796167808691642833510050945882275808356570508715339087170415888025011615772733767409593457055380002053145381910359525242220745275649695535745284100362257743164211200000000000000000000), 0, 2385230476282736232596137527487976900612428191617270345068326845390236008342194269303861353885253303767632613626562989206899267110828498528917043013472097979281662244486287868640790009491440345285677810386614951381725950997554497069849583682711684166126525536441011457239747412895581072596096641230388644669620567193004062021939806816324150903756014783041772485053900203563832964758534067430174946254952750167479602752393250389668744849880597425802487726910921632632965770311418220287532644412171974419716433245474594106781381274221892833749394849111358005434276553547344552405330453302961712267813373167238810042120985428873339997217281854397577271194994096613535191871856613429909698443666521697676410059325724973942626902014071624567190562353972477469259870239990568356777953080302480058099083216810149319560202933832041897705654109692664395136791546530561799344971601421840504395537576758506104502194420692379572325842032350002659264523940837643238126634344366349146349951119810150185381114504130727966882093407246529406744144464262976972884665883629749010604652742185872295511344817582899200000000000000000000, 0, (-919929089727011129081485279226930070890738394046624541384687138976298769122251748178673937838731800438495474489994343833243060782861788464869109636408023040031117426505973590039652512089800910317863749286200982188726355867378724447583763418390335857845652868171524443276616532735895221588804415519336194354034423709163033957141677004324202473263140321060608720760981311730803328590128103835262449381162961509162478501324981600454828753504751163213683793051615521203434255164946413869062099858352238397729870117649919767324649176647463117204337719603832619529461877319679147223383031165769948843322583094867966061274664339132185262986900638307586990293793858973032786351910023216761790869260667393280705088391443408725712859831589410589584670203639636019433841767980758931635424160344281084850993171874522756111767837702421908120403060605400373906247695165540504551164633469594035547089474626586921869666355939770234512101859011885409732152197349491951990724638703931881512284289933569705541427775068811461148269814012774697498203639086699671890767604838192875131011005664237796840427980062720000000000000000000000), 0, 359174198014527861278429059181035667539943811270869754961570472986411557982029828793182953823923232191291822097579528662834066971347962828856178392746814083413382868269707137052456586736752135966606366561435389931479875627069036848136708456300148340116188887448351910528217493921617238980608275601627981521672366090810574266605247826234124216839266722730566125485513965806256984393408163656623616102256282602432143076138051015219661491071235295157056942634534028568499224854990004533762793720056670359940588247852775734890543664824724397981788118631781504773270681742272967553726769425155897246520752062722158679576449272903347198408023515139537780328336007943704453749224097166467127251169513544546353642980258365724606230195806729748175672141568670524505072131688653630264841263462265428830171099066237458435994910266703748294766215361141581093318288413290418391500307087469863529309882067430232485667817233459234331517284452545721169757839639869826165622308054836705740244981904095625257027766335233811988210343297207888623660966421152775270950541659391680616857307440174681619997990584320000000000000000000000, 0, (-141921196865931158676420622379567973645057317824633804384889982895106960801239241665648313848074409272591406041781346776476764259342165973010277128428362186304530896878459933398937211748142844159621173983642361992369932750002816682368595292402334166661552077035762878612856271607815074094012458095845769642740464690767086672539012802426154710123151254394521700071912895397536664501059399882846673870485210888776307858277282282563447569031483326933785817360444190684653538765116170797729155384408588305946049315253555836938662040381856549444902236677820741563765556352880705238510945642404513809237291526486796161484964116807818314641865292250448624215201682606859529219855358295245139835005221603643066205845351755479855058887399434974198223762250245567854037858700454040558625471083308214182100541564484251621682919300905935230712891968238369211544404683180576073999481094553952605948857415364689217729286319712557153882729274995900953726809544049975720254082388828088079801511071444708188569517244867851444253722023316203377947277864824567402999327879770725374518266361110295431579934130176000000000000000000000), 0, 56735069136578422214155303544696642572027532038984225227953830773367576573665273908331018920379852708789994712031762662155308120058574945777369895125417318522465860134706285210759501684575494891589665177064408762356532312737028037334602190546784071918348334366816134618348261495102319993771955360609967475194235489964840366832347941902534652698453934934144035148593876385012209271331105756580621227467284454071572209775163678337359033648349806863158673757991862334721748678704990092198968018698149806710772826448674396282773704228442694287580451979280806044592900355137173666714371917061628366416324283009735414982421018426447089364795646492215095585726806078984966595401482077577241382501040119852644573808601886532145964395464525117922283995741163124619885161554678104205592418767559662495916456034397929276436667501271987793900932957757902456880734998492414072138781946017332611659005873908873649551588355330683507490018624219438724199832176635499815251067395877986646871083343193040364296129207117731593411786171985019225672912365735566358281171052243045566467220945852761091290410516480000000000000000000000, 0, (-22940071914258592745095528025029085271329611079397584712321846025381437214071513032820285638202887475025878020849695520665559002197987556499316763116171709832601438896173067225018881486819480122361498209572589057879078356218919787558156279859057633007039876581006498074866892989372602261440882445352099480643720703974727011165077202432566055052057565815670414864215654614977308812503983516672178631033594692146232172099619628636195702238060106937359241281008764098399031043228063780658956239088492239310722349886915692012884961068366050547434291099554672125388118422435315776305110252898727856737193483583799829191882256435405590219472631392900260071378613889248158810783761266611495988401266658870432897052583892315607551939122028930036802975672121297289168097021602045005548884528294259218642631121760306155123604837790821404064090314049924857105807009497824986683358155562076606368962269280235585032489574338006020106479509591620276661917839644236002846782686552211164390431460553669978836280749297421029003302442419015360376404240659018256731939703775385339632267031642621283580069806080000000000000000000000), 0, 9379052405274818752738683405434591839226283121374594898018759698545912432034987636539674716299162781754826932949812606138119992105140511775237944626427779516451914709582272796919184025871432755302550811210291066848504092105530193380887674897077167300943112473317147928051093981284094875639790583115817234703305739717084105368711122547803985908692825672922587335616704920935232162730332715048738229695092155111149086943023684311524735152722289039789436237055656402285233708027923166944121085340653228384911120218211837469307102109692696966905809857941903850984761160181635678837694175302666583614868364058669023050099992340223300701103443795110152890591487305884270763804486953898393745237008687171023003834992635245401255673427239640650550176252280773861979917244218058856255024231458165184853807712964555546676999762021656200116761852194008632135007730223190288851375594232710710023050076174322949707924471605855212006187937320018612921131399538582475994307066164994262797603111040986447039706488134985836968530620933039746931276882968381214940182830995960404774231188718857147251687424000000000000000000000000, 0, (-3876425178782113930905228495041753674165564513481449447892360652585322700319432206287455050504465322586814361498911132865170255141472834498058618407816558832900141673557447215573346740757692875023711959305386005466755871442521104292569576762059843966875293968209011594204738091797978877560533158803607152743938020478575542265975147590397266173606416405870308599060740974348586852292728058417750378723450662013274134198340825344039126618849686726756944287114350970203880713880262521513132542538556914189259377937606979833659581393889046378352974280480624295095199387605068653204175917463038400688132005005536911208659090754848550727018402579303451416648258948402627224202067058220006937991389206573155252608941272624511267508269052006558426678927930427303579093809086761876722053447900477972620139864264637124284945538566439846027392433974648634640172684345600991387566600899738454151075231593048315470703471101414286140055885022615541973682099254036062679630404136609067219914369416080777864262075434245825342382969276218342295196741919422141317291292600440585758873002143174270860132352000000000000000000000000), 0, 1619213662427485323484604308947150905560386629412284817229607818429177126015574578272252701031057908542385049237410933018070508318303780189100605220407544024545184500897571281565457285935058263248871256827960727118041488306905971473239573078125605100830958388954752021297388686770699625156332753999186316643323198953964475999476589563638081502566592720088571056820434896420694980524959309597990240084968810416929793992425193605825180695290752356950081411390860421073249050824068245302986177546309806944050410352864358507563935428418383187038316810549282242160098094266273249181887035042137597311369271383743403398237173607353120081213482164286521583031127219571191464038246366421265867492421868338354238361429410708547626411337354865220206996348102086207150587486337596784511967764941438248577825270918259631883846419185005287121930448437737589269633407491801134515658248348144110931794286289925391846890290674973662654534286458243622450094723533433985184100599151816472476435422853916243298313685720369414797755345627932009680542015849872495608264845354145716432187077377703969025949696000000000000000000000000, 0, (-683398129415644903499014966106405450169453914182049706310488771951066920270139968719267121823990249773174825846456738728663200010996172150317311556901589889563841446061354290036124744416032318457693304802815663126810396002267100745825247790272442741486526357678463440926224807144375891034123643972602676215038416688609789073874938951034576145388219427092449800159464015157442231898272403300149107259133421548305986543860049252210301925645222753653665272586001060601890302914729765125864456155253907249175208055076240592801447212742926746115241879173086284209815866435893746603633416559905329179922997124070235391982237503954376102055856470648502038745150745399218889807120982874167312089358460306472466407326431079715011467630795110090483480185599240147735920944103865173545781144575850084695962319699493290663124527437153057467597252815207896939712779261035640154970750537184405530628122832144528624732735855235194874473038476357947114775646601313828632353181227937870657992512712574423811620199434446938805515311111634648922459686020561629440689778385172974917943795407739313130045440000000000000000000000000), 0, 291367483952916526596463591692173896129974853873956420607568234779654201686061121517461595718730552496380165879330957285019798104647536087513135798068655132803802014494809580631871775512079163184616682310823978033780051037159117713957299771201175611863795638920192955154229477520379236496622178252395484381572981416073361852141445766263491352568264397986484069292797688047818785550978229893700269508871793874839811020102750672668734413242576708206379924743975435176670371731804735373031779641179527094635113624851883987619904200108092477192746267059660242612064516822515318540749439393436922739025575620322035520749223647744684696869167879738341611027275806153021512861554367175908330828279799378056116234311825540271433486126499303992942981356799865518204723376073946648127274327142752052748528482536378198065689594781255080217969664243421355528818796209484389157154914591592609810370137851269155612973282305476760033217745195271019547280344794070080767085460446978169889060640220842116991201491456082210239890786647077012444170116053490457536757714606358435198739764048998621343907840000000000000000000000000, 0, (-125461605948617251923512174734062124242133523456723782326887705424643316394827862654979642771088828575548013355391026171904712554960853240943090759916628925777655413461310610779582622090661945871627154287848961441400580558466982501541000520614977002228841954748716975623992124959712817771496838427252305232498586211652135119808554128997782796908380864771651461336808127603003229063099993023926083942845339313390155231576585104957048747353757198466194866430317235786669310808113819781167150769308489501442309390819978755495131107455371803226574900821068110920001053521716603253962738320797121736021757823671991234818035597188971753278305876417063424640731124818715211363263279802106395590149980189029461212367506621034907459421054073412057320472792313562903138216048765950254227436090394563843757524204115982616213892037104948329429843277390195165368847796855970893901605993592056450003412132985278230702761665526479927676950227212472485695383483292783246667567302330829096467282783449484826097595258114388304283006773331171450340428791509906641249182860182876358486448792815211118592000000000000000000000000000), 0, 54549604941198258068865671548971081167424061772816817871562595832465955640434199398164826111505587568101309864219447851753306090048053001174040479284885343859644007329984104561186777989569323251641374923366237661749607637119715481374103955628802019565671017017618397669935854759624838184919559079413232388332577094905482097926670255789400972714653054201821685428685853187581655412342553043142511064197201924994081585722479003336346090383726607611740340827791053303267161074174637798912808807402493666965339679457371159616471962859489650213249074330666809346031106239263124715598586600537869417646020294385822095349495484852178484204815973977632101049776657539324918454544761998617891762459047843244610327229157891495884684873115501461449714142497938782812741756219528505004756208889486604262225733202051655920529351833421201049979165463032317942095521821211158623317303789988716767827801697982046902710268068619466258935252509098412554259992213132016843845336533730863135105614505205931194798641070500910981948829071493867666913302406822690453624529620016742687724558837414066179276800000000000000000000000000, 0, (-23943932550465422750383823715317358514880858394522197412468843066716765185267747566555518509820570556381539814576048066186555336218881143485833608267802000998551538668551754165764746447563917454825711337200273615690199386764619998387326408937590168074857672543843532360959660564239161734260341405428704342612055260075351230697047794064426434420723304963745967893677479704139660764513255885851246267565429787542177510480876902831985624294928079673343501380537678636641101706902948042458244120113770107452553885105426360751057558754483460286082331129816051555736244632015294929738397112510331466623135700316552614329917082928720728014741271428586690761516520110788246561033936430406362734934384636499518784752568528964778611468282202839310935119119056760293518275428077203038131947449546418559244346663210221265814359876574076413084603926000957035927159053943444802596301763762262809752598800264025532951276850758030894104343546205568045167961479828579551545434399344413048020731756915559957890977607411921668736687117315400479405523041875803068606371499873024155420584364374238219468800000000000000000000000000), 0, 10608107171767990746600284763198734425113573669610741969353570218383078065476892942922060894330540599095241172074212275744085892578707157566441595549317774862563058529104198277355568008078669322623390316892326671615961320208532799467645035056942931085016102746107944773855524256839516191171001490836844923693859479623207972787446263916060170686964569219943810766643055930040456854341365262853843937567871532321970290420313837115871195852874945166606217299941883569232382452546317016668473106958260798135142041289102844504691776968187710230518321123343891089908445092436566964703205073112594454381756135644596273980799423587506304898390028444704571569907378318176362770712425251320496224314996176256070411249454973340174225433496734030221197030659562902229197319842816645370913252177706607394343151786831945814311262510547448552170079222357980229569343277395344747772298491018541344982138106155579977878113003671615990546541168640972894373448311614273440623349593258725412922183444045708327022819380299491566940370769668249276776788474930305599926859215534654379428287194552713871360000000000000000000000000000, 0, (-4742829089838297000974947261404295600656364777777325774540388778665134685966190060290540681389334830833617042863472339609868468782898136023833276439297872126270722917503497418822129228794551081060351537728842644090021749532607553588696972874237663643964163546364536625933842146911290523446745533389422809912364514130406938061462564151807166126543996445908925051274132408201125907555168060816817459063667460528584664217252530966643176860336316133701282414053884781764245435303082672451724325026516508122476748854776309736771373582272560990244884945415348418157593495128884359609023932955672012093162585299873137895244534821374565297555494009225121047648351304721841796778171024507622047752776301316441315572260409313351825119749189154489729169805163930751766909956643457106337998961268100006508429426319585363578772302948099752909166746820704429929132841148304813990635842609515157517037462203693791115469990659716914756944745001339893696113135590965497849603079454417511788206869083431040367443802291630540323167758306868221633811263384410295267038139611405006344848851330622554112000000000000000000000000000), 0, 2139517366145641697319258092965791050651335756621492796440866301730736925864841210239418706762333897603568397947801742903919919255722599983592777947646429282061888800280143289085948218468399104337492725732683222995364152260038293201667081758478879203651461800973688490985614752930128177769101878955722741361681852684633586525620296127033917811812456596026802725608025843963243858260873941848596376573052094322290413942479972639018673559969419062863078762214565004227607037931850219521572703481318622637119207109567494733691353923974471959504838330050298242829128972202341413048942429963139931396964773718412207652277089294641141659916087721633018419823624412955845174179823286703293845642195038595460636068098230188004885798551844632262369085431463297280149904594930668966789878953494470609085075001955749666960087564149026862823113064406454757644052083364188410681913812667962211864484229857589883173186383831306276213360526827392971903015477855124481500228638111541245419610282003408940880606866187930931687800087166974613299562981840752332879619133420323636432402847524538286080000000000000000000000000000, 0, (-973637665812096992707865483335080341642764080370505923067478587872440157536705905817149890930519921500937289976025821244922147724268868894635817739461545580039637376759024182003363658284339732767566990786614584448707938529015781142851753801164128209525158618640173537785990672251685583603931629264493091499234314715854685020774314984951885640808201044854964741512233313424514377986065184969333528272098983406759813582427803023841752814859206865919918064410625749328712124259134640410054128352430737592641198225795013432571138412455863213603414998557842969774348496637988136591278881278998130279215776745597149643990932777985258580050931523516288049701875150691938422943479737072919076479945503241475043427215661806611264925840077395089723743711347982658453077020070401341824307293878234426957865316401639749864586191505177366262828017018503724579374000546636661986011163035567948539150342872379359233528879503228252288534718582227674894350052094883411579780147355087600959775532891311009199776212178261168415979068605119113687020193422972070071929563829755155848048732717019299840000000000000000000000000000), 0, 446898875563143904822738448790284638357966996488758115117415963175845627453809269286892373398535219888145439846342605072502560530218742340119137094514017236657050452357363458498022328156142279349355680279302595306087908986785592675263042986842320132893739682372832010496563044808192678240988321660736700031751387950242575745504008126261087249884022090558830357372946794818600506811930881935280462649442392786292291917315655490038858810493491465866822422023474182734173477458199458124396931623451343429163942528208969288443128937958747876636732653703777527924806786988289497233105147837203016828694081046580849906881490436495740836295209394954317810492319179926385108387270785328849860096517910764842231375619899256410295118015192285195407012866627960415712579807963477552745625237170163644174154443093599854607557446044398282182872598233163703713368034279696626063896423887670662352521112615684024395582229704119029760603293790762418451739951446391126357905367575037322281247790516729047867150075009029079338763005069371919724096737836734243274119222118823202754268706684429926400000000000000000000000000000, 0, (-206862224437497154893129326648525681104851320931000979179938353625033309108805766844370198049539746027850249485360745169830492279304299154936725024979042982963069014368646334147054668838593044021778228920082711920772669407361161705742483264908858665453817591782603560245206765669046696666931333384736723867501077983692524251569579439222008224616206380569985820383058354348002257187961610228964940404242817606386247373188900205476504018522710920503683495187116475170649103724805735784496788445061670565857536770232093139851196395975638198910672341274621550189098676948594807786958626798361246308560164638122519863798817432094233274231360293266501653815952908497354528760703332553892252968681515804258782579875526431986107559327387458972195289556689910599734128592820981048489839393342817503106338385586207187807736085436678981967643104052790262918357475912326227642076203090211417503793709951632155128936658296328070851894912365457343915350551280957376761882373976624697051139911355423333095361093835435086317281632232374508768203229067556113016466552618086586151866979686809600000000000000000000000000000000), 0, 96548440832751935930139292769559211573275280169155597711140621678317820417484643686480900870939111447940053602802604564924610592274364046387521579088335613118427833234498792011191021325908220256546702690411248330907256326918270977463932108818266781530560930845409217359774749224799371107441567582435632485516702840304000498733724867217969314021857089451919971496585619321482842704653669062220644254639503522607885137262467387369164002112646363794048855877143263796472031584928857920720836756706008170342998564176599791350122586455905460198957583242082613122848931660480858627340471862899279759117667037032728710057378581787902155726168462357443328051448249665709670116910416720841760207589892439862031113445357035399577243753236641464176480805019485607065526233392319563392159606278992410811632181383941558776233189598473672462400270881949034447462632560363797764121736537128040199968868381537369714715443314721656877557324791914910783975875061233475533661601121350661057417981965045160380763899520566676944471523024037941718066241073595344827369058552925852180613465940951040000000000000000000000000000000, 0, (-45429285021917513163091029332117034010034551645728474332725532957179135823255484930639732402538321657173349462251298152525557737161344827336689768307327166637219876934859982599116662868408924093316443388149817112352796486190904790038509466828145251848440765844772473105157120586286590675352363603956304257163697859755420355831254218806422268992212200949773879352395839888678476484692508623970863220584781591877993353696485909771211444301542575281741363827869007442929083878963548556955246806036321574527934973526982491850336107264679871986405264681561112647140392077449681677582177118182428334874883200115756822366324782228712738681389175403843394588371915816528494927439323297563404707560978301310978784699982189345345083634392433323543233270127390301592412062245200545394216980172491066435916085214617050543342792254457304553629035992913120993257063550803913632734765568242324923475039262237724509849183925670610890355168498425620521280270890113432626815632483596392452264918561989997641720927744594260016376085966056118769682746944074388228037502807140415915573250306867200000000000000000000000000000000), 0, 21547143835833602620390470799913419689566228886278001536187374844785991453102672480292858609762679519980436186782591497880273889306144604321403521346252371144113923561076311331052895487967959694747280364070016650932015346503496667513096308030944890351107747832639190527994698448827264924598379029611261598016971529289262504135753532194753534049690998575879223347500924644096239433326743272853019979092938992074999369727053248312440475136357930836228483700210589358781626201885823771123015184643622105614456045000761583778749487391227510591792977847237830054373786148145507886742072956069797418910614475599300215896731472432250892050181374606814113837290248893714117785306999755209146784143471013467737889355555848729633799400098188064627869845186210078545331205746616989027497188417885107773474310901325757659787918821192346756340548707140157241933705289175855450151543454707082885645136754840757380826851094998849477692473935065889116377189831537693880458593395657148068918840836032771860054419341665465650120839327877000670732280873524805970266349293284935741025450511564800000000000000000000000000000000, 0, (-10300193587535973415132136519704419946805831778415367634817383331192587461571741415143509869327673127614325871718930862990425993917894084554148614134769544945774730817107868241619809701325629390874398873594830553337934006254661097419150537889038241116890355817700013317526419235026443187746226708673962528673128033525355301489360378053460780073331312146079315363565821037326783268103366667444350047453976162554407596146021547988064018993344080777192209983281930942143893844709164918121689695384554518452020825335302432865660396909692946128714439383415630111025003525928567418888870739776850790887549345755717714216615455984506134250210160778862573875523700298255852812977218025389586103778182809470680983946118871122998253800833322309681237145081549458980472566556001849408327175036686658230274520555191847463163644147212940790540504748881574303039561115887640622545141468186679542591945997952466756977654923430389179314538786766397899562082932117277829087257664741836745358196520443924834961476784883308758327567189435913806169804031247105328589003460450586128281568804864000000000000000000000000000000000), 0, 4961849810262186027066299159200265721512764719300517448218068140502836459238371634961819195279831472777933194935476608836433279397499569827858578846803847387087358947250204159385488536947593597492449426032563224660936751326033555983659963600481611197097872382995957094527238376522892283983161340356304893214505307036580578367175365940382940034865323707286349118664702344022242102847117323063251342509271559544742994170291979146726751980284110249682817311414853297400678429732170885350878953019363910886702838851466308593562525920803216830014587897844878232205497358233764781216839180704156725408011391245729184011843545875667588758941159860207849545513225876852438309396238624703493808748659818718340887237626427361911417812703514618939025288492920737489491481371464574058247126288974009750509291495452859601380885596198108503169556103636387264587936132421613692274577992113008107223078559233490587279371728114136256275287728552385488655457525289383404110869786144215003732147422585171583685518203602282742743841594773725123661513670264000224675360165534550276424998060032000000000000000000000000000000000, 0, (-2408390866519417074789082234434490481395883751624027713166337597982521442388355426756883984469970017788605619001332068088130923621156518379644385141798393779705408495039072176929266243407123032656775071610989181924180482352643503833772669536586706967457356864381399084143038992884349233263478747308092818310199565415116334793006484089495290807245986055078973196091141098211425085918133713088212977195533157324269799716978615379275339046105287386099272768385920414880235160950763401171230164890514915949141438882201068827273917936131480224047623432499230799336953576689661390872600772123396322228650175996233122195154373549200704743920258019639454830020577647587616278772562657161897478285762898730330958198803044517670804295135626530967947290574754746548220093284173394228398951366001440218789231766974034307529671704515434529301679200644413601321377247158848115091448559744359830308743772351601780393398094937607486160595755041216857660520147854394055642520036949401403710023212804189124192674827925531560215321413349346277791465086775978432989089213792555949047853088768000000000000000000000000000000000), 0, 1177714019582451330468211375455510182267308394045717794067732878423056198158389068130481331269239311733645013708205012683380118682421249954392324954840444842221380598904962603795372780293582655436684999428927510010918047568499542996534693394502828467054305765070105818733246701141844589263356109285886156795548543043357154495449496032350234098593876736486340022349728305871816626162699678870392091644435298980663549744186121869108520447396331405678882763066903869864050990019413500166887568358860886349007677481795441598823112272204988209252483969599934614629153433049324451036306406733988854667890731039055735466278423535520605794980412403297533966681395332972928287957611824757394451071268948919705817964875460401894983194232448064705858880707986529009755707263014384856381555670645724563584135089545014175536698723823562429609240999251252784084936580770465649630082538819059260389651394175916727022917387116855479118991994715178566041927167378314349276923394737538298399300002750541620327803555744344775611682689779424694967201338685276821386398498166316141998579384320000000000000000000000000000000000, 0, (-580134038309087665836454726159055244818025829378693207522113086259295600680935537307063727289358459448958267234689843579597206596471795870325117432704488925356934383266889368105678063489887766452857900314156939743680385069086468011323080130272334498034009367880569418040441220924531403820990337217660328562145050827640723600243997758591525026003231082785430074564792407344787187194904887695632661384652412130193569535492997768801447251582811586401553463474762321342570592814649860909687214269210900688323321577513696742797891236707965844379727871318314240420750360588263026724528800358481844098897800189978499387793682820004549536355206694068087738380814894097998940017671969960986865031265749224385096222798455031433449636420717177955821568524748996659526273261079173900441258910211017936181754524408762882003110314619359035315495656502919189455321390691624767652359839151112534753825045172318936453610599397693475483455440347374233931754702405925699947932257255840889704465518721445204227428586593078529794180289177299114746261427584782908920116957238434041369534136320000000000000000000000000000000000), 0, 287832772886453801362514303585300983345909315050312693581525172140266259279837420977822751629645373591527688954566735992030560735112192359164613847696232123798600464560137100809846873018649714417856956395438933370940578408338542200018342271914393082116309470010393223402590587038351159668489333605117032342044358265999014720147921084620229028974297829018433445299570921122689621825847168575745149596924189745544663723148584805760869663071911306346324148740969996493629144403254238103383360703117567696202069019428146041587762618485753619336636324929231105756446355042803266986653439790229885290472838104013437372061495085800264059021358146569014220369979841078631579731771584006235205456124222899061127179217490266295289009173752154716533936126791223392640804817167281388743256771685451374167388868008364802097933650326006605200165451129673877121219895693745224712257740689368892659164362764476128695911380098351278739208759293315679672646688525224611973230966955029205668612210279961330772648016875823013795013900194631063672439239060746127092137509248939958067716423680000000000000000000000000000000000, 0, (-143821848058236970863897411385612716993894825287749786306811708548377226180573188074901564325353437655798619407018496128449307674229759845258423843213199953174572897736726740113165883820025327801305447154714142890268141001337003063646172915738652503081104255899563770281079842506625298378215565661346987575387276308803011237062310594290372739707712945170842604176625003296293624486677328427044574409615300892627126617460474564947117900022003866809290008720005579876574137347129484747584428593627588237357225165995899420726370707003092508143789251237826251996913875934752336072984868055881652198362423935363122869858011933478675219139822746526723168129567262227463364028520593299446046123370381204354908837366607890653163855683906578599703870905099637891069524046006704357283720905456778286754655959474141521798290083584754506304103362499771567156725070738339740532794301374926537274303614082645084517430793855346828615190439479350553067052437095175886245767395657016494698629522768790735136886936513283971996297894016756775109527700605480180990920762595803001587656294400000000000000000000000000000000000), 0, 72365749436205527538416556663605339325126266801869711762382488212311799959225541820411951853259678293554824437929816377530233483322186006847885667860932774568704635371903297258478483650188852042121101230305970878260059071847657334930713304479065386331543875482335727846512434464798505821895936542694535501038905683662178696514186246623589150722564337628161788222377251607728420609251350270115426876966306814748525941884336992671097945726816453592197002067314520224879016360795426687359826772989719034962285498114593335960459353433802788800667667757012561393012095928352040445211515766664018092746451175748879866059292961602432634636571895052932753518553466305492846220557425242915072658116449029095837334464797440132949751681085347532544620744838289907052465261080694844263613149325747013373548009258458346725167206890210944230986626143214004443451110001811731552398746047100028550707365218447499641221755289714169901724764687746195715675037598331836866832076321325237779941537200186031009788459474345573635659502034385420259089775739770464480435278437766323457805516800000000000000000000000000000000000, 0, (-36662082337851641349008388131896278500316911396977630602397196551894229055547870863743579801644616058262907667588830450114419788328383125838673767561487811299187198054369762375673217678247836137887281635739572768304173566533567670203319334489359247575139053643901504369978842581813968206125435892088555149554006797435667828875633132890713503339249864386999932993925938495202924619507378687771573668185545471371710484438431155302599029193055448628564746364799834295181798632499846254656559224861035704092084208217936791770279928058131558266735530400531650113606487239891848932500722284544545417676404283725910653686336689662061222102175005919920751135681351939612266021439407168448558919105330311958897901689408707601512596751046488830539189282991358877962792251653906073191174920921751282648237146514323964057383337037653078307907506965157373866684379799012068446574478748546945191603112997100437425326466638999221148293845286259998118284491654294549259969203296915992421443089304401312855999050602305530454924440698348418228206941716013888178425133190832335471247360000000000000000000000000000000000000), 0, 18699531664059333744724720650991570529603944946008994481347227821574269967796374616223001005398761294795110171671923140950599026667405243214485734311005044332599742665067796437541938140819345671375759437797538377689821915729253274245692715915497215789228985088267832567580374961136119461659985083341703498517344421046326475427295624242352339896515985444615525959431318800150370286535073242903201840913608359219008988152958080159663222166630930362500034090770688186411064600812998633899350838288212704772144698856261545566333884727804627998013936353657899508694788415566525869261003284052481477711274464709324378477859086125099576444314448266475004844502759785231533805211778816986002576485848169521770153982894138459751092034443156919835508573040549986607066045326368870788373235306230009821099986570122245364638329848859641654813641057945856952848113131609362390196206067363950265630341519459334921317870453040379454343004112187154572247290657212624981670016754685413840085727049372708246506684546909320077937714053516371856866611178716160975271396641079300697620480000000000000000000000000000000000000, 0, (-9601274003247574867375355254867887687784570906498778082106322343090602936248609637705983992985235666115064227590192519834364294170715179934373067727820194866878863390427461439801142567375713004239908738193014658879401246715834992593254822900977783243453606805949791522014300320790431395356657377071393004972943076255179403605159852927424562240575847131498648816825531150860003395621975729580258037335543872617518882770775311397747013704068303355358266018142679506841917268043626365111281079667279354944521788790540702105847686395112467546387281140779629922552152294133559264315004762794307017941314320754965714351928792732170970076108042104360403807784264870816816051256452040712174440286781578851723973531078066726821419191247972214814121082996347604574670150455456705455769964717649078392322355729670771470931635314609849844841298800507157001534984434977845043468057715759398995893631701905670959646081973493565013597830227817341171288333886390213270227502298226293234923431120351921776036848487011416100617627344990881381414369275669638711253165893713753653903360000000000000000000000000000000000000), 0, 4962126108138564292766611590212680121193902312209078944516770012338114782980976832220681732508474658010367695496325650466150775211685596808746571764625373066881748701986384092456079883091709578694515049651440798453894497815592172941304298912462973913088774697473663611039348006612764878036648026586076191540734525867655040605532883152215927294082821770503117217416595616906579555830522112433714353376308096171426584055426792503277594383558262939534167042256979952886180403518487282187319869796790465609163266914685411871633528120874234499251123136009943821891307086764978039576955752728888170558107289765544823523802662316319181533479846460098962533757854830498195592159322242210745820772636732633056296988714558154349056821650688395682119982626716501908792057932115453422507271513525933543677863740909610633285413230401161682526499817231011715735054059444589445350205148142495741478860204807893606706968148883962591792507580900269581601783254473198491926856879975108960264617017877891813501392196153952822942251257158075917803074050089195425863596956049874092032000000000000000000000000000000000000000, 0, (-2581101090926443238232124318220710014968771877472052091514705096328020758167657358473466883243779124668625877223159060192282790148449485313454261397079067551605351471826262399473056302327307335097541048444321685861603571757568228813444203083210331803027072135072062243009754290863769109447380478761268805451631490492646400213978542539849782694974651068897344824359591130471676521370040040442097630591014013713363178396030004502159473416313658570374820362406853005458565783668330177882284247593077784353551009271363640790352211442413963288344326981216716562812057385527844135788364210568746927658533819227755174033751025771292291861945098178191595407370402660852855018098683407178613028743949276597951128689642525243160091830280424794357465793692167078961026674137016224757771587055349842590611363168352671081835819826912122913969687455464996212186456204828382600108717227359502628092987493143161408088662907379419841701584231953824210910262055118251656833633099961758013065183561615106211987971068248710234531982001247088146326506876235121756021072159614813654220800000000000000000000000000000000000000), 0, 1351136321467406633575424019165291535689272948423441495658674286982949514033464971035139848803633362323551228272540634388065633426811812470348682550380538265179885124123856129072962266975751119185911216494081203996032725243016750831701537855500248301795158389846112775545751007477928090047321469731471159766566179530204932793981614449700865595705702375788118278104475800803206355050536582199747198399575954912718478061809970295514881798717661933443941389745601005756601133170754933617177765036394983294704268580408469781266291758986868996404953430266310347223699919477560519163814098031064442778592478056999011439852965594559830589206615199186153827904252788900010849496329871719974473338898009024949779328972612509630058290353016771511618705117627915285189916079466195640360262827642598508556431118856710106385268844996915969774268579841615620727262075863393258717427843481244699566136988679091907473605140809486420973205222952572039091098543830606045512922498303919517359058959957470086850793273768522180736863916582850541816416274927519326609283750825327329280000000000000000000000000000000000000000, 0, (-711721421899398456119252863502164673100819594391846724117027984011387107871960903647040103744015071114204085041035873148317725718873568010990367715091239908929452527190564425074990587000841162987554674705810882928336285068411007703760468695197648910136712514445550554841019027427458580702009081150999545915884476078558228211978871815737463435130110448737658334968238967025359914923227982690897448375026898993103431273664621897023475013031964191804811336493933807981135235410107958974012835476959882286369505654779289859108711154796469861725013127426311570614471817630019966144960359007698922782276094694287195408693460829002224244242098742906253992261336003912733326844714502643061235831241814466111149343795705987190893488006227426789983682679905590834602818676644670019358754256638238271884479069436388045998526040608684153453731101687914450221388397085338709207696750474861034204223126412527067980857354036844408484085872156932536574291583005246222847890120950363603629950519444649446023910744508097424919443900027080453404262476148357995232800894154010787840000000000000000000000000000000000000000), 0, 377223271011398348549322013960886335768639015839361440064564969466574537249420814144638114480775146462785823949572189260127214770052818747863415244716529885797274146878633907676941615268153659535744414562837465165355391217048704097718673814014189639835259313647396749826895994253415770285870880411395425486213794737387915917278871208132154885935211912159818085838989832652653858977709888135550137428685745461434468002648169410369692247559653135960481088176800527140058218187120650536513107957944664763484540967450363802913605317209938205054618603898420388169398785546205857183465288039531136320414016091593460841746644189670457673905568744911801727845024869221762782069988322333213480585616344310906425298029864398392033817898739857330077385632420559710301096742558787975269823859037413459141445399350201149688986284238335467254196305205462964087951895250171754714468306780696118350629076545999295872146436970962269960131359268200876932577491129229451614557864775944278104179430710056719999441513350528863553990832011814028121901385315374754484523791288738250752000000000000000000000000000000000000000, 0, (-201152937335716882627896960559370730969429214534765036492524701611913140490995206367496907639777874671380443865409377821121454836805192810832617487329175552970263663746373770803075232835375270531033709336380254206773287693310383526928851717906862247047380150390087385669421135220510613598129085615170669486419778163937031902036408506880423472553078338592677561555119858499101811147400803781076001057512816640401677902847611376060036641975035553878774892719118464279737936090078101418659569768691367568227366809512428015503487886287565062852446784520035114116943218806031967545688324669240241712664285437815406622311042290765803838441386147901207981614710177057314167899123688369773021670310503530879704237709214140862686311587348980168397274039477311240328989400878503507580631482302744719991991727554926194564904117491907774201505188104280925266292175649151143055074581401842446124965373388937095547649514708024417807816763049096923940732758791756976321771728856669640426361935080131175412061396473097223309818067123954498723450038585640384122201405010089082880000000000000000000000000000000000000000), 0, 107908743278804272067780717441920057035765905139982005669718304538532528442196249840258476071642815084352321066798988548730285551056343198017994161599241682607509852570288884380055358506140150575651106520200944365130731456652993579226261481485693217328592557066588155611838928467865564538374105802371835814423868186297523523496786443752872706005553656080548704261455294654650508318847690223783404968525749802307364741940123999296863528865898875585903642032027539338596933981314578286699327291178529633303269365967313342172998055946070039832777705018869855519338387131687392716216513102837107419011773560856638209433134338786473668866503355179406758202507348738721914869120640223276583959828356782357399584741737937602411734312808072815951070761793990799764864081013250023341737613721816035251892808395163482252633589267987045582066642129503254499769660535343122366619787284122511162464289583239258901701129100103550967389837417426642076753147335735695854754774775123755445155297325015597254858526297737760275569092977152417096116236401561606840169187341122928640000000000000000000000000000000000000000, 0, (-58230845386303314438287224497958102700237862175714191083425318558526277332197678107367387370064997895131975945867471670949825943867374095150503750126925878710670506808204943449245988948766296681232384717047401130246024327992438430855540917466596098347796217586761437088314401451131972235640396387766089102845622328886947612464751115300290542221933412539834077886729992577508667203001361597936501101176765372497509190919235520623922287673987740425602659194983828056161019515376870778072876184123254373943649874144831278802148176213598821695806798467456400904235398922241593931921009744668547975876305710145546764500692933189920826733237498601727251558908006796848468669357109245837317161026697594466802935079676915168213678191365438998501271476469984988004601953549315795288957386703860904243884392075090812178339958990001968240801189743501829212462618194987322876630246703638092438657383106750594469499383760779886036391341680525416866141576769883547440860113913749737064888327755456874692921657928365178902047266620610654686512446574687728303461489687763353600000000000000000000000000000000000000000), 0, 31606800472904874078500996202357388154263976339799773437419509963496481044552477678795623990220510743771136995320721292105820576504217287313599744067373112062958125264446856124240674520246512974460273039237766985048032917564978694044585843202054665416010039941357012376125818125025485759358788799703333543699030663279118082948823037761088082238593660260939142804090133185070527142258615335432690089199559171457838915584190033949262820966021893647490769741668960840538193883716446653282433690938368164516806121781056299517014138587911165215924939058403431004692607047553815650766184790746055177760693660522900327328212006639504987362284716900766191666815648771940323854506926629929543837151035239448437602327239693001315106186213796278812906970533745308353923950808771291225636127150828077137756363565307807305280458227281088351418688099160508029396306110841594409840080145270885710442311859046066459619289695997979730477769524145564594895361099753332457049177335458308749450683723943024713739275573580956409958120867589325983715411975220977754026431802769408000000000000000000000000000000000000000000, 0, (-17254588977777565511310344477145367366251282901171849526611335156969471118937638372215803885988164944155092593999819067484812090490937213286009225190125652118589884450460446279512343903537028377078420302088790961648201688014490112899764556676006447146258096018173385308924450290852393456350473061817094117424200875578142486599292009478192160525566645411770430465988764356884093184338766829686842782579931717592362559931333868657674422257794655686207730795337596172749585125004485673381228616124391621352392503725175665875914718454828120726301205087347372573138894961610755392157132993954472573796060775808524833528325655933589668963578924953895519306862185153706961441815757781305825389415334041525903184071740754347389978901218422190866842928403295045408519502167683804849842360582824308600139693698921586044129717345278630341506838560052900667925220797154883039513760850481384174003116368159667207727859778832704432155921383284244518147004588879216266656005020750024572660035755997797948013838650793357505940302369231549771268462388162105853563044115985203200000000000000000000000000000000000000000), 0, 9473094465802764998195144708355474823905136651063447658632207508741609873341752806412383630386206118855957899338238809311465494024711636492527311500482554524510689219987299021146282448488395583359211305399047534179567958745705850737150283048039282996938960023557565701553440640698879154168746014022498908320512734218445401214463627634755696245803027368207208065751465247806413443056811497429223954459767824607017366961210696534610488743849585107097046700329482684780861289091497913471118331459722577980121321514918256301411777043844592734765524776873635482395734136007404252893735986075054067366141003280259609284057259547838588266242588657226934393538788197915378289582900761449617269644490576902909955020063174365338062521392853700887174906208447229644340844322485681567270431281486704488066987977701460674673604463138569273586671207263890802789926973855719980882155673964651201048923439581746497102648081431693429853755253435554325055951971506317608204615540719372929738739417053986811460386348562999111273637438575682712899624945059148282409928181678080000000000000000000000000000000000000000000, 0, (-5230095666085817450778534505204210037777461635987502511088661617303611499620129059456740889319069017045471383816656432119015947289525252047142959310509911894724178665424432411089062408244405109210053046359296614197728867126768987834148309121748227541798100373459706972106488858892130584213621419257061653440386913843935230934247576553917994217400046963042980109600265678126567385035051419416666495765094071395200518776959071616989954931995979432280539179284300427835588066464108338966005266090127173811462219102310998482574647806707679605972332277639137233898250874394107230022914206736982626757867390450582748628676088744125764126912238939604928758011635480237179804553048374080140151284981098145870985569493205146650122551919318647271859576150172876401385634357380686923153300264846182273198989776936115821819128439793308658061232419590703776951322773010689620778341137982311849320142497962722686765846975761301102906875358784017042438219220122489553409371832130548305051843187796092453606812173629637269175077353279476485706612474472521526534955702681600000000000000000000000000000000000000000000), 0, 2903528267587843697974636555950340257835087129308837055523722503416556570704422190468567801674698298637438364587067027123718233224938609109933601311188150484229716925769289220835216061053143096605176789983521905117749018345180974324854722472819724013722258947435534631326776693314929548766333047141023888356949154323603556035566514345058721818748526072702442940538758762526384219650186016086049898449122595532904485034637917828304302869605925419391122823346325963210075183812225654087446510594505850048362261760763032645002703494435193510813665783888190827049355316020085681141960947976504794546459584984513632961824201728141146487101466956487094536893465237539366253063873777741056725669192374509039321880701304380230806126805574231589472882248655591883241298223341416202944288451385217794842102036573908287824717507576082273190925451733574911060301103778342821594595785846553355708266914288507481944542590179233640990313292152932163660418125056202221536025183650133460135642659933170742983525296258911360152200173830518492347801362617765939945599401984000000000000000000000000000000000000000000000, 0, (-1620727720340804449448990285897703472582411227115061778811967784455846418179261524480512138839117824201126699743497878368612975158930659158062282004153272433819856180875257939768572648723850025835876641970327875104884084696128768869981367307387340385941561373517095972280238408959800402476921058272829458863295099660058228927714902725517621028597833252642734484302691018168162558698465790583710871875663537824029033531398115789576498897321938292068784044215579323805962407497749274641187342169556563511544064448379158326926840386299564792953909414026784079851462077575488000221723065034865922370832342579634468090639859961202841288728030523870861556467963976870089707052618691701617216990938134946105568341401847447648341112060816899092013951971903542367507117043826135030373394789350078891401630140185019044723267609085349800826466689851389292655838406985983743460570474116829403201952780564713573021184411061095191004434292308300549768349146569825256152367855321905953352882757870887628446863655422887110483158420541345073293484143070188299814888171110400000000000000000000000000000000000000000000), 0, 909559878817317827743143509990208398867157726226509438594028148488596572057077371289051634979151476575600726679293770972627497727650670923575223301941873353474594857499894737726168792804849350394705595774740467894739206080803159936517344629280239241649369167175030620807833065783953538736657052819652178106545299264307119997242783370829016175821338207350753281811228421583849392026032729575656156297256030670336725938033311185847760876939692348954746809599048718941159478641609627295798573309488970860378964921896427686678737138115530414970884041958812842895160585540254373380743516149494536032416805818565670257982253716566429747559938983218148234936404039880831085842774804046360696213774355511471265978598129483561159524540471018831723036402662522015606486499318677530012422267242127565193068950862048709721235813281043947754441280309136067067268561197714108462077624907645302867829232364579167369700122734007128984422720311093794864438671588166397702566893239650964357117858405996399914861577955758830668428141966251642869211209228918888819260705996800000000000000000000000000000000000000000000, 0, (-513168673807032451858149147646692845526393583655968364083838038282015610708759727073929112125859483100662325778681571384880545734759885564749473858364238817878573039845158367337252040651701259264264596111210862527324765708152016058321438711722230950002578652947208218624865868063696200840174587378172718679710861629574438235103891759712709213802302316120224560976611711426169775789904232308631006622354310993293858073915676872918755627947012419065717898241955634631111622674243878643168396388340065784640998462212369443635132648095228609226755907523857322317102374449874780964031025451538289196784112449688617208970794812130259740956173839482469082298653447686476505835583097370032861495358348634212330351747348156811506183276873132399202549562173675887754540997774771981713264496948246815781822738094474474797946001950083715025834959211757129325047811224405051794251828867254366064732516547362379654133629563395996271108288855877707265002295449459492188276578376505151478187336496011187055809313127513768127990885345220496164716151599494836058897514496000000000000000000000000000000000000000000000), 0, 291050032621944776703505297267524629357734928260913032843260384890206144406325049753722096729513531925061667448107382523393772068877916035790346495066191583567034447765891423464391339858866342241291193508613656709722504916416553643460190982257665127943044454205532118695119521053020603685232550071531094913055446401493487312718859340187336398667353698838288937093927111526037411635568817983337752632725945173476544692550714545378955821395707508658897245239166820031304829574510332929537872134420308033339169404982798169141803954289068769189642506013936574763448774371961095788732543608001034701051897271696231157628135942123877748673811556880327014334688650066624381370139651551180344205048991115526153885541913432256306637374057624926180458195184627921005242049820796659653550564315871142662065831711458165241938650524386098568798534219926453782618364209460857295348962733881816161254093329282038291282909975497625046791923995912554846619789099641075480760161645119275568955773859805288443704491036645104229500018555670350878152720699998956723999080448000000000000000000000000000000000000000000000, 0, (-165930252985465139049633428561248905049801352855762798552837182741447398168234596182625249081707236784600627276651839486797606051408019456923998854308652157026533100619205709934884657663728940390105271968445234755753378833127272692803246235566102503820357926519003526826724053981753655591510498752883423410244598587197088764313155931946624911966940622165161746396044876467076946514383415211701529847402646997032772381691659606542455309345847875481647254426920213842035485689887169578317459328085891159531458514661954149912712837136446449315740568385998049584346548516036886560736970335313199149650610378696510290859047057154241451510389122902925012826783707019223048568448304813177446580437959316049516872501051790604243995573117584713144798675704370402458137506669344302236630285037080027959962428383051650534955741432912595386010368656973021654332715216568963914269042732353628950926068994587611396624929747763600599194464658061393466495174486537749939597599180891711847998372694080880826187436236583697748353915187578962597529325854967583842091663360000000000000000000000000000000000000000000000), 0, 95083746942036564206795847602763016632286443790557521803553511714895972359743991071799978115145094647719539197041052238725899227467266374031118002842931133043250970571853016165522871343537253431230287641623144457382488564039715451576573481210866598436529434932667237937086423815991948359662338415113841808812337658591087672330307403909943804566897837102146815861491660821481673875150625703331239119630448818270208156323804170973387900288747946183411143882929195781722185790452263790434160028508124825679434818153319375824330058564879479026879330945020472882876545711200292932115296937402247074585393188695494244733093212602571536213340485658832673903769544288109270878451743125860710980657541227171891803002168652949242625009035719747979840183800474176221876430712005117526692850068860860499067480695745133079715603320869641039704957730973803547764822099166468101255416049758569796506872221848485214609223654592133085708414567556420975051823540369373398587180778023209531035733986526125729049308744788758895302426000060688684590331016332407266271559680000000000000000000000000000000000000000000000, 0, (-54762440612182845792652585862140929356249977946329662653179196439537145688785940499114132118869907152809861284402635334143240264671116164717236606391317600454206344337898325791052135485641867444605535801051063617543767519910799690374020115474920498512779647025617783246875557816153968511937439197524362949645849328493173376105550727258882464432405379174439898282106408998863771528847587310376534468803124346085466765980352280385729023137500586360076827515681104301433004457820088857353890762547285314972040675919277680586597095712550015656016938127217223290289694331834449725167036181965902180183887145566952824994442468588432318467124726229461324137682183047233195755542767417803914950365489644691098226951979963169249082535844283098475438790801474379413647477871461951589271187891556538657562098503511371004241180194446723911126866875480441892184203557189987033642060820500409397030938444365641230619936444512872920765858323196397027674207961710632419988251047572785284689295885888874838958953274055758020007521061032511690883069950084365572007526400000000000000000000000000000000000000000000000), 0, 31697769964022781037369309351796661330342462895465477505291968093291347721446745207891668459834563400788572181783333614842486844539228292572621590061610023817838522150680919642749337499352753263389474905322066596631486041615044647630330597021672289274978739876964486958662533306721092449565142688702918708187887890603446577418738249085151399290319176916952636515111613437401151041642190358910783910243942853480059431327483749166992668159419972659359184758730778482473352490577689593391016450564416272761565365318652994219940607386853801464640472762153460759749711635702786609151522416347929772721220547779994746088433777050587078522303803272786886070630113909115046495908304704104316602010406335901959832273656541768245694993770436661511777789181994750030760936324325192990709515012446474552561635325160338949762871498840661417780133949855558872687556823898127150881105708793929861416998507936074799933758936237945825941286648774503103634261477217416537766104273330814997864082996861623811203307901603799115238938239712661706065445889882703631954739200000000000000000000000000000000000000000000000, 0, (-18438187451470636533920915128581765489223448227169238343639294333397473175525987041945709814641563864169295464383575288059559252942623279012724844698894458808886095587715709471863405745995094978038299997720516515250992601811018041350742214483894340890125746939400337523434490846679623175903448092402754197516226077632441817347849097592397662043982975388921028458432298400920151838701592764025863043371395766467768186759091470228782520124572150135646013147823860525536243891057589245746836568566200979569052666973527013266847380637563482069962974123024070814221042244826311355072146734316379956625720961621864166402148273613738876972578688987766549711132322011736183547533602415320458962630615403317484361154804991771098177164254812002015280847389827811918136096917444282498298222964683237414349670037266506513071866964706448674812930354062960938810181905505698346964690915015065681450076461907677052265415919577136883690101504420817353994253226852627074348893614837515823599053295630224845480532759760348149369849537354092727923744124152771774513152000000000000000000000000000000000000000000000000), 0, 10777700409405517098554286987430222344630939772650841525331694455228473745404996790264860907762797013866652669825176051575849039701330702919055966958882045223850614980850611589315155702607900406629867958431934215550565959783934044179850413077157065039045118448873465793259879004740206815405911885199572779401704393504741026240245931829029723506797609318094742134701560205760813449953096090141691943655456592398163363684099593821276410981107005723084192681559817656979375158472211140232119264841524500136760428372673998408125275592688997498242233527060489623150974647405014746484635427448704737280882759288989387248575639967623231341950816909995125295483840896379217132546958460403726275164704549990552074854151839117385871983198582841210114018799718359777112799639875250720016560479974127172287428512925304173286210416427614467610099441326317626766530761680899388003934082689479530503205170671375381787240526537454188035191249307717011532412202421415561404801060341382903879847404516223489828410376724847051436983297000327678220498517687776921518080000000000000000000000000000000000000000000000000, 0, (-6330349146346031520873860203896061616888888481810010372639396220360828968021119640953115067147082021773503226513753249613246511992078747892648403481050677147759819740240728849322395953811204027968482644674507086997708935274278428376370212732511810991616456750416321445098735776775160366516362182032066358628186353892886496372012792939626509271707598365955000682010798858863563159412049619561621043387893860215203364054038444788585156217173148283770405520577710622048868007895386183735338204075316889142067462262186844155025021682541306961170875005258785567645427620010478137129236789491564114472988599824598834256306036179208985214382591115589160786954621486470154532835046752760264259426027205603379466214546670820865760814626737057347663579159062113125954705750011277536795560033125428215055749872517983306073206223658600515229773258713870430575859865639409709869040028334970297803910710102521023727450276242109071510970880037935417588040680550263253969669312338568015228465812320768515279168382349582034400642875291255487516122869586430724669440000000000000000000000000000000000000000000000000), 0, 3735930063559017871527419510218860153080108645691849529344974556034397291672616647366093632979806865361947626712490967826689539473795494580356096625274826163622524641236545823458594670072894967774174308434251930024765536973711751001917566288991663535388760333251349741806769060381024939442532259292852676596305434613252491369647220427971498135902274308211105436114231225233591237153759466785338430794146272093781476116614954115760874636977535410567704601117135245444454147299934981854384883482452566321154191091070263651218344166490511949871625681165457256847788363753052887137865161596068219157238539816602949861667047753758583117518569302241860774931176370920206187156056351042832300856781437031291120036524999901634651689186328331285942231253167085579079497831587504426942943454030401713755016907725348417374170529807493342558892906417578888712705919264897029881247925496392112441540917304664456145636846604281710453101764594239393206406415331805211378783689811777615675455042931675089901233783360944355660894555859759972178439222149664043171840000000000000000000000000000000000000000000000000, 0, (-2215213986173505770973082116775070591523057515592835167367485519134098118747684079169883092555487213870014634432213752027786926786030492231931676779791013125298640010278485307645406788024240641983528718863079738291764154282645537747448424163159485843413269431453570209465428565140379828532606945113438740965219883517196524193877178342253168350351382145486938524060075665196294705688147246065624166027445268397656774424172835263008424073890769308873104450874795025417999818002885776509140605685140938522477619372913333377390900847462169852712003814244746899026107156530484514792057654667235528128794525086473991353826557476699080084847351356721640130284126497618256233267555550631936821496260882839952168091275903753148595421009824189881106007072395063691658058414725002570971426304272363468971494082012788149105458059591209573779752100476698214558958060829086978905858796140544471801182772357248962752328560215540985520334840535225601288770953284588430345663513984169178996383431651127507386527818716165298846912122242111384525431409462189070745600000000000000000000000000000000000000000000000000), 0, 1319639662847281383582095205062611678953531265913466957192574439221262769383472770892965052191054226596224356373861332318601394316441918770824981419175049494101031377466259720936206151932805517124223238665524005483216312838333522141132607082923511046215804257256537426720761895661769367302123328531875351399984349865836300494363576363057804256199147175910174345809568484406638782601104734232430026932873133373784377681948018067065544195596211119529056274641039790161068428137757500293491331637845291883038748822467291244502762379398475073025272886368789331691344751287743404959485168436130588734872529002430213646775965295154358347934741256990469921919471163109994447182872690342088858126718178790938419987979464182931966455696222621449679677178123745923702737237148962687086780147602729385434836256798169864656810627574257055594580125895203465815157460651889391442182177107680508836739514614617606040610485166350357018725529885591658736722020072028708126826421838519255568999055990011434522126519767087880778814144240750226729440568438086329958400000000000000000000000000000000000000000000000000, 0, (-789759942969950536568030365752300730238307265414667307562848483306556960636566384890327541373411293380552011399556926397056815106458385017107882958440123173053140458561486634162418070547668506988803491362749678683940220277199731507830911350896880281583271891718389015630366783113680400559448711377158457548173394464093917803002906175617752029400742361830187265107202719905344117636099980517172424675944493568219054063479792365176079680172125212525891826405335778594630075472642715235199717248093204486281158000763501829040308176442191699884162258104315229820596055611377415071198881065357527180568544240170118714677337781871416224796241015730974812753273276601152368861944977882009607624584327221235044173623613483729758362505952798816769973679598071634628977643503118723488020596840781120241068334225949144412387179553560908925347915793132313387958791711731686749948887384324754343111928989288646038255853422431987391182024342868884065736750489863238503268946165789248310239223938670280049241394467411378092503023962230013294106759079716192256000000000000000000000000000000000000000000000000000), 0, 474802195645397925878908495174105890781413275567364708369644311979944866299279284252219236621947556688894393039285989203616435026412430723184528728239234643995635913233246696656677935716369757962178515421727081424480751415148234109792243744706920143394978303898108887840396479603613613395739784302149528726774109952194852484867127967243144515194516833451058424966835963126530142825346638833825379499700079256409401047451688111817535465629012381739968203433291443072637160927822939337670818443385393757762094634569311088556210510347979887702013968059674443728243294878777504231177944928052614759145613037369527807202177018635966692983170259279896346854016687635694258846502427491344141955835995555943778382903015167899741806797322231789710474896065417916738537289275167329491619024490401636986582899999432545883669319207283629902208063350114513274399293005523232667471216711458856892857037199582859332110484781035767221613618655812377306666992605006570851651360570652867310825477732195980649782715253694713985601371456838249337842891850510237696000000000000000000000000000000000000000000000000000, 0, (-286738805152152567188120150760480227381975097104044675386521355917226671073635327026414911819799883187608411727183146827762992781585183452258481332267376432859515984704981827286171319186339993865860455773225892930550399073549285050017326296260687706587390640333192473716433419732291178083238551102678985960037779713219625548059669088903354440337324905622205989987804201452784216667410960436457883569856327526258830601307034389814224207614767578912028316475723095146954802564547978688357022374854808338664591594478286057333886361538866684539233101616874491123609414519600556446222215227609692552174195643112648179161946074562585435329274987992199054047471651120725206283861999853188220090043816085217016501032272751373189519807421633691640893069528953378777545289638996261935272581851957375487759578922640310557118815277184976334861845289893429955114606358417904437253240874335887626224127398056473297788243061478864700045808848385293077585028846633551965459811705641585822727109682769775388935147526514393782566696600676304355423133098257154048000000000000000000000000000000000000000000000000000), 0, 173938236892582868115613383592376107877337397219829413357395806569912292321797291460404207230241559501835701999994353428535975298360245176399364769154436911542458264275005806594519761379470613963758745744777630124015752215039251785271562186343063152896208460557692465038798459717752600710470921101677996681812689571210131930469187666285639114568124729408612403144883120880172383967426253322700571577231061761595133868025388067779728368333393016175248431202782461892118194858254443691791113956451490083532126972398206095960393901787846096825302676792307036831569465187949314295929957801327560279246038010731210442079014469440117349649228118058662212715836520113108459418493433529766854463834152651609310638468276599952670221952858403195871341036401526976779708450100929345864655372996088114893544791675562294704261437215232789764668713579745632306584892782593227077877839629941263007172685280535260721028475599254513968851152906693657405895847243386862861610062448165257569288765597743615430965278818359694925053671299655120564681805447592673280000000000000000000000000000000000000000000000000000, 0, (-105978465680722754332346547429024563818706163788174311729841695979460971028097415169261420710564263357303347692463593297882085205681521888818453271656024414182651003197487153624394020246353455587142567413369328381244291975504018614271774251480787527318212954074224808088514122948143444178823102201751959267397480972515903182548801095221793481050040719062583740470222861921707793765236019823095653805616664114249792102569908608031973783379628581451077370234355772466632501872730469264681169408825113905576999851397494869128951122309958368603725320740396219773224213235794834734449386589686152470458719642915417585646005568487125254731160850731120969966897092707257560649480585083128314409978004205534454467888909939390490792794976298361475268479640730642784343442094559922657482837014064368003804629896612382440636079034409369897778565725296223525017456815050399827140207859163314243709914988611151628636905894315742230917607784027023362053039012760276520591215652123353841897041782531625809675950021848523062459149361930136447744796417002045440000000000000000000000000000000000000000000000000000), 0, 64853543643015795353321798614923755441629510268176059622266566086117485286289594784720513953783145939259138532362267784175130352827669107016550073385413240679435926565366432477861564678220803815729954481030517156803799452240428444373084362303213516495553952431716995226093452402616409034784288681766603778895833891783464652357660289530511684108363983150153679757799241148539127365895069614032522184991060188295472361313388179617512215227841468055714370210761965565199559944642725216680861447357073866849071733170364584100459634884148829248869177263078179511533679088481434798883511125874728203517592442429478493583693761302023510025332668549521537364307084560658912379481726190775716148171327111448754659685529919087929686316445359921563444669141481526018189711238978379732200423344198309410190298580074828312289527024078014646625305602762995780395202639195836662936218384952329174047712432417009136354862441747836241291994263484087815733908548003499919724468012384498873467272852803092095868544857456825850725905748317633796443952951957913600000000000000000000000000000000000000000000000000000, 0, (-39858712478683266310698517511117266077875316821346146405952007122763826274746398854280348975970246626452663910797749666948323187337391114661795253503843352592070109468682892376429952600901245537783402846927819968474252324630161243398476056929467219656668197759779203201944489331839646415880941909274964068582073837133629741786978530543636890265430969219199558417275575807503041776806391872673239388485134440234929898668811233918508143477924508129533162808815629389203760643483030097015295982538008129132641493249302158543778365001154304403849573742006967013303376828949834942840418796575391655329460443944721927550310917196099294274736912624733427507074497685148016374146945359589274711690072015351774576981781806214406770926898631467592148330003959079038582235714993530104834344922320365999928782027759557367616955018660561583717757678966396148212272295339571566454103944582098267207495786484913363064816353857694765101438709517264716263425947536233181008512106063415165965864665605701430580273680392473869904472755658283002249812810871603200000000000000000000000000000000000000000000000000000), 0, 24601785968521706988228536922693530209166118276138327390527556727124156447119792205819889044782495885953171996586146756881098753613631676661615095056837165189810925707977761679256899159870437494846252469661114890360829641878319454874303023576169742475751336119222299204422647010624555171518899799117228152840903162033489330417623885082295774588797811142630986430651432231700946486402587353574059668688735079557652973760352633428945383484902801974978551180370302078020203255898653123752054913584218068638869601231726450212615992285748791934878722800051320994687795231544777617825796744182966569085609204188810180782377687421703487939486173352162500558772084652004800234844372833162128766157510994643709939548306010582702280746670693723378466583756955368469819051418602196091029602961289502082249861038161298002610372381485891883344324324725197779243005944513961443689413442205425449761512336488480463626770753164224090004900089114311647909960468631975075492851476101805982478402297122112523667815847771061778598724855771888657812416512183500800000000000000000000000000000000000000000000000000000, 0, (-15249111722595202741003837742913926087238936435121765506993774699068089556345978087816172539955647567777247880202986985098030570672675279333814900677456832026232014870090758382261783570421987759072721117539817951074181442801875883854561608305682701161160944986871650532083414969157294317353746311002193415445255573942083329679189276511055202343587752764286314421562005699614991042690906333413296457192713814644834567035568943303672921445518655514725721359513408490454600556686069002577434008036966225801127794210861780770569392984056383833212737046968733731209349690003471700344972740770609296009576678380161597960661612624799676403292588234883449383706108169185851358655529633150104389897889147953536067758703553941866236344272607842355596107395099057341500674703200371450101481744228551615945062648979878593777441493584797738178945374287651890459824196920109499755650516196492340835799766251470209558054642830629286481917419223590085800617135701755588606292400629316119369639770085339669385619496542541896005601206974646048036817427496960000000000000000000000000000000000000000000000000000000), 0, 9491570829598332724224186339230633570288806668510812096778848837493785202858207398567944630615595005855229842942772031248013699763851698392340382601503196016537291775252468626545723884493001973240417709005952065269954949621328933912273452399257133777982934465076855565904407249140066853918171164104791373880520182481738825367449634134366420509055074379266331444257633442922046899977599475662115327197724379056128702299938589289424590196435063832166669403152087556437099627150979734064740051973563480189792689388892060271363592981049714751293764685258228043971935578715697953956945495825227422977586286518404331557421897172254309104445984406673525497826916045258768764208690102925429075682890794890679612609631214889012507689825425825886737509904932368978139111587082470000375456975934258863469329263712035913534861292127953791557515272153411006922231222424715089319801310427186315110380190852366753024533312084584157011195666885886789556051750074940621931106693742971891012269382651357620937508062329448136552354186989561858345947040317440000000000000000000000000000000000000000000000000000000, 0, (-5932376855200504553618861690645750895445785386012885915045017572220728434974132876865850634117995131875786998110776865024519643559349663812973345891806792916193938374890540141028129146178736580471925974649673126931205878713212326375661447108543356413634708752949241083698039699717226934174385208730289139703070317758439834097240612534444413900432214949412205269781343798649099937054498902459104490764109925979576898465877108823415779599806934585174901253830730457655504545463932734978296243997776515604611374967159834511048128888576165712487194005241568530582645094316283094665361698025534264375632598054958745174810511676015266003754110971866101509250726933770556178421185781555212713274952515120238964702619941897842986406087613301711849324781180733588726309876261363097049466177087256636070311188154600876533787844895883054437389683022458493786578473376984736554176598272156923897014571384113081923780986076391910982108530290425335809579730816260671140255044386440157445152436448608600596439368585968234805902948005316548813597442048000000000000000000000000000000000000000000000000000000000), 0, 3723044860780650696558028475215376691833484822516502560341799663089705280205039695151175704895776267274893930747350772273503102205179772597403280854052370445076670261426590332947763050017403103758030719349622632687261063068615112061039779540866122955497074614334647088848924565740650544886973990075051702683407878479619975919515822646111823162411285074880530836578786802340280713740418582159208715270718767812228943713604776051310576851101734223856639353747358531946223702399121145680090219024417832214921035321949237531382381909495868227255985257057648741138950175691166523100569794983307531974909674066434956353329353738894017426801548918088254775889388339039624194521451608601923388496017206622628894985000673863205122771295967889531934326962972786971302819623673588989011786310665377697299167739310276552223831189551409798284559626271418985411139304694048719026443636467840071045620452171436454708937215917158011484484098458252861855778546830503473454374554452540171040010867931962845483691154891774670558628959505120788255530916249600000000000000000000000000000000000000000000000000000000, 0, (-2346004561102836474047037496683697093645262950547155990384822190445503761681485238544176118034700032762955499316105673365582903650905954348846439024465717488766303366979529684292271191542513694481617992813274836619049478469150328861585438389325625303844858407542609803076261263643326082257036855755270911698258586427998363860887341938723567501751092092001155635711607375932964883161535446057364620139923587485755144630364090692877228255849005991170826873636880951826475131958217858203434740087285146424122342068445178987345647662028504742016998537690420848016496314501607637208705013785953762637692980231901992170618450113672092346266128867558946226013910621511131824560470701684726837729173774525079748794982989187194737347468992302338376502505686294665628252443865604185702284261727623292669735204082397674560126729159206231229403013035101047466152294300145225687969899058279292846000778668554063578272096250123682370740857957889986428671614542871785777300372152962313336723161372278619258473865401785808630001922202676938093202138726400000000000000000000000000000000000000000000000000000000), 0, 1484235992019597541333648291956027495957117883075528030381646412011207656867087646760670311986564163285871681684652489654012202636373621124279067997093393978538237705733542759652030281316498530059939525765097944788231026837882291678609228959563416218781970385376284993461373544264538779652503791878912724313585766383602216602873108581547027569888428132503664518783411127007689703876228825509243848096135117201572377655163952975211932940840576270310777699051191868548411890020584706043293053712652380520787262511167178521139556759744852843007498789302573547321026607721254260762116967829495296093254159944084951070148252165174701200664993713267175547383554103341195210519407357797101157614229493287272485777005413992867375816573946615679519348053684601414499660817570523522181657965537596076817305894960999342606441367422674087042570057113257537904382233960791230178846741636902648087872814897997909054211350250358154395826802874797940952960152472825693918291819031152553450681928988421574638371039377424598904460345336423849265209540608000000000000000000000000000000000000000000000000000000000, 0, (-942764867963973122731665595738198044523334112914662616775178538208409049654468233071101376165366748338378113330785722071624722593408020594931631869080390812478686056757013161329247153574518263746064798587582344115232451143589929886195444852738481252687154740280090024382340057201241382035281115342303366593529859594190009700049033577421177521707317408123477830910385553653487938589707964272841707890170574360248145607050622973190972353637690297593279575880182775604316376309335499636804042086192646686401967215981323373975074755251505430715450201301836651078567917473440085034557929895056824989029359344979305193640806774071168729075917877060228170578056890995451193225823574621908244927139332807120662196564817423808580625979475536381038648393370813250919301698930953489279470485530380608454790024748680883466381659874357737411611590598608503478360902241684870614028524757161293629349430408910307082238169875428560758861664079259770231657809905611860250530118970485175681969569518430149220973589314457656279144816125664699069736419328000000000000000000000000000000000000000000000000000000000), 0, 601192094559077683944619838084335278554020955852647936113221992138830188600571631750755998539458506142395851023159043157462821025857311596916192121024410473820752670633411796383076566274629920618465606904044204471119525701441519482130064050178298320618786662547781316263743602945025631819499331216621564383028321606474082993071525319651838416183496896227456999246464105759110608269136398530265773822067147526487619937378037549796319132182834908997713928511998829945538233445087084966744448285650281968629225952248815958528028991797906845484191880174886607752357101202261715588391484051832001564951318884868541354919012255684869204776719893476872453542537216647793416309814367401005947520087962033061703408472415521466316885279478612386391380610117006356013893760221807497163497545188319037410283295493004481939472447935232786298277700515240819237589287285665126927458776870420114202929743086458093140839460589892762501287728498336528864346754739745788234387164778739164718055208819177358254563036812852161949629898688060250043239628800000000000000000000000000000000000000000000000000000000000, 0, (-384871712313824751565707044444378092560587155965286873074230042213874745029408640420089399177086242842063201226533240560595741206333481398146978357271434075149505959479177374117240629016323767053620936269706292182252435386599337968899123460932140236175087230349934784353428629382112867844828987024314087034915301781095389709482915003579881925438984383281432763047329278089459923247661516609248000475052100478133441627446407134984996024089041723439199224686682833207271299370144542716550510423620089767603715308055480647683902646897142400652556098597035654124784315446619955846039643085536582335756600196335449685295785556559922806351171014014275378406183718752329009446931601196881004086741237466694596473909633753070327594694802397663088540945454905264119473673719841779060648000810987819617602418885341162653493621779663169671058411001436031379890825637687887499496636508971914408871566345980360733953122342702907922886752975532737094800186127520043404284923967217171282697413014592501840023005993810222052819784496946218821264343040000000000000000000000000000000000000000000000000000000000), 0, 247340537924828649573649634450777717242855493790269858222712806763446334892883058463477209032661155735590106540047551603493365349130111223903139635146861057823511056962785214469553792248979111807759536711945717091812596076540546128622398571316568554080882193384986061652795166287340874828162331387940044928198950164384379505897622815414984249442098455372463395787631296399809575374732435462662498011657331246794905398974789332317035525436389745940113828171049256941362302790656861166211106989961734849024682564750525643680411032180639925219583588122915962283195603978204249759009852281965313705382813504038918228981025815468840173000858546705858533459269612549287354181093694370059710789587587837518066058496862673026645292869320480127231073371824967683287824377913908976763482991023567169401140804736500563936585018437634685557639819823456710837791511708078219780782320709554210417334210358726952058867773326693768621191647449789786758456356280570220120392771322666908892042395562970787318055071933606411715708379398824121224658944000000000000000000000000000000000000000000000000000000000000, 0, (-159564103236218441278085683855485114196231824569908746906307107093904472765851501133952586456797773156444067021481258180571533240305456665232243879104158125415826971885033780510020040658873147185318330579603009738775769568441240798658492208501152803749771381318975618600421509240437501676482697678013135353100869980163321263757302108503363643253500621366030855326002622562003394822867768577348415008817549877369932114368925999260614589061676212434799586539684546904233541238035212405919114361764080943351899042799848886388494031864325571656667211748701676305466506385256419304916253657205810626079267948982962129391466523975268897860806689744587815676137480146959980211803048340987115257148427882475003271080511937181302127245990523196740680828500113710428805364593395118251078672290249382719634205977066594160995683936996893929698143646982186944676126832655002415799541364473437911044581586464548545193641062326823400894115442229169594703081019854492288382329267742063765912885099255535402705742633532816989189239518900905744269312000000000000000000000000000000000000000000000000000000000000), 0, 103328462386270557860300630477625688148634012688747301456843054559413962599598138105261544469698162727658455503439064661340500231790028319611631951561392013689545520093485937702692335892102418130858681051202421319838921867484124556750889285466776160368363321650797279074460834733527008149858121924210055170412886215591222091167337953465974245832198154900921582226847330263114641859059470111507515390347758281681799715518041065768860613050064287376970145527677604384903443516355224165814659898791091971385029224815937654056452965991768369289324246283028469477923089293136563415561584388483307062050240719990870883169317500501109346396502956954680343167755776684979885773167446837588968582085283427396663099877888542400913608002497873280694549444237758041063849983560918242337025061280747348645519100960072306117104417605351609313406811905896313961683884027689655036891851467069200841086160797348233528881071692637592466510984238535684285491972584554386788263648502658132504879209670622831932844040377784646158606840799479692314175078400000000000000000000000000000000000000000000000000000000000, 0, (-67163632921027209679848114852414808508288997600120003664397110553250665933737953823200401282752308456941252036654169201492995543755963337679581766069768969984681413735522195993701122110672018745825729001371866222985702701753059979968859819536637203145627369024220305327817180184853148044550941202085822013704896300968404974576660487948313607030808472388105242415903482165564098140946526833053748564512905283157124609975523472557309190163194531717198660159040739380721384558335109709719080908180164241622171529120966738658694484483716645728706863778495853614051880713225599466451209341474301551048802579960088734147292822560968636174095952071140455272508510525550553477291758006781118155620683845267140404755592009666746938895435665542518045659170562025413153625529002660103226651434789986895842372239119380337122162160699339302484785496572715811036162566575680500154726202040701688695439542564506782395791518752234224921583060246274069864644519463945174657308349587169867795972056520997153425335966240290354588081088296613052416000000000000000000000000000000000000000000000000000000000000000), 0, 43819020669834467221904934978554395254523694247783297092486909479048297667815409713764888650688903000292153467007800557878681295912131555633691724190621379403452769008823026997879872855346844299843777052784732345943793133175039722259552327498772072671383507695125291576174505926326438921461909596922484248964459891440974424932570675012940045772405990004498322173331153735872341330266386274129698316394437837630174170221705827678675403664940767467963155571525916544195844169138649678479634596422632583294704793110346916226032207048170726658008449809909850605023578826568050081075074056719721538380124727441754914138959954100431493522105803037946120936092972459981096061801673767469483268826970829779605642640102960694614124196671509662824191092862044061828776377627386357860104617012715375792231308145564773967188496645352074601647707393561739047148954503721679706641466726729373823585810301815376655960403615038839135702896767577828328855584332472767100997690293236344452977206640340723213525714805673377572704761880155508441088000000000000000000000000000000000000000000000000000000000000000, 0, (-28693962408684548261350671835385384381441951823248348202863758508037674059538421027750502190696603187601020817940759147395927426218525183343645554995213665462956913348254753283641014861953400588814606116571624933951357516153203028409010453146896183607594926089620119670128106059622017824903482721170105613490261284925083438413892353882245978933624550123436990207466196459756848264686777500419918879990919069881455576965497828644960697163825822319556194763788302915969313420914342672077977664056779308122350336786456602265932701599859126139643091252934850479394123280474973680629884137555081485710162415368656658900960162838025318931180847614092874071720055769347499340220823674224524105522362590380169291604014481071317746325674962036975867878921996986784808396445692127142132141017414894576984754299400628368563343439817024861015125714688564159875860284794382015317520767792811236102030651855890596711834282205908112631792182612939367093064400126233715311292004480389530578370074975513232393813604763669567940472997542538457907200000000000000000000000000000000000000000000000000000000000000), 0, 18858324433604392327646425118928187542480032403942537516805926519132393403631366474049747114066847390952628029455546418883910584627173434617732500477915884132231807558078054961204534463160385718519323683429932620214522079912931037602699554703930266260916168256648936371857772155073305640985362936800764316319975113854545316120053388064266611431107481165013735190507019798782231106631932747745080444074860900763580612679523895418133933560711542210895997872713289137222718058442962777899376410101139124598153621921344103350514794036072556796212188042285001420546131163564318416173741814217987180775936346153232439679598978265876362730066472387310786591617494330131579248996184459383213766016968107502843945082371376593009560450886250438858457534008003023066405218559252906078943694652071562748536055557036629081309020069038031050342392066076559036276570679192244236655464071726978659872272400795577858231894773704646681096904325567454426557440820890798670216370296198271196482848598575214768801203266865707489263870194204513665024000000000000000000000000000000000000000000000000000000000000000, 0, (-12439015223746948913986410703944254344674660212464134887236574861409623838416430455049871527701859849968229132019041736160292077361066033932493301425653449871766433468519319560057134648291057727178928522883988014932741109198800754134597298989058870076698102229141842940626663014673421837170401149327318182195340746232116132419441261125559222395587055617571519976276280225355434346474942354642028218355705696636135875496929394700563848732853894652889749337168962616669297010521207282263527629928590744684371185019678570219063834938484460512937680362783723171886381998655637441933694234539361899061175889520072435128713697772764045361169986699131945810672908448062857314922556049964757570435974686077809084499085076464283996578668531993720390652732385268991341569186984308859818483598792291549900516127106003923580392901422838687199415563775475822086223485184373714402887981501308477128189639167840792263996159866870508887744191212660235228360503379893758721748095212051288247645828752067598156236307862799130035780383135045255168000000000000000000000000000000000000000000000000000000000000000), 0, 8234269084449604645905511099075305141932686424784065386561387344879141567983660210874866130628632576381950810367143887223616583771157012118038089316130430130249320611406330583119809115809322541202766585706166152598051279774517984595153156471425065390504315735289879186861295595325588400134666091520905911332020238138889772798760994514692246499763619412080446225299876771283379165966475389176850826195500131623318493303062318096925590096243264243122334799873051627158935561491556253096021428597855212652763367111826236259785784249804527455798543526374521650140728423877720902585237172439645011004579362423706159362609261743383544762435828522522366121271777653187700311137321329831348002076358595474363530665217818777725727524260110950992566753246943752520551088705477617659574052589559823781833826966615639355036554014218677313048594442425295094414650539089826597351268366513039921893086738184251683530775964564135087214305704895924048901238697728647607784034137771810976708904878014814629503675417774626435593931768512852787200000000000000000000000000000000000000000000000000000000000000000, 0, (-5470239578324068831624822393958679965565070097136803722563725375067874740905904485683792945717516480604026794541055121956261330566229842334825108272009800692378876101474660720965283080418802797678050493088604116206397875555268423521825112607151158220933554080836887567742154361101321024362081636607320026668369226619874858389216698490395759357732855482824706949282985042248625706787644086273298385983389906741560802131103330185983157736947740320007125908367686165651886558476755314904768032381487262248202513875704023970213863757953028715850359192556758974853467055386380164187721361319595368334388019329422405789951424639401377224431093563116293744317839262046202790341442932571389311828897454231107904292362522276166414701607821703317564024786963881131242749621675246401388068670285361457541005808425357229823269453018454838090194820092740096551745962194924166437004654182038365759511277273602210926018209431326801197879557966095406756337646431107254809362767515435161625230582225139589243806434511391948212280019964091432960000000000000000000000000000000000000000000000000000000000000000), 0, 3646835591128345356099252175577205476840559444002517543169711550841505585528209892975192123686485528540294565293755088352878952561116516698114094339107950237472774262022891182775084669736195320106053736303934760048601054968943599012616746624471584004915785072748204047237869741399236574714352376639554329524626540972073622485312865211641848838467237161206786382690584970054496518143522571258928438147147662981127575003595203879701030413938538709531998516076803114054018689932815111962590775409634889825702267676718211867813724090344697945795923792392930759828089605586497624072704392966100161999106085632574218754976881923421060981348110532130387311260605434749622288365528592480131648097610295048820795582075858785305373921520099886058343322593278930838774756924170329670972858789140611834615561722779865920996695131281029841204530474337099027929796846821449632182126051141594561587828471326349671644535253131814452733845287137393235360932521184643542215449842210179364922276613243372359053956497819222595218210902019470786560000000000000000000000000000000000000000000000000000000000000000, 0, (-2439726256341892146390482041709994673449834939941667083682073871289141559291028529828624963808074713673658586138226825016137955422127675221373079507445646033802613950454927846863093164556110525988509583344380404121650312294887036291694357891421464382470054117000832882616613244664141537492055990914667082274983624409711414307490450765191479015235035685969874858790186209836915261777123456850740214272406949047511372267769650341915647777447512359619209341795159602801308545537855382322031560670665881711999344550419798619214799884287286294317818724671004101581244991934999901118361214613467415512811575245926575505621519073073392631703616615677103775906053823884486009093679046020396149396453702344307202163417102857120662762377684265243995935601603423706504890849064245859552526876433081889603448197709278469834759786343710312403127926413735544474217664242752479128012941438454012382060699554137490730395747531318263709575172104222946120448078397309820675263811552248654906411743672087205391021013991935899421848130681831424000000000000000000000000000000000000000000000000000000000000000000), 0, 1637826324177827425850961285146369697953157038272303256959397283950759457432452956688981174751817316346272521985028979674093878364320096354016447810145607492796457778269321835973479724530045526199219345249295882142612768358100400245144531160709287528365279532157197621710588916712023789637792668952957428324808922320485240878564040531191474661637666734581889621737844113085483980977276604101150791134588422858611005010081514689766918838495466810815988445610599188594410050249701678161832056231173674335921838689119616587326940537134697416494264440419165461135635672995234169404016140238140063453493932640846936655310236719505835820279339868465426861110224040746177411964303249828662403850564213432810557714034939674622423698776359537265492217520491495411007843289058138249243922100445759409514717398974166903999344073530005753633156983161798274558351155070424150745547246922459896558355592118213454417675540266255959442352430984401696378194616535868783078073978470972524975817538925106440445009085884764097776715802979231334400000000000000000000000000000000000000000000000000000000000000000, 0, (-1103274025164446223544328950869465510082131344622375414983165366087508173518481376420277011358909711878316298217674819451193470592599977833887840869568471311923763023840577469951857033514280805161650926373610577968994468904232816179668282542540719412624778193364873178824415916759085995985618408736548349125268778368587713286021328589285554200230357004395294394318211305519625823920777892349877604237080339811726898703275082592839782743758714618573679037345816503109090888383336971977321025011015057558953435694459816117993106492827409440136407266195674833628540688528931176255570448274587522603851724463440143200034111708753705589966279014800157949456690020534452994476956950208296820538243293344746676048307622325746339289963247672632453106322593434576207358128481218417672053549703900265862379475357852290848593584268848446046952375207462724117448756049787497570483389693152589717531228969163194367893245072254427061986697647960216407338183250501496438198852031995017127168033834193833538855483032238538603145829298470912000000000000000000000000000000000000000000000000000000000000000000), 0, 745718499335760876443515175667027654756326327306682914428543554554149285266593539495782647166777292182224380777011225947913334196098998199399024690538378918613453360531224035158315542667698345297626415826763014768012719506043804133540669675436409087433201827834943453191711192249851277798466391817908948225357655536966160239313800244854143880067457192960039238703428938531066645909553352777299155897846358736329191187335695815816646292263960742387506149032572275021049551375816647882343785360175291521894074103310651094524884060200828299343831556775275822785377356968520974482209047557873557983656254601789096953110328102212034013463720841914562811382543808159007018209728627085954102514909078386110295157660043910240540747001031287012083046400611262815188950479029244592424927125780272897367696168106773451830234150704090595277050540186418160145199278365982403971323955026953805398332835494326168577632566916460646865122224385080423659180763168807437148092540112207472988072457770871339997958096018784445767164388739907584000000000000000000000000000000000000000000000000000000000000000000, 0, (-505742905886405620596729002771421921560728137433135697706124135733227294244932216952694412169001375096666256409572893204002187029835163335072903786041146927071690081178794022805932033261748699519952315473633055235986280487780870329819020456218353887695884582362959593882902533813380641132596810106638789110197754301279448980839335696520701185130998808676963037204230117700504660191302415951780845762868475379874257972106548042589764245341541913055914155338071749536410271016047292335476420798384027918356356023703344451358993896404119704927255185322229729306980214491236580001210523650711839537810673824914477413939608152440143312179875388621002516453948348452938213586514092999549782258542190708182144222733638987431107283732100720689101050559876677912338293972405022825802533126447230187870306065367323786568595069913998864976306960902021650816097575669980787020452286604150448321961521786962165921086286377048097289024029903018275949436593197979023216775286350386846066220258931328403375769924742277391775860944854319104000000000000000000000000000000000000000000000000000000000000000000), 0, 344140371896658436005056234111232981197685651478007166009200267703480939012578040650640502871355590839783066513710190194863233873956766249823692098531283372043404984070087986116775443321892014183824440532208474200141030792240929918820248206885992565090186016762353357544806455978066630015574786472543501660234372021451454340306982089238706931751441598162227708528618996127087682434768011085369892015868417100514029158161819207729637948610029697639452014664744755161081672308068871753757611773630743616762178654048804496026680818340884460259296747436660260644277771848144337492395172199651325180267737069170746250724075587197159167423268816277889864631722045831546908541190067112438930704501515977735035927661480130800282443443695001096841194582978154059929432968491687695807136337982291363316144624460836214455199090183504328754464783068899962788967359812089185649115322982491090400053956959950513379993783537278010854868891712698136572703017551918437680403935056688151557112313569952663557431871517259206521956362459545600000000000000000000000000000000000000000000000000000000000000000000, 0, (-234952552143842673532584090621208157650014919206954796024687840389416541935096683562695144296818937294518331668119526452255065201362675911295715211458326649510540597331001769449254066715942056349218549978686356226010972632699923719964465322778528691129973814913364214994496689516107034006823667503834543578478660075197133798107404832053034192871604149459742764668890382404539977634055589977305903155148324067958417262124005266036445004940359733255754255934554968183511586462640929318783855207843345554929128995587506032997866626252968885965105833881707168121166051119949257606551880606449628226487331699065229017710102025735945378050924900952927780393850167438163984233360225561921239180772000259080450964089052120421129334719994911816045572498684639599903845621645072978472131809924367496371244887032884218240397427992946079268232067715850719841666160777661362384509124169361615875958462025382752540095862226423119907559081873932877139787393378814814675378938208634493192894418555416423708986300450090814924479040743014400000000000000000000000000000000000000000000000000000000000000000000), 0, 160935331008869779117719153569354468664149783856246806209585614392481216109670799728629374949978062885260424304944270843656240732471348499700166073313519193673296243645728073006945410909350245576597738098474548098063245547629431438513859440192546827700601882230717126493600573574134642922276248446655385192313568112542327313833454551146045632650016519949062837738851282022865833325940838300622442914853012285065824880322962253506574566425253115383089210877531059804715706286193653088935810348551779075272658034725785562643597083823370260300224128467915981952539931850051607035022935223719908959419303474565318199094207324257671413646122638208253097017572663714145036793157577369578824869183962061666788148177304458080257739985743942188362906393302282562909681693892578758393281425601053225319508867677325177660263609962623859463893396934366532200897705656163364893557754827373050869201096442100634711792012437277248584377666801414888170940668952481442500681739232419615835457967131638732330026241981167851863938338652160000000000000000000000000000000000000000000000000000000000000000000000, 0, (-110595503722078865970751629161053669669682080487566934089841187686292908477856854523933536419602272360281182294461295477658339382765150403343027019457698441382940097844012972423102845409618165735555903031514529945548672791552116788898490869453192177153368878531357663420356679339381232755765498792660061720860814489476206848035817054397810686043000351260469369264271471567883528094580950874854989034621433320910499988985345466025811630165611061888656919868063487328153250283299575091642706222749974123931922469559055542620134305536714590265793625533252080759346536751510275661785707215980083462508957861643220050741667120215041198143054535040716746017059989054650232179031968653855988256841870765363810345923311015226123429401959299849071431080297113445311346701288371379651293717012998189446698220967358026205370957136684017675032988343108240944274627751520287974588109494712790196505654049879912081201566683267803424175368251456402015610853810675435571860273501127648844561204178872483348632898526794784304196514480128000000000000000000000000000000000000000000000000000000000000000000000), 0, 76247695928734443331732651193565063830626994172157334476167367589830276306017304088824912668457010755861266474489942216959924685495521947969166489018670948306983065392588456380031636095279403135745673164906252941641023376182946153353795343851897180144107155383912270819962178557455570101447191994968142595182508275516904602308931267603694396221403613486396658970331632059446580383004182086682968205249052228759034184264804258195238051391770684493743411347448111960766964638033951240419942273872850529725831566871781016518970124871226938671593532803175401175974862165794133089585951979846498936066812165443436646031254143348705009050602899018347026810340940328119333150067910572448409471552156854014541224230880838237912221761785294398443152755872947066441217651138755889249061581406536112961375744993180676147209689788926600090104206455029912946714471710562693184963902641220970742966960106802940763298790216413242466657463983504024310177862834299426869450200762425437868471786008840356338772034809556248642015081791488000000000000000000000000000000000000000000000000000000000000000000000, 0, (-52736059314648782433665756355076826388317727944965853728762117233875033136175035390533146760615796985997898103794204666263102677935702173644968084688667441574254550536409182281045684836076579615177532721902876223043077821264895746522397782086616037596230200968854291682660523057697270608292986407541622244956854186131314149876263688677234509540674593813281323840790420726614567845114824662632641188501197520857148342104910869228580797182440257862226931847368146741512968306818839881034004466377070932964822338576909679183127651984312987364961321118184474388085040583054834568083257154973190141768742496449144730774443028490330808388967611732197331042870461371191853293633870628576684205305896291204454498972354078780578644570737609167313995501666324900711988854319924188929606718740393532183244451282271866528601177246196776685925422905077122954462598914637202430001239097390760397511086512048258837695878643866812792225790626129197829694516408290289631306766236950175968181774459790190542757745812516917688007235993600000000000000000000000000000000000000000000000000000000000000000000000), 0, 36590556092504593965794536925330918331928215122701615404749526253166319545765565042156204288995412778921846447106720731168398171509422751798250702091727875411175890873271859118056496917958050850577526791998673028879998135642832318287813865652177847731616347335686663484546913828264103370046420022047897736809125832245737360533682026386603587465843644023524749931842400062157861025317424063790433199480932991692290023974623359088410059756734502286853489168305650659217313374330589671858993800801817910489690857502480715537671524684253766269544072128518240619738986891703059513550247276946517485463492178946078090869572544208170880168526946196108923306537799866638339905344279153587475510628257478398317970753459898008631819366976007513310254994954106764361493203101775792480718575080757322660990003115990618364216617819082448088353286082794268097371011609473735563929443467066139443329454077538380616042995327109049044028987801940555987707549240087182400614543276724594624419242406310540781027003478993439623624335032320000000000000000000000000000000000000000000000000000000000000000000000, 0, (-25468278614416223341692210724165278100231512845926574740439130136402701351045204383817512512734725991580227131662031765557363178940309095303699185286352191658478675449340258983475766662345969576887178150023348767668232390557514271440529946335133602445226490448884793886215247982167713088675153295830548225397363255625150131836396014446998708873413113647296112556188550788129174610605451195023680036215637188232265485076293214798327025917653802928480740780166679992554920314841542669433246400859065837318885425370086475589334278690343157921988585812654863447910345343712650066967532361609212837630074655670417904458503884918970532880882940490717754404745850654177359600283266930857658160416950487615976712125440358183248392613816030025537123707460747960022547467836338036029694246363076794044795643459885838508191061929576610894068492382014109520999185125303782282554201911250638598296355655039933364433076843164498089556331790311856915882086900763924119714078995386139311882914188406236485428252436936285185842243174400000000000000000000000000000000000000000000000000000000000000000000000), 0, 17782321130705315102854586058559426659586362409353834844206188954517346299182263765034097629651179169955769976652439259771831665712034014591003082712636907876130144876092635047501743678330345484127265235412331307762445292707190050210837455679501052936245602184684980853999924690364935737988404790677984070837603166073099978839180682578479958215079651903742910270060470276294921422275213264482659546073457896365724984878287473243043819578525853810390440864070805951449909146391653235096550556961177599744443690061616771002023264002009512131437989418258930874004298130619871695047890542890173492976010920834276000370317154346551236858251155335244730464755328587885383404842557099034787282981891339001709763392828404287639205192519701356553792438500679751418542994096650929078820969798882612990495460115228863082031145694758043161068852604407288043047819363550024893685468651608585298991250493883828182884621741803384680922683011084882265514208093692433254304952673142211341704392694762201339699296157481291731618811084800000000000000000000000000000000000000000000000000000000000000000000000, 0, (-12454456219779474313330226675586116371113770147643882645202022425012934228032987993293036143618286132547148153553321295853347423252663422443672092494216915028156576212488710365131793409387363060499211612087462929483333987928966583595874511656223140122544945768469091795982877685894663193795398617331151775378193693213450133742021332376436883288968761184323545145980298838928701001093361709744633304241287916089283486228563663037244853243712560254970985344897425432041424536225168091936312844626906138004365031972685025507820616329559825321425321577643524050293756832676008279161822973882900205820903131439309935273741274997085925488146271450279762481612313760103341866338824234618577064326107221571432818120263537590022209444918439964458907172435572607822382087012767943657638430172722881152686728498468535748324597407268178218733461267670891539719042973951332955655142266246919080538097499400727827258261902152124604204362512513822072299194226613836645569253980233280516187944751612530702598016380487388042489547980800000000000000000000000000000000000000000000000000000000000000000000000), 0, 8749795579935418927768581258639045000691161501071850295109625843558692095829688015405947131223388189449744350336819369405115925548688504210321981937003845028649030021733076783015240194328537101010079813458895973256934638758614454580465582548792011407310119994926675133498726993164204149329876366061438861166632967451514204546435389030181907670199017206742988563833698754439024698651849521110827416120330399684884286445714132934245369095119647900470073092183186618788255695175114171549856027677991654786596432896087354215099314875286492478537387023298143284940442909784794627987463919282477811948032281942631878060040739470249152385555342985944243356763657837451049790090053936266940616066330457013601121688594715923638484727136215641193051779116991209038584132475477035956366407418427234572712138390889551802713300975993726957835406302058093941034776610223277624503125640594668312991558391853288079372589675757722126464983681985692660082008556553019628152458520975446648126877859168464292269161154317491668334411776000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-6165912603308412667888017007408019881222159509142648750167291233472841949931298543672387647843097780782818848071182235850328566002552257184093760216397631960979395607068166989511673547469121750924029225661327076724990907247382489262943258497392930655824738465889936882435355808570331205626764755767911608039908386171202908041960949700962724604322090122055596306111235901453962211390977447729014061528137694586077159182350417152525239494280847731678524152244159026488871230747019147973646319213305799642778354362305117811072817020831545398753983229519487946102835649994954645001413707641715618051483966428385614510283840650653147950862024327910169228980483505364140610350216816786187923320681008928052790047541272522678046188086678091697950870870036991503560745815076861770391576524434427308790492417314568656978934985588510122271896838417126354420801756034166963828826196061377802976786691886179932251149387186898950557867184089570231379405105662524521874448706146387457867068255133209487803725126644421113008881664000000000000000000000000000000000000000000000000000000000000000000000000), 0, 4358256667946464211567505719098044599698350098327503931451899509136621828835108280309996867137466399264570780164298421635882648430679710255089011515614934081949617793492752829577170547009185069235966526926543079963554998705121280872136318796732560341460563966615130083579654775353199821692656489421923632226648484650351364149507180306356504428083214106627887707035950648612661020605158781399039426012043717517629077702150519768031728185103567866853974505609934924849597565294396937178806326755200772967817275765913854251299486154687064404876850600801954786613503562845399277971826036434001810606139403215836613055244249897331590315801132544360358606778640215648507470358288813786480903035897595493876953917299049554687212767737978994578367594776774436608327112570323473602876506032743897794977412544389018305481664557518923501958727316399841767493276221544195827813624301659990949862448110774053446152206463369728274472706216112098539210026256334570170353054925639443655772390863632314096897405620673278741630156800000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-3089826058701429049517404122587776690871800503368270217202322446727662609811809124067138574316627870617800605953870867077577385328318314175662623359390672299103798322661860280727571466325542563006998986036655080020634599959529090278297759822471335665401452776517031558879209613238290742818120906587060803444906310428878183020027805670749274712319133398899713557714173531595208290048652742622958591071379016098553522595001783607115941315583596814990186722778616536101113325288341091862802191771579782108701298748035933253296346078937600848360732834017294114000516993281222695152016714939694291606885787141217452072721471709765957081009340216773065532631424127351657605123956695630316306662519378069367213291495358435554322820036683271871415569092986996831917552235239380963771830465178208857829916992725200002861977888127178742793550723725411394190979313568677037875555002351577680491036596738217595741335690829265860717815243835837764046353093058681725147877357271991537813499287718692688848860045061802646149529600000000000000000000000000000000000000000000000000000000000000000000000000), 0, 2197105974129339995062768461095497040363025242240171721232550734057541705697410381313341395702879900902891150155737649778936257585332589698494991463920998892387319966072758779694624109270737261287782559080436882045451282865803066119657737166138817748399286940326312985764250038090977966308047906835068127350188178922541982545929700543681492072207838059946008066110363731829056192641139422802813756365335943248921085983153140754232155846770753237261089927223538540036344476363094947391626630498534889185689363696801776915874781207671919990522161826914030042429158769047859176258306130483228032931497293963115332231691526440114198662352052706925881520271827517299995470007058447464148635472259724550494438541095443057828937035025969405986231967265575301156563455043822466814902062957342238271391895622301837019012092853289316389083700007845331695801911550476057051122702147284422229223595932948644186671237152193933011602854414715326886195244815839384082945851023162040496165731502896943807502838780719875742289100800000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-1566945250526808846721869617745647520547374438770612371064014317099191304672501857863152088645366621618681688665844906359974367978303818266264232541951810002991275435964744880592881767219264594532188142911593091449334970432047860165879825428391452028434154045179915417458731830741068890711141466612891370117572096445875948318587731114521748327044394693086189300848851339440147736236285930634693449968406255869331813571103853054393889641924313406920997438874107221077630635990924797760487895527998145351800430190274529382343481873747956640076579626721526688951711055170251949496342032218389378425504879053864549745524807913917277259924630800960724953076408089279551701954514113863168227933379018420890715848773258930269324621964400943722943635867689455708845728214549942688870663967854365306855366480340717188520200065730029772936444158578937659079662598173480053688065821782978128700736343300624654317611296356146987956044318518155638083626423277198155933084376697305280189335705834972504223557512832613653413888000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 1120811873613752299265970776670961808556312246886730618921305416701898502062566832643800050474389275533926079806721677701505438269935638485131116243533150266276007645715289938503159072154418336368037339098602915496402177979670658042737971552567288688768270607733224502133321544454705521612419976456517665158394042430974357648286059353683729197407962569782731076501874941998835332604197767260704173326943302897026419035853125605878527113127074411650555987839764966279368994789920868233365969807707711145794720074543292405032020776991349772609527864287337287567458242061308812753286069188976693404286563624267611674237048144771068370549881149153659193884342138186628313116029435220306632147589112861197922759266616452725070809997196775232953632220405394746208818746248928494931806366523358775765031586728054891258485822465774935468667076876914495579989910513345852479290207624162687082562872593646843735588080821993803274727855180837208469740821602712230689872221781747401727495810122731225320539447308735551111168000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-804040794632137650946941080758014865349126964235431767106641963692761199543663790553090753951862980749886478658459105370578547798960355630039018860116572655258991840084051366852190830738118516942832663575914340583503716777908046558173432042109171181042629928328499398319400306901720962511406423125119177852780074422300842210540305425494556956883553543851585576689068860321239857289850268913143199260030771881225042305628737169812291007042941470940489258273540973549229176460098745907364088582799554487150322776342544509847719448308326854629919442274511387606056670798805287470021207303267334147896116118484454861940694453843944365992759209314904678844737288271379591198531863095552663740886181798989528009900471134718887944028080796894150933137773291739526302525069859249077388272101326414452481391056065578968012451482272193189241848136370185286412334262363537689260459666444612502713520933861039735066162118899978912446699120231297182982119206966711967264187358035507145055331660188098733030157550013015654400000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 578469435361686737351109154546011064773236749661951157609137043780912274579089555937517020181754202132113781478358126164919749933327594463253853989574513746472810614484535580801715603353378168024788195105847067007614946823702862239784900497676550148125223057538719421830531353327223873983583014356448914260625779602675263842605347077638159398761518043725857344432058104552233516323306090302270612635824096414359446200871266304123604914121581950721391134495077862693144276289054558037132455653838796059223874001168061044049834260064006587583037530072208638641432400216220333546347791407957840023593071223835439798652375432139946007171067589513604262453655522410473841959882382307073416890571149476945630557038912051789068703221235541937724005113916076415506645326952102394825847668321773139243661648244889195358307196264327216225314257887882977146947846889075947558455945626324757965201401828594845555420032583204192947963475602567649368457245349788211930189460801986647791292512266503188471942749023110294405120000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-417378780280779210749656637382097016543708506465469654214043775782997801598581693063062017799400619530350345733733534422303618119005689712744181881230998267888224499453534700311052492195862343767105504096292845825554625020308393268600455424833297899340667349421488106946729183317004622231096866182809629924258905382911969403493637249006904184554984705607998577987936356348176717335906719391433261425695085808949755118634589455726596539412966895877142302303214939631149634232058218642914006123478378134070067785979586994080862261149921541719132647782658748872950693332949226746589879955362402518888723912855881309715801478123707763262164104895156136289428850651997288887087849094861140711832368435772057739319544570405828471306656807622299338677520401582090818275966754762758745056551772668362156719390177863321511512435107996380691457564917967641066968107801828702529571040866456173283528945336005817154821552430486280822220750234574343719614357138602628490486946098087562651491888156258644604961270406148259840000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 302008177627139519889236490948060913437509221573917892681035613271848579904316214653070309834717741392808890628641419903574060186575914989654719906942763617383232377923678543146550170714984540016462258987739353443654925128096620007563785424992331961835080839704322116375526327722218767634010348238951084507240575363998049811582794162147964720777551680753152484460145253781456516244786956304525205217658219435006703334517272973976874715319991217974220914372894948782416994267215779037188501168316383070476849625903234242996031859261033331327181765328895468327324726795774728843638403197184506392541625593970734140541104892702217187494928119687966895956026071003090604331219276346260201584189581794146427501940378617485180824607437743793258026526547368287024008758512554572271023646803828059657732870799519039219323045360187539621414242233682650401304443251468752025061785669872527032728671148533940614337702576290191307570241059456014980836109364091741979439866062484098030927294358222704756731632814426108723200000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-219147402924087737272937701473289232549558092262865258768782873194628401788868521724068966845935168641769881799148766199003642277008207991453607396307920341760127978728855393787535580449815329373730022839800975398629501139680419948009331426169280403708044037463621047693516396119402946771495657680537285962265871861672985334117745388505881002223954286229502528219673588083831201495223075479013640924168544869091330670918532603867395365053782763043323065142880927442384500891692989263837540659203290627798624040203653893653761423961601389594974793096515894224049697367803412646404023522506225334581417614507555594051039049113853690502390898444978214488696346569992813119020015179840395177973058774755769120895703233000650160236488273914902667089624563001073792862978661933612787235796490620292905119576345786829924889402629155945415710345680521884999610935484046794477881432770276110260929083069829101850467207218796234547647249778457597046148995200839508447142583080349040317290401054593227058017356317353574400000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 159468263909694061712393258758997849544978186139069284549917954005396847728858897370590555867325352129528787448303883508936341470036854775894104592695102906544912251830211583092883542717837911041530844874670385708019660441681755219359596642384749508099919905658776028245688162614870267700585175893081211210493739676122560935171043745191266636910597114535502778711146704468982503345866636497890549419323500496514905633037177865746316081529418772386676167839962995046485873353817880141265499388895484620736390258514252804011268312000410451462856643645832909893965097562207293525722750994260672501097530978662787855921588573636849908916630253309329553537269618802854754069850876560521369111790654141277343141010609141868247992526027185513536798265620447796497723309830150971832270521021919569966480929080185312629751342778575041470174328453228630115911618470711759222569751464433928975908388201635028714714112971942078236749235701952095925109799700777012594922362662458412059489030579334950885249618413591986176000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-116365345210642919730869217442204995433181059326500390965520993956738446877886901632527855183997454368891950586485571133665783705650768852335651561744445446034502818109547773105318657349256796228788070071898202066036652235568321649341027038727659872502050773457677562560881300753937914392918758908505932741046833060336850532768578000618134921045971157857153244897054757097617726583342488166278019618512198876855919623155121524798883207072838288858903749488931853305839009326584234079400206688173468031946753660600004602644831121774848364654037977644487962608208278812162341397253289469455784253783547095726485308396074247062163517234032157087621995322331158292815248259584151107178725324329083312550456581535486731668843034919159654174281480457535163499658246609749282507840106694922425096108958013831300338923202866742559452910167518996419662167284069781582935019396750097088510425457867084516730087907328345849585447529516803104919946875135898096248401730927321807330737182752356063295109816506169283313664000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 85148260755262974642195492319139803971524265643778441781758313740905740101629563969972806926649432747549253462993095551475268977966826479361384018869471950258560205395517336249676583171242495400652112071785507646446849213486749489069659312808445142507082100608190011015604316669962640620682937668358401820969243662634123787429546862999190188256343805226042394144910354770647609594688263894706846325592621499137927373723189995716322981817589748172933059276310251849229597163539072759249168072499383126287312284495206474475368425839426014682374438436524814927916208067955524019073384522603049207997076908280501661085054242531947438500986962741352205587366526847581924000943053585532131751367165776054239413243468076583713531015696705537889634558796684114163701089308196649862428205345506846887485781437188884645017215054053791633106717911010600397869800784465320356299405549569339207343896581714555626754908953958543132447950694025844379149548257576854761222581148247713529365003727758356343811470362599751680000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-62477264472002577396148763029848774696737595269336099255135585971651299801492604506099204154458149834633911728632187703040331989254974097294066020526849714254860774123704497747542803031410237285839917727175031811000412056419686534993711219641244197158648356438615978278791160785485920493902017916356115450303516625657128868882332365982165329300879145462639845458076199804843922801614000805027195797827997827783604693605882008011388792026837754071101024296722750254108682802331002024441286959243974119390689773883830138564957333280000594906624371608658469163210125963084706650998076136229870356580275357636081921839997938610508519548083203991133601450951854086633951186939031343592379173539680647189514586377592293596553886168058205297269303973996718878075938067246114609911407045262748314271037094786383470024587255851275141431568054398446892277764546423442963967045340721517296461735106953101535651338507264952536532973571929968380371370465677009367292408598655987956856409222982831467326287424050429952000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 45967812015395640323031712741815676794073371031237844107578307391958628158225300189031384460957502508954314567360835936099122795178178625325580317420899136026718419508855839004601891137735111002633668735978118003170590195407430082697022085024174498146666397049282233373031361882023001887305470484496659113463856639652606499561094570791005697481286393637777734159208322757396880706435284988179960216408408022295304717049230930262457645660745210620346469778669680668111504210042285327022936982863776473039354456271037703803962567357966502475608173539931460840854228588214987937587940418382914256135355724672067810513052541569820998436223411618760039872493144883000392212646461076257371392162504436113092509171434399221671654834604990275923646142229986858402224812635460941399530807036113006860473174588004894077755763343590920148440556009647525512955886241299732945747857964136838709922117183276985577201507141520159314538470192016404543943886722351340888878799713482397754859289102740553929943658970847641600000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-33912739253841596382529472654446205823055279906127855132125674708155212648891881021442861443100184662836172240711304354314344828079368710394240784027481219193180948504071229682594237336098495129016682315041251273827829156919388897799314596524745478805928122459993438560633500611763847154750291857848894247893701358795581529579679240974759390612784483771603168472503741346885541119703043315851156670661443992841436927510244237574747587306294298886400384200262052621743313728588800222658786283022556946089700386041868056094446007289342888226323904570237944981550512689823285271465640965099815274107844396973615333620345437316042598687185604356022698238518660010626798241611793748831131327287560248931883031966496615132835203587467990279441687491666977998413951005726681527633452870965360228838337464555135734703057780327055449399471485044126168535230848112750084059414748705080537904943111405431152073612018769053302455059800614212857480582525359900781096973096933599551832696360778754935576279257261801472000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 25086544249467150927637537416643060594742038237206581361580211362887810067046802855536916909951768159754740887307281963943336806721371662582555727756932061618720615378572093161920982263293875114198501489986372336280952356553447770196610440836068067789417121495724287755558046198958205517496842559450753578693218228254004653239300962256807731135292786075706448391551024673967920138067810323915161015358346708846403726966168619922629264762629337654343596339808401801080519538742205386767875353412446656350675562327609219392186682027710890893821207726651705119862414180146322040884825765872406989755164232227332419595722485200150727718992398163855860223442927283066014302043870722363190475747535977902770465780211495941476131691391092852264852955032780056138228253634184442362221440477443386919355673136074381295084265245020181197945333457743526060292535805420765222664795429568885677040301722919872009004902126207876197528758979266074352333538854155039935736117166113642482225855663761998736786322022727680000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-18607137563040101635019489793447184850881427834271312611125830760278607512846283620230404563253471240444197015391561458264869269922442467918427099214184071535357743199323264565263260155306473476224493718631160975830737428937520395118229554118159479488273302331522335937197356948459853797595749945713906489534596878049844072571234063966885822014303146171100153063968678059326966815018294789746550878071970668577321942202237006553627829773050306662167246662014593614887699132906777745380724984436254448035190668575936050827354239572768452995590340461094812266642142050833156113698696914960943485513183619380884843449267369794567124733615779940916787324593658263108117301371624267998569589847640377640620792661860325478021020999732773341337608748892686185305821830525823489319439181191344367690057124222411802340263302539307849966331193634918177004156165535606224177891935810032166452316377147690264826373460428825371587938809283579984171033326450259371487262510069051802716826694186745000872216171915509760000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 13837925559884231512359397351921157860047435908175296162065446949588173356278775182441839892838331675886458166775998510011676927019240229025868621327946797667650921879015557870713416214148228037261130496194222187467700443665454383847865149744233840268738707537725903772026804760134133702990747392221672968315560294263141618078822514599727039786533943744049425090737427489331682742725459569311634905517763946149128129817437655322800733244037292541465247466406325604846310910708364436387275110036558981772264757251773819087802345697417705895019334326473822463018565241112571494501822754553420468155019907840153687009988378390928800054849736429210577979208538380649626961604934394983732147625533349400406020919001741808525635921981929968760722582063228070941878464240591775694238660757182531672521630723792838618625280063577342589966870479111992171355408672338951893752147871406254372431887580184131719740386018278673829401734017800779557964351485281623325629986550388153169367735405964720592495846663127040000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-10318276064103413130999322260670183964900782009703476590400687490214695212337432947433088897719095154673930499364494887302483269678263632215793713039518609097801717283355833248055985109377556556256715875005369676127213725200918472632376996369652318975504260204397614052108843430999331613795312280509054242872325157580651477970043825647304664731904405818903845033709401803638052227805481872743078147091097687709841235670070495225659514726958568909630818450496282775569468680015503075520196628331862800687880929153691314340111392744406429313067369486997689500151532643618666952825106758166692559839128937875029404488642861104361623514717163199977202384845581804225286095837737368763635040017652817962656222981160215427003436622490302051642751789670140190614965932611837759581805632047523944646009746592709389199207532891791124316620610875636187173832700243155704143277865650623897680134959899761284787805070374125684212102936354356580641648432154709965238028618480150631428918477867695800493836814883225600000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 7714009482952929761888783661269359895319371387022920014243261299964147793723137551973506596616495621078324494163096263093967923525332195398714978674471101464579914548408392253794331374835904248529139715058731502712909106467186015326344767837167243059378610078552541642896528751065775467966153063935903904024319547452611158610826366596800580346906720280135354915001051164199230784801543377115144403030925786552577216318879013109062725886829746538878494305507752886715944620256919427863460879238676303013305311325155365798698438587164195054790053539105532949228277627556928089985214881929748880375637974663117042873124763707199700610414659035512221221890822441616392050244855223963414193450525365224872534663129055931746109591928477666527679634779640163771139695831470518847743693963318708875154329453305420412825107539134352528933551812762374466050562357518372847112481229020960095714093757396762696926174809092114500624009875097297973806911398199735388592909302519508342425526304016759328458382770176000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-5782056173044528010780144056126407777766904511246162130495895622272218527848023866004713748353086430180652206082815583013314541667326435846398716883652573291105744147512824135277772805557677078824220292238447291728017619102382839202168825341118797466309170460343063717930101347391839009912952431192436017298956488442682851618374304212344476848433945745281056680760242557411081563724854350694668926675983921965760118511333070644133876172357726896028209594935714773456802498285431598302804509320447229961279811474401620880376372968846560276615332766865144667092093759428497346928964485653500918235095145642336785539821180708093622837069601586262856216669393731972975933216335261519919938490762011711679026922821891153561349076961357370291256869895935340802680016230916133223234059330219282424903306653418844734174144085496538297802833076132470019559844633625322714407540134918062114011134499323035717038608982773415747102769713012517692672660454110232808297736507430723373278156178650366978931780747264000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 4345161240337230727954843617211144130151670714526156463484121774064878334127233037738067009561663764299940999810980245638681244198197083234623134442902766391986426314803164710465475183744994208158422862029523185809560154310747191374120569778690276836445238042129888482566597057225754074994226168878559515482015999134660784452622784917182892092930928572413247953474859164478909234778863217593439582750103287960438859507392003244444909190058896486015169919121475260364976919918978361737477510368853212107954874624559762558358144469127238538976926536840979877254593202699131202554954994844715314919800552687911262377495622821371516664916086474559075933067213178834716911512277292888008647245478844331795556394983678066922598507376977984056023167093188090061864163818121691606494787323086697340345376965397100321994934029095965562298851120333018287636181406267007547244741242232325403006200172188729930363976313130298745535752210753435803189750619840621230931813671730932630663720332145802510618806819225600000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-3273733898152058224970623659226428151168619148982737378846822136997323112471277163987446673589584453672951373338590536426961964371935537247940736919406275900761339734807477369770538875279122583100251119177039921833069565562110100328723377024968634892003631513018749578277224773430036503046356980632296643849306502384807645868671506381905580896781703805926308133690228529694727573037686019865558717375515765189866930478323553627759938024257169185719765077501733890689002081399097898481608127724694180797828169843076660712262350361506989318096383434174473917045197396657561676232834536913067087865425341534427856780413899299405917699600097938187420137771177723548064206837794612313077013185839214105292844918976170844098453236934145955359329452923971192976904880465087289238197125755828413810467600431821292620388854508403380150999249617331179252390403263701699228865855315132048194039405685274945174577320062971227437725806853878108655140608638827633889070424170110448605865057199431675441035828264960000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 2472790210629900571516809531701825766799159549882310013380990489861033329560968095256233477617938756330121174308723900231373727817241346453974755134113896267214565339820250802178326569732723798395827984119539171499932811751458125223800603954117904826523074336988071240139177810243334708055361964454785529456320247204201005202141278490020801810519084378251490107312996556935051150674498992622003939428636401806534141735456862883583748863946762036247845316828945642504914724056743677630989755990286332331355699602387427942282827342903051911455395394889893999779896851445059121794986589861033232148465759401743149418250811152585621451853801416048102171565386868271794277100115929077940808050335770019352846737865271828971466144895280851047889556753067854516619345259010922053338347929258385394898628180661873566486255000463299941604388632846859938899918211217159298819393167442122370459523070398983324404202317574935030259276004694675172062456229698856752457953267517068970264011888709087730039257038848000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-1872536160088865600238460511769090458052318436422511883891094560730367441338653103137527402754206113366820797679410937058106900726146947072603033336736540906058605532652401984298920732780966902156608588381456291274092653786675748914013493474954770817804538698848394593517484245249963995234980424555835624828134824589668724244915590232948163524622297290392583252616140608414390547530503664242909134317293664922990517323969205585268337172700373970560589389300726619278845841675650984551874805355259709135954642757534787931987788496365839099521886645968687585667399319078836019507899253208319067285020168889143217870252453345089105057494697157160979287157905656408679691361584353780903144652241126452408080082226306233575776989826564877229966875360649563892681390400429962219200451742401876180661232737710430691446139276539152068190114184010807479072131470276550143848324692252984988231821079844269828919700528214378035959206132265457925334604472478308790187687292324803794446967333592569924475577958400000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 1421559072804927988169501723319635413209569728211971658426147529907449286141653016600929268770278904935230677070178869647023314150273596196226813451596627010807193165864363530355030005648615166789953774741184080271663422235494143508872503490074408144675634951937162601408679938665539656854250668382074057314505219725300417870034120554231325133568121375852420704911524112401987275864931580457876209630081265724822414576208918737521696151790675392522932611125585628179919014279455080984564182733885731395956159070923441883577735630823135876259290032642334358449784808103156459095980974292267272341533437964338677252755003419214457022848617207605041316259305106776627031541655289539252378689793912424554168784601267327413128163133441602969749390397400903248467903750159742857277466706924248694070987803981483828434992389293187972303918181433609138196554366706419136490420846535578830904740795454705435122710766331616063037399093162649351605007232688381702835472174277749599085958190556644173960917811200000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-1081892657468615034679202131940448076766712811959008716851783744263170612172441079504816164191409047694701456801778706954354842914458327705713040397487239949248982556652597692027890931862487276276201937195770862428041642063230201698415439042133071599234431637207652495616391455110392339694810602844115962996371712029044723920551383980927827789337172512020515293308548544161841124108369533718732633934142222003322662233454102266014148925435631554752642884683930524807305834087360314312354531684606670576752034182247057114452308197424388457010545874846795689501694001167055698686323473790427379463057379247760021023830941551558597995895682016309615348524395140037269634078559901148611626401358037831068067921768183203733909089953584702859031013067371443367864838030502903034824027297776635950441555598992079157194506521925052105621250066382802888259406138264949147406350415831425199654111789875940533192196053801592018524200133204741215817820767237495305053741075117477006363005394763054282970025164800000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 825431221827694126588983976176270005528601364552758307582160781466801370294123201526201234374080641639397880365328772849025149748117360568101745816164468619261491395142818481586848025688246083752197671721837969051693839523504268682705406549819730704566670861884332934815229492868217384700413574241151706838473541267383371566347255343284531680082347929409486335533306634201612676188370524205858536596728742824339229846527587507418056968134630240904165961477680415264720005038196235537044999048673136625721733958702211631957440378196658253187873350907819585033993278815143500103430815648850815254802684000766125080644212697401560328572593471395081868908891081112152790972676244301233312076107422735016253929649724948638953582503675454194051846047677161632730908612509130364822862620435567526787698100741557887170396581020430113111736018746758671660204938952212837598461112450223056616114596074514188848266357137922296210639363287220673214292995259444677168715081253336858605119541616462908264284160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-631317818761973779533758954236483423766248430112987759050996850294392553076820532854905530829037130630862318802798510206765588687383550054854208573081526194568201062766225584476813842093379604911460125693051619052188923596443054494523311018075064912563321271493168322152886006077611941760375612331551245948714233325811430393599311780640627323535183793038042945284804914423498656089135208465996840975483817814858449708722397324826591325782118693652722750891307502781031133870630341145980813210301977547235301131596482992873451296311574501387415811364480531863943383681858168941851613368219483111030323285536133439659456443431023503264010080316945941669974205212892896753730516127632167762007285321220617067696253386841755999042620811573733751805038689556947198805309478911982753604901875922500084370920503397082407924289040811492125466034784671335667394001553325994243490051062536588516374551330136610167978549108423271614211673077451704878420641612296727151178187516489859044097333032322152267776000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 484037160370396790350531991229669980229323853319929493419901278138352465212017127039098334239911002500508375033734302798206599634989720150625144493262707649433958318922646241838310484166948391671809842890332518334972930056813170778656123573754886605523340863992498832432817860322873070787441136225691297752491754916882934170621155616384625014874427570746738514906440936645530441898394102020908884767894408870316103042845614593944517257085068889040168974967357099174362574452009210654648032950493227289887320462819379825425196093471751048929348836932380060969311554919264335789555370358573176830311847834266471320400303161904745832524029280153672762418358017376115562072042393042560382685692405578810069493964994748693765605904438477423623590847635405532227726279877720163967382220723854480500012015337100837696544481359183850804304121295862475058643411793468127728498156344033108767257926835082682538143565539549753972060928367596725087272136713536953061939835609374300246377588689626382802616320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-372019763212910939298367423913776916740202071872913714350800485837042457956450934212884707985160755288629675493289948708635589592784415588970130515039818493168390312601494343603320111338131917578508628290215427400173157457814493353586113827928223436342162281968566705860213577447224538622069761501322917660660835071633425405549849017042741787578390219973305243529819055038135252270381303151456981348055242875568572748327743655129235394145644857540993699714751810040354228603157859185005280539506607481259345607228580017232611996658476647459142490304320999417262547103506163617755148748782562550516069616171510228094605164899761329819367533299056541459281325288663596466191948563225471847231079789101280444932786991621637022364163692768598656482573780695766304869281441774954228210133705835799296364926301562412449202081747063509036881553458634687296644121799853597379579766273070256052695570472435547097503470278738424812021707541231053696839716327253344384250176122732947001846017800210669895680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 286617828063803227477791746624477673876601805050658163350998261372421337296825222851824757926689871092859690670997865370381851891225416972699822116082914772983694273347618975493498083391389167787613592387020844964626409832180818357107381543600274532883507415759256654091889915698145282228069624470214819330632445739857450717730646254502434002949423538214000722836968315133554510969553589298223628918976580247476084965914163098972515039563927304637396286735861527340248511172707814874837701168945954434006903785625364582519541369765608182469926885827638900354319618679056189911385729752144234283615620709151894265536923625359606508837166548274105601624579492570348173190781937328291317636412328127364139039059320237174765245269062714450085917880218166694890155699176493535113443241352989207217748895478820706205095465190984795987211036235688226841261144237628925080557150238482484528163928123273065693185378665814962296088091206728174872676250211922250665467431166813812059798811137312799619809280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-221352067066589682566468067156530827713424271586063320418039979961387802674770943328487738787082116314762746537492694909936781165176067094275730230337093170442847185485784591272090643946367111966958744624261111178224539319915604432743975732087142878295478584405066333198484202222425987367304777585534347751982365150793462909384271353868130702620738263775428686884675971122751873977180945015532111055770259878073955508523802822519377584736230955074567730224348392889338181389379720464000746184453925317822027396595482938235157142785818118272993641521112615897926173822598937731664954706040243342066025993195393693480219799808478033695209207433667364119033140587574466640178402186454182131135102781405431638708629561344269677141832052137271225284522404315566214507980685255594791468439115154217502457014265579679490050553170922454343750392881996014322629013657781460689434505546510485205297697221119065265311310783436734019048210535254168758016993305694781202121024401987792131021919777311843942400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 171356485588403103568508705880431797993168762373130420118816776757147559435150149647973254891513636000291040404511276162099056675212938035671862889162189815068235250533956040737685562062856605338501605821979211418749592357393287006199145969530067138530225405759362830672756741655927928221197347318616117248892132027911138279290003772461657660580187404730064941762642032416759517242626526604556067447158337964316691875167501725544959910172513664774701250245844511277988342021198632375791138427881202106181421476215985535385704685693651551549776804881578522546134698370262547812146307853383010778196058542986947650268084451298534106583284842295919332690289789023811520657319118072563834336560175717577704922972274816047607958833026012214289680138611614656612307418008070267938689213884429771570819541061623240002538259392008439839827777815665337200455853286714484316254693554827716540819086719644304966577766423272862581617192686232539717718289468875594283007571664377760899394123541408049109401600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-132968130564709091920635531431611103292499750815134003153907750144661807897765318901495009199909530519623787983327955059729809261799096186129300045746837810846952544173445928692899268817391212865552814904535219405035529026392657632497336072882512443664776757000576080719541273143221621631831732450611472777036126017011636367383322165640639729861384975051134796454796070793861556612212921906378793506113432622945059447702840753897773766217315862303688767302058720518396951226549435176321002487487645027881200756681378116302796029055674657463335465784168994095331492813004526010576249028480995788634176528458736796059184561936159799840710024673147890002633754629354261406514475895372156174968172610712285561313263721571974591335618523121413842854186692812395753352392297549456100518245225688186601377079932752717291678124562882346888163069363670473171779175514226647430936327486784013507334922439931778611432892545231069821706254934944848813630021847795287210905982555922877471675576430035468288000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 103423248921839993811760048865591105372099038750482544697472213934985581316009274952669328188918351557021779372039564895155842390799706221148183594768652443800442670319750621633776906736844143536343918092917093137999108293171689283577988544922075968409575958536878452535173879596462534011106377572130904548219249563923867214134919919300546285976954005392601500919725418674761385150305737996925394810230645446567417162855192618681093163000316613793071793886741149195352748102154712689573414985865078008219460552315339757812256053558716656734485723791286808653184576880863043096449187084742128110204716476989895492533622402973966114443104632916977296700778066526075806328271152189389458061440214284619716479605374908524309203773084504109411185494645125553611029436818650275719450974580413829622021140137410970725245408339692247123287343019796139010577333090768136966645008109908491342848933003554539371173153988237181254740436958999598187619430169216465765249062679144137762602477352244356317184000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-80631735523241849842190910075798166952658577837827820519180809776527478491076729370008795800048030702826294463972309235440399218123661047200820366092127397167165210311742012487157890744266323297767418435366134530853423345230656829969468178494019081645109884094033694063254058305717221349278006850287465826713182260372694578903481209839285366096578387972089345934759718031088450249928353394680055702137169362618554763012547411805199525032937455851379698961279616281606699913677986201829277382575195877269253094388911123591570920823427402064777164976808343228271903609845855937975646028449621613013750556388653609109099223441694294651746873258745587033682254316321312089071857387791112447324243480590304111919642304132879832342604232831705140723792842201794201179493481419449841426147601650429296812842577458787949504943850735524925480546351110452701634792111558396839169001236230251267697405927243837619274138342403280866681093740962186289804399088594486021362906347279111501526052106057809920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 63009313939524352640703765931237043392467607573904496904509093457467394941468849858842680348155160545328810677473789768879505460705437579181726254059679843420878363326859473994045578789674648490527040777860571988968238140642185544501888703955442248639265885495612224854424242509463615590007648893063456311198280285211192622598672161342294414888395811066160467793073064423577173087807034377656710826341273950494851049404050317722079911704617315278868408592020095498313827502357287696011311873918721960968251790850529343015360995624668374857699860754058024032498746961301271775668952653060459457641033192402511501179219446822726955426155029382402894975745254299678995316464775206576112496336767111402198289649198762956215205049642954390998040273062209596305529152375190662814032641568440604073707307649157780203799283440511165424789774175249793275819794684910508354444438431596996416465791351963025728622079808698735722414121022421988733285352472032988678409117402375914854738800441611517952000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-49352388215495837539843798481018694388766927433232543238919034695374373263521020729864341341254321631159999953963164244191352709020388744898448112754001847741019862956797163655232909870364133385899976058533479037301065310587860459373522043979596759516620349584416132831847518592896207136581900935054193911177869020912586917830535412319421089908749654621536034366088223650953377121661689630134060750692678535767660113963673354491966474047725101152986680658043296257180902240841427713260690245706335179814000689493814472540547072985434892107523684028064834161906241731010186417007196657914666955639351885185486389819923555669194195044531783587513732567942570968481420579221655591087543638808824394646484403740717785405436895760875733810149151617878417111855533357677995592264969343090757314863076720314237325897889056579402878612120229663390506599094595226291184980620718969798535695314595552810001441460024663624004542840995101502890969810475017230094604262139364902431769889279680786202624000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 38744504766962679908412736117465155997677032039524952904225933318237533215168524688341427520924207658606655124719037803070813015817546108171555389268652137447770672916506239091563011615021875477410008103750575638181936465085563852739601999217220908152361270333772815377719938353751244890989010640830004966554236158391606715337902454349785273081229245795709848695860157609360783138609622750080608261220557753121225455829665070836274287506857047091851295166731928982444997323997009727083757995073512623126553492242214557461768089802715494267635737784007413417407790895472831041291219188280123457860208237761688331931966951866620058408418260459689609703575148177801862245705756833804313698793594746637146065041566583396278666563149469528204540174645723792348273447081927196203828363134308921779696978135890598198356158358437939629503655900587059982782862187817419490392370312004602597853600838754895029582294164129792187787151378798173930592966668816026900769048344666107412204226485000601600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-30486283353887288068088525838577455490964630644598485031988295938049911293354427401216196524595158486596958871292837549378365936340427175392770336233418293584560504687458812013065880700083918958907569236322817977879103634121564374216824375412623834579280352650371264147178737257772427151976793109623643372570348440955318253895606508067206854904786830292147656482178054343764584518728632688274426590721019260732783590528994696899481695577231726810766840870669878392072208151737556025500580703310723409789011634695525528526226320595895205282036315875098031307444416694789584886535767365524892609091389247520981980602180761719101809951158086855634760573765305738473841965022518996132136389961480253938488698790947304289252664129970222208168576378470668593410432376393232929141263583872611536215114760793878336750735663710202721029142646689235637095544979676108792691179975572117954407994553428599339605694403730001492463721537177466761955893866250053655420294214429409055221712827274609295360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 24042811692845736906012257377639662585679631657286229714879721684727950002961974568329097282401193486146206619255006638739210905575836372573020748467354455000416503574640887919879761512034266691424686018013362766848935270871426385907996493327840489883738320819690319198364346215821638224558971298395166550784337728174616782627993914295969432420104498388350582469957204798110178743281610347158844420568171973814271196212028280414321680767352189173525513084818591426959886617570410600936024228421711214173862794409241127489031834485500634627733588640620226774975027285300955936691765744376035152866395954702110163508277643990159803479747813115931873814573983519957733545402671353274587156543165153784477343942926625891356920260735348019886590508114732478256858126161939610528572712328172275338100551070754464421089477726996164061733495764145836649262401280626757681125223856759123838134870360679918575680659115861425908692444283677952864849229803002552093310444241689896247335634748749905920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-19004063800535410101405543992310778937531188985482977428233893942979471341520697040139430180501941784713844451898048356919474202909657465188247464340547987663801610531554435098674341589006997328378696572255023408186993154957409671237047962928536002431503798019846054314980155980645584731283857751662636497201541895727199268903005813961536213980050185406243057179178333192743765673102075840629126885384265185343064935467502465801769777562812328310053295212379598628425881417695223598380659750015172789841216159398766090883306443931439718387606176568656703992775147550386559296965853335552999776212214297080910355658712329620716007865757673008156601303480612767905881748852116700918625021393998842056734082138118687978385312423476415469495422852489677477537619000594338518496129576665980029412881869135503594462176077764660646669731611440970718991376173321920828145937149301751780046130621776228846385194560015257965461415271096655750240275133570976975961432652167285924056861427989531852800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 15055052328352835370731230401438342383307532573779235344269959476147428285240037671792411313497608224273494380426188118671397994059239047536196538618803574909062726831682285550177930983828527511515646219313012214377594013244552182001349720716457810404778377139761096586934033023227842398639170072286146978937716195612944182295963616261680660385588960392755330914871020545420491521790109483681074851167138468475343150006620894008151039267808828111272395727687472378408215688052534860449212505787074324096212630247024720765067885920932948827087193663681570729678663360563364350192053390226187357372523383290815797720905922920419815741654852626704298990406067006703516586970216219894194912381114826407358779384848095319043997414597802873347254906718670687037622454905810026572628777604094822993724956245818136180126033930074268560184569020199640972161328239448996686944766481543396720496497884307852314188600295565337135582732760503828910479409405698597022609646295561933089809296297191014400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-11953272018562384013159204503524230543158880084993108858855847964173602541543813560534320902362599011964350823429754155378399726239140283482458363259483418946003981563666593514905486254820124287249822923702323752141285659760453714240527711569195492675536877235926965947860745648451734289796337863889750689619380837476659283153727127005583558537438846295036437736833949030320181505133222465154566631827001652836709705338378680905091540114754027252215122203618231808362782955657948291509036944611842122504852945976535937419190049233156722584238213614402188981620926744928492921880535034006668672405641281947625886986045422887858150238305308729352309956695981297594078532285628469723133752665480585418044394263507809689245278002663393669729841746629656864791535639238438397485877718465585074738011772311870226475890524472467962922652055937467196511264198549954967240085586461200796154717880502170378444572858115733232202970885202064971609589402308743935436818344160050405627348683721801728000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 9511616327387268678495607535917484388206832053360651987564666069929081435522119477324755275973806098105722596063580390092555761840926255784163812640819631825685758878880573039832500830628004361923214960024551272343240428003695286367820435103533911098483307437065309667131765822706150636842285224430592959941795048681748400252037635727977013177324585728511720869019560631961126625526851885387978781661028944889329351599371285847371796339709582524501983954066802128799908656291676642770651097515489644929241608483465457390276427355225809513453217167173748615081591498398403859124693655640915412667126391082343088062697585980843326595969878306601630170426794008612467293543234298742033789379014152647911252410437915795488541108101466128087759955936426300220442182625803037234295174731563433198274252994151616261422510069300974254632322335668817108443763452706824819016841451018397140792870907112331544167243619062292693713041309924057216575593654033542307713312767512147241351732650835968000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-7585411392071544764568791216184387098542961910229998059305136712397964204124597406703149079225914695960631361681590170751264652573841423784121836373990378520602930450414454717912224693490195238764027176261034954952628939580996070296361840565900823602649065081169595626788952578408514928901990132204763284902214857223805801257168136558577598354355868813377874442279446591086009098680595062971317703261030322448794275703127245384726506496373118644014421022916209478238241057753283561124318601043686267549889767584739670552200955192038099238040023724526563031119204876058234292127686192195119046370352685404700817747972051957627778637990197559831682655482866039191953351247370189675978899243439590761523673274321605830221783767202865085516711513261514970658816900153790160967554591552910902703736143560205908412963840851394491346189253627763316386044858643136356484605465116290395490935865616128396704259726062869883887189897599633877946203104255524994181713289455964466571758302845206528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 6062554006604068954281577922819636347269764967586749056931237888406921669554801344005398661837843812962601011020232462233114401490643272953383231232630104435050827960209277071402598629499760857456533356096205763427466647216025355321707186739689956238473918451428040343234376628197717824012871610013909870060502609728971283341616428723398720395991387746901876045997407835628365177011759089867707397665650582843593077946732291775661713948667300794005993186205746929558380421605348235551265588058006850850303163333856574486313936763983057040101407989087703042881850574058398341679301542101939584144347615599993495323035576794371932614976446485626881100141701262263926702456963159680764527977666761744454552838888109448709107406128239275704858362503807709594027458015128437558698580255385340580216710999199898259187858472994361223045859157907911098550534551448938360672931387840690047161537205317660390014158532664376981246175220583603557388121567072689001381808895025160213966780691906560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-4855994632249591081880414443608271049013742199959959677253398957539885904895365481884269036398503141807042939819815926280821180598223900906549663056430070186625242291974976671153440750378036415889564407537528448845755483298227917582904379918261214383651149838255170430867885069594173932857783304221281936382320736487478082251229570744182450459038968768403670912189442354813672965780604007778776446455452912145280315014080344109272409587768354301509946080229730843753959494280953799620574268814985100806112453174571271651765377228068212505105745363415951230972179517993511972221248590006857519996358207586491880772292862755688642188980055127518780544262197498368682308054909604545129599422618475920478926367822404177071638873184401872105833431493150535479281469033601837982983040024068702993269207015105356434722250503443006333320255320516669434638616478404475455122778335126480595423418697472623536791964424155351615781492865210204807732930842053230423039948729810015925032422987530240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 3897995781020307692210850203743446975567360468363123249759423032625262545696405395738920083792699232955227732638867181495079147448590543424260262787453420123365034580169440747330339328933160976971549813512706504325924531632174342207618997001051784604345419834208792521357297598305963788721580271878536320872361608471924501008309196975590006121449677932659029932525138617029047691060296917297039573881171036531062010408052765904305007886205942901419157075054258198340343278096655748337722502023608344370324995578041584106719983742568314151368956299181049176585718526931344729510405150976174085054700287303216542759678617751774241524557335980282445264896664259123272819937360217923057347619567454498560683684087271686453769856477988261265351969649696056128638071025055050157385541439576567535063910519420335179672124710370100570328532034417242640688381308535434366229082192096269736927347198209297731212755690393050886386476914410940732211689382815065934172371148976866584768450396160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-3135737304982203831479678685492072272244737463494195492941640470375351333914262280556227967467774425571858478356403397062859676929832718010978563243190516227360853570729224477613662796542924337632523414818404084362885742727296788559883400865447298326586386348144004531662180754368351642665084663049699792740020149103262849457019433661775573166187987631569914168922337492871146738014629122998785659219133605215491121857848884252560175372245049725296087186581661152015400644090777387640465252142715234593374256461804681493678945739447562889842565768509016783693484088118202611110485673089551693056166545743041910434572783616534157464699230147708844061778605198176277588683681158225579954862877821348147229700064034157397167889533971728300432007052534578209475755797999090436280495176048301247375227390930184762625047604148522247611523502338103754521483075582526553077900332963599028841084481179500565592696618328985064921625833492740168427541993846159988575475508902011127051719802880000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 2527945651872534071782383760912976196949901716538450218746743544131068825783060938060189598145420611038383885074972409234519430096947942636510726742158487133453907873827024725114244012639803653970993710325147128420488567384228423197642179055059391207950244221786256856756146101353014693173939634596717142623464843792666583177517195217879316106306150576487036706585560054555891848437358789395444423081475051048660561103015163527428923730841240447649930703464182483637067039940781955795691571189270468762322512567071524551705477412360585069014019664418450023637479732446728992284266132642306675615733578996631714557153383651778616807370527729392496095638785340658710262320833620881159118316516265648423904356099607189311403999033542607196597987838905453000375085722510850441388526208092876899059633879407823314937132026503791886780580834038382542796892280244298716179438672758990509404978274774970901848689819824125317028804015633958140911446269727669432720462323165679452050142789632000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-2042303181453868761608171046383101209293142452780360512194947193631805692533869956314775513828427879523926708689013073270770124462951542452415086068888701887640850450951251535035609272829320444861988907849074316788666561624145769737221580966818228114979773537856408405629619756453014804456863404054588986624539559509021936021153096204143143341612350035966004166368923036523535312973750441485995738828255897059005478845480340887059335457298628022728617391725497706410381839416228247132762319125145077123858631920808180706671801908740760935648507703554852407187999659329102554941027171475380035633519140575269436121643874676889850260933762118006106191837327161367800806877907599984757632645728739140303486806188800458434064210229021933351369213316906169254604963891288009287346288153634499517329615367899854955343969097486171583602818134942831536025059307395553311300471061855048831085169349583501817005855149656461896582821899108564847054794990997291533720368326054299544179022233600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 1653452950739401863216026831760737458041871176453031766244020491539713234342631027720607941317896306632047465119678625845641833913324278172472760108010328341894348747538798085051101908379574745096400959424473651011806139793259527061916098221844197077971164332257975652573200107042679700294562237171957643385790145157740807885569887229721143580343534601912762405405664273967389063496725376715579531354805045704178963715524889375632856356555890158969221822750100812684478911147785325337748542900568382410176714990948677626237753466380637435358279754451882089445209069439865170574492287226033125351952769368691236688807732553288651725869453493297772814314895479641960968233967122893999784939269475602203455257564804976496042289774383139483948903581814250665220593970192798111023357315287885586837198386669945240351053724481340815483405274397645193191579268230202939282371985267524232783948624685610153316572357007488364343168930575862337290780609315683618313516181572048807196224389120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-1341458981236853558698197957932155724141335540810334758407966295238623263752042760250943884042403866093678945790273674784967030887472685223054782435830327804660415370288824043903083310233628940531528068049985438841407735948415739674875297357927600658206354603944161460733904528494992798520872017988353411920499076453084329621951776334640314335941142255388887862871233746733346907334637549820584664622030042592791514038033723337674890849890289832536269643802036257580540242586302096704523759228605973869058049395537481788110932911922820983760693122390233438579651930581290792214010789750170680388392469432847713798951114515680432709469260839798728295186595050040082277493777228801599039572848523381583182885054920263872438268838515252772254089863601710587390495770130020886558714726420777787471461888058207592710404094443404359673634857413149175885846755470051677407459824949406377883727727353427985376678172895034707005140077211391529548878998406849278532480707386584523042770124800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 1090615633250812891659178521044660892912867904523971599848386234252105046364893442838350747789329865556555130236331507795156836566727547497674954848131189594860630283509410348838046455434562544030162028036043689199379399986832069498022832711449710668089781116075354982468767508251674083299412125839778560389008925935857916440344737120087214883782479312177997627776071359846818355666611801405522735718421034131127545436221211418388486060184033341488597493370459205022892426039777157682811546089925348401260360424212848995307511011111898286664760385546787167929665010738461871015747053786380128307007673319672029834282364219416548575872766476480025493670327547520534130867368755840831850129387238915745586419054047127240733454221746633557280526473669664952105258457039578186551869787596421876791490543296991972333970294415351493911475647708788032335478264044286069861023216700658367867588386467506991218661745287385467805208627348477166392894869826665994138648746668751731295466291200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-888525091404357443310621850938221501850767740899302992296142627004406789298488076156788639757192428794780405585728844525007036440060046065087107039504981414684486969542315628989909520246170202061092884625010685681762251232167855362988629782957626671319104815859154948195315712594558020786765449252650686034703135773264421817599198130683267499612375089162800465651674048285778899316366513777679343190794603509530260848022490505175315109244486127008320214738980756696470222696967681000922728706302698295998064085992372573617894402946113378701514647714681871926677915078691907132569070666646755964184264510798435039651377729654312865011878597940566042480358079583968916899940370426005485009894504488632064624145280761997490553726424944322118630755214549057126735155776203319323585301340362757184906037928074251100591204261829931357178901250484702674901885082481282835165836979424428630226466819924041306731552532352512215074482844380500832343626129072410297355180117682172791147724800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 725381166730965542697016955788090754789283002574645708524628642822045160695796308896280266774907454943433378494745701093260203645639522786470464457046424795915195987335735690553743135484201492421010720218533613093922837390897681355785050417924352823304710025604551096392011220712971875683821866660720273537629684150096209198759310266075791918381721281169849710210547953168813395917755335975991456845802929983802381256545776991626713976605142902867153959796604810025291932381292957542133638944195061438515225991517669985213492610064964145652627310372835329216701506902907584343749166292929401508437542436166081170149263386994867796004572098880508515428237026369576656552231058052966013628989032928429297433089162614786752610454335612555181704285203899633606940041615678520025480806958941268903990344706821835585246151087335699284952542010325980675609734839190376524612523829309694365239100267730229880032180795717574191843397789958014267341586328192645612457648451589064051654656000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-593412176665835577633728594681765223659031301463582871348768337992359985352229677694999741356594449235385528943394950976974560027459190605987878612533437947128639640962948755942460979637195651521091695660855088513780718388217634498664187404246083853372742486913526285951573102077166359441690919491356916489980433916493493887661458440211847152613339049920413163896751564315297260482120924147086518391730504492203007085421313229931469379075239798924493561096176545880293156244634288177442374566216205491403070265541252287267789015381891640588276430356584845679983679966158243156729683319533565512133819086438768079429927987292190138378792154699075423242920060981076137256879003187571444739350354543732679739070152784490007258832610027609374400608683038343341749549468937335717206098422144746983270200406751064952185792421189029145933145564962754327876848862374621852238696150731838372148382900648162171228915038197211469561325771517439188146725457473708194544201637430839352492032000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 486446720572330455835948666046172357070348393694158961624414352116232757539932247099270265187560041539330221837175613567819194926018046705462963655711132033140154970406827348425711425379278890822677273609178188980025381189026066561480247867623248419418136942543690258751118966566370374440147957236316384737139711433454454280797695450776607839264737065058248240647675352386610832987507209234130248988078483926165723081208122054052733244978704686392678660573984270366339093648727141923750457442394794079879476727488621353666589000514456296584018312793010411682518782901948752574569798017813411920387710840504712528787092907192179911885930393823501513933621426554307211730637024745565704329856174050764987765672257746672379136439400961313095374236138244492180643251234006668738549214228956595708217899155786600625424646076819824875864523069632126818044356580299161287054222098683944324856372972316996973021194613946351826702254847676786390436379362564149947049644878236874157588480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-399574582933337937781643550615103849344124082200559505174469772019726914838310678135764595895365606514930275282874203183351271992632647662895557939749511575018417622284668950250953237984564376828277904616322628476308166659870470971478485589209243645430928936296476117228814178076958252162910245151607645933076044386112647236311858394330020951714002689607355936703938699007437003968650404792218230921658830394229827391322747404149411119950234847726590854863176128993681380781015880621623740289848709983161006807146531666133455726740057549446605005951189254703534703891761336188784053180747855025944501675200114854141056437665409164214125461227002344310074606417546977656419891825506602944597061581003126162093908447346888599972275341963802789797162189796546990113918246663921511630365624330688633333031066452437242960737327345310719977345168308387774864411535953474066475137197747009900570419725811940226109592762158348211718139890315517748246015241940390097183075788746328637440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 328881412702497842664171246539411615098774469605591221783625812477241774862458312174740460981170180617364075044588271501574334748811080341997560995411892476863915762866026638320198029551513925547732738401108943799618308710618793852963718634822710878640492680613899872444027314237529374080710868255863668087207960307837288997981327356908030060279905510522067463150092379482816013868040215309081599194230795109774144885728737368201766028666726925419391777739529758055448888628452548425070802775497677916153321823306764297453841108519478498040685748792245001083466800494790275425458541859169088171469218933125365662750179377602730518162286981996838670517240525535839723005235619792281181815733088994041935061813143422364977094198528706738378200458792133000317962765532131172525749361868060376261167732611307578485026341681867211938283159952638054406460074366663499034347608236638528694018291030100553233890701718225319217640590893211420091131826258359675541428233518635458997780480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-271240729466941423647063549159159318633611624534733767135083646113282595053440188694194094314521253439179199542363761491897095152627289411720083712793010451269585748816483204951611140408612236970624109943156012954044519858439354129636672040815363980196350894104939481868515701095976154138374058441427046116882565710841696625021312859288529310398463962601316602975286852401090375403099911415642308488331380687868941207146229208667201257577522544922238664298198007785069414725167636460215178632672683523664389077248949481765778746363675473999646517897797731140877354491050437676902323266058076617420674019892006734519051989065862644563796391536228426006884867844999088387002296039873195517751306696140858306024547856259026941313868514356321721309569581395204469255975428060774216270828714918217619070075769394678446428183952898749290301803823839553717306196576444968049120057289671717938069653101408527754968802029932418424484230195486231989031819739246606636257604768096059392000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 224150559535490344917902392780602030793007118932010671765011153439355762369950006646564185043212303574690755345238267801393427394361128231738246386207299190011531887322185100567185279678960965280913602388809692096310493720338934997691717435333728468266235720710511156870041112310091559953947549259637620084386600940991145237758431262378133526066499963921732478347241877078611701905461897785472500543885269569372276961804756810818410954949498106046887374349425089435865571465518155893702464964161061486646700873490686937667812211727992376081522293250334242991528876115372094546652979514725209192449482842712042000268070838190529488580663395664534061282538474265827725721416094630567373679426136906826389520224661062306276029036089460676312332460764081567938335210339106471158579749450815120105274457732073037162662200028865088854360161183250329227193300063770676882280704519935247805139282336097594699583068041630408364775223641928414748138664512048836641525938937446505906176000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-185604882932125279450014420955431561544984209748313423468015744090360666628011161059125097260408313636255736690474057863823300156141021007989850543159107419529286693002649885624522918842512172594127148122138953374637788671271293015428486110444195068122181387838108903255037542677882837770005404675548824630808819204616821110005159828162918411863287244325057465529180753151766155736909707773679569868096487025917769959689393151968325669372465232645243663920869185771025443293454316277778011538583787307824522366542338708398505237715554729578834354825753362527575761133961944301900966329802565964298228247063102945278547793224543701799387798224153659099859657071334048111188517816963846190038936977932653517257067443239405250160006564264365459323393415710165089391098809938188821681436307769979540683673985859447643962889902566050603895597209031394574328360434297342282865913865971457401155781442962052230812850101881209785120993073691646772902065158700685670879942495216599040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 153992283555345408845451012273818637438652268151639226620765999326600047498509934059360503201369260075472053960283456291860890525583578874690596307380431061299674759981411925729956566525431848490853334067997528236386924315356914536075748788747036237540785249513185049381794895741503160349233235832467613020638837744878196284469232472173937839970866308464615739507489588803815029391705413876352126598900093487191742924675081427666049266784663567515049390228065313807229796131314996464290123252269050563579961653228168848031942248365283250005328139584838179486038983139075841845954720704404449371668582705213133445553589505750348802700476661446530749363763509438345971127830430161602883719056200913178326920138600829491375761918525990776447106349002213906599639168723066832538917482640650497735049546710073031410742099868994230520265933363926991894146209851571562106642617743331150163863734672011181584159250355081569678188083655795360858089672791388007528815412972754126766080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-128015897042154557924148743442276483816308507732149107069022226662331535902176936106205350885311811255177062213801557447836944631487866836986904537586854075209266676321021121406486970834979515323585835747631910380738831437811351659861556480530937177643923322134160109671345689492860659105456117376638537702594297628318011948160894577644691297743228984364321513449896493136011608964088267640638987047661212472124257277191967255051921679992070792377735690833533625039831432403459412394918023146442677768365366150369489787531960835140172691724550536088992292413726060331995450622645994310018429179281624555916441575893482509994431933473426489514514351766254899088067907820422009490612724540990410626056470117978766014317855706229233574584085970279073140432083521354147998961316215351763687508272283831612928177809538226010039694315999222717685114311775441209557847161602255876114851966461243945897213547924266651880867183556649759340002445971511549281012221903031599946635673600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 106630063754041306577535512866383540638460971290278712361850436131220789921744317449804591527334962831486866580752229961483199787999618698285844060445347335169663957011548420788546453055131276751534322285315299687679199020699156764557285561122093842458261031791608576325279966866461982687349141411745308177057177432011764081747983899657084478763098327999880929190457504512293183026578654972646305456993005399250678502311858938314372923118810344061153107912460782103811943431806259138611104391536389193293894756432810694763648213785570894867340259055347260642605450019998212672485178521891972106056554662885975746158613034655508807202203815656589435604166900252394659945877809230578578930768631485379516372202684715931205482197263822668937967662846834686484395577387536780245749262102714537036347730864805604031508973512495987587347309012510198058271719650644504269214429272428257612227455522818001500922289905991433253880461804825552601610244491546723941641236182112560742400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-88990108728187343992021019905372002700824830139266235493871329243793516796765398285747321222356736813502774921343629964603504409936949897219207634187734794728011158078684026954152893489076098621470146203253080328573875359731757791264458123592412143417683916516527682107798895497953354136796920301408916909893087290058818496618274893580736723525227344083434639155988226678014140255402603225533891126686190222376427061612066557616542707400156997841922950837009399817907318443134555048866157619018520006670569924822780599379148305991242287209060956111814958266295756252022712708330092017318568485382978527304433867659085770025128254261600539566693159659499771560877202952228589333896993080221196060781385190702930757527586790223455154570744007772071964049196122688027412026936064623656720334467583289647845464200932824127748124217205053360810419208572895269386226204093202948794640618625298464916032823310208035788780866212206085907566042638384547054803353552292196483753574400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 74412455694456389557722487907345046983597944467100254082933362161437315455911145835530451679452206992610510298858861493797722910345358846986122270611626370028989842433373826407234798824043856132934527636228153489761220817413527771662400807900522655599078360277578716638319128550556662134790882845209298318711959876076339975186675070720722058165793748087980636109971263505000305562377029154874107665511269157801560527199908428916255041909481703116475322949122619176602532739615613392507137904525679223008871666517398619898988481224326922330910957006462119994646750446104690702887453152017430890165293766457282638824641560775989637191310606339084165931745951503420743801878230435633597393012393270491733235092043691337174796441559440169564515740663808530690222199489846681113155451946838592922776912909110491324040613664359558980775957483959439420056440760431024753018592571590760734157168399509385785276838880820561798910470745716441287066644886429873187640380524926599168000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-62342891225957114772646087144618154110697315275953960416943240833552963898614275937875491713980565150236877656547802620293680430452865385053412195262819183218576177193779271079538962520387786536342636259386032080299012143401147354022704066032396880059671085918323596195908449658161960688650469750757237224433512224130367498621897674707616961382175471651613436093869673533757148037684626731130984337488332385724666378449520382458720760486003803990287884700002115486345427503024116869983057881385029323410184088015595302097883875997584762955613986585104817052624568233238746289459362761387110042538682952419510921127175633213184768831894071350246371601169687525889465977556146827819343922549633250073422141290764499342787519606208591569026878476585753904712702435953284607388982461633920954654986844719132120041552669554291107057254378587156859747092692252765460031298952268273583012127460719683370512296159067090301010564825253503774111058916229901455448153947812225089536000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 52331268199192944617965550306040576342520767330722283315003424407014660098936949338438094013805060314999838099397810105575645636207382657130243168047462437998613271179972233852380222078736888948302721654681289448989389068958298141227768604766136942968596216971867838441128909223228085603222769284036242777845774683903820810705894004678528882919759379667017749128481407520259951305233825737712820919616436928861678519364097706996812868736613586923579136147050175260709953589288562124901820569121474898134692013286034173657973625651100664844642524784554471259298942950444105018968894778432898256662204984081859956625930180499280607976837330625959847284578978944012200979063560388649151249911997879082543873480525311391002076883121266967154003142692287864877785043674128447510726143971571365111783034138090881831516729405854065434018389491951452832727416077485838306276558099900216013463229324271217704334701000529588968935042610340040110877418224701591707399869772033163264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-44011305958721548672713940193290279492694084434082340331491883798219730076656671188567773642200990866868097252920675143138453345980582376497973920857298003933277127909111089949286347174626102213656208239778336611036724722068690114199379286976716758476290932796701297428797356492134451039286422682205597167459359738807299814542785185501246826434655398998940139327620039125303253034491632650883526630547946963463313511531595699646328448041547851655476447127841960141752653418356270674372660675595057734278567924242005493268282543910003711767067478546201637066707746976702092945072947681737194970693219315694095312925280625154932469323981024834141863330735530601459039210921748336352857826161945345758810986432652602370630435760554167309432847978411658272229879290813482271103220487231135615785233951251423654326132966548263067375851145392610884626636795662318778287993308287818498460314812099418556869090441594397002576817276922408348195193400126468159704058586291199016960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 37084431675941488198232923172893962305615283910832157199181394470564451226824974658289486931407189321830876634634975005131020484102877155253019404069935582135431494996869883495361794372785241443638811103096740468659621209612252564055297698148396061806435661035586201290740128678102838386385789456207035059896456224442581093926131881163333037116830926630306530473197339708145529549742598765259018643828027972085065400865580795801824909594298388355442497217613386732475424240266028600268518478952063065565700538551221396093905413392772446358312400380506955527695450510413522328932215813367316963471506590167539380234444846588161769486098509513542672678473481761053925398745097691948233798317611992190909709753126515688189845957915523765346551104202324060164566812124705266500791359245767815038240814743297920111587989339367581907204794403085558978264755612252580364390982872595252821977870136665537476045962252903022242226779416146908283042312061404974322583079653715476480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-31306831631179928167828338164784979773991707761334504509041098351916686715930787537602596952148474347824705796842261100660792003212720213877505080131188401747991230282963915043294964230640600083334723546362535777436798976040197934497435317155760665341053443698765073485795661167610050908107310290003713983474423713202240207301975948330547112350026416307678609536795344393459085569949623169604187422151822733213141657648048965365551603089254273644179816838919657399130114243181275760393063260050067857693963837679759952952014721741710226203645677194355203829005498463127358212751736606486854907413471614482845621847828640678513997076765689461320446680639857644033851547417575537554813181617548712973607935717904502497527078375739081118044914733978317377414986431579598123743015410015470334210209072802836117770630549111974520507518512372473517035956858171443776615903349390038355708394145919873524131887098600238123694815475370634580288157260882571125927060058549518336000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 26479056601660627407788589848783095709684636508708437946431245902318748968594256840914947212749810462812780095921804456727904414434228888230643586567709065906109154590577913472234252813966164912539756100032899660539583712816035881120063359364739334959661192989174607200421712132044098620768595490810150206782187596246435761051438873507989797813799587640855388076094946269620664231401234254842373453146466957071074758267066529297578025180724321355608224444043833390994446645280250975993870438293628482508773946548828130636842991161011391508042328998328940387692250974201072270766795352574273263177842777542061447082358797927656633022661716001640157788815790310734366608337081874702247600414587523516183960179916826989371704704821262133959161276886864201474678299663668448227952829853452007540091640940382035171573392665108654944208632647576887073072331956746601341551011487204171527623671927516833510262225544609982984248511123079917693928909996218568885446681827475456000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-22437663058758180221493487723874607792503216680563980588486177705406822947746993844257808697061450789893158020976602023446275480074550152131756786800427557057481330054686249038744905807267332606956903108093072434624884346413604958037479935134859714722541625883697113464889735175127509034200269118048141425189808545622079355690661813647489772525253644964077063255130426325536338687274885080634584139561111999881290754014823129534374633670219146035380272964366048809651384103844754140994488083585132491438397916294954019742779259001573900885137868026779971661291463450351556199759824546083637260520160193030648370259405386152972326486139516368564297030112003373176319039779826794424008157636074822154621962838985659277415907451962643426845977200279350064359399304557396718536684852527644219950126685758651008269377522129720936681633568202508465567981336422424497914702467504429041626078502452634508634920106942617051103881895878916839551908318594046835396064559247654912000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 19048479853852594216627435701380698673690926358379152850645245147841171356551237366696339688125321217678242837427040973029665993877261349446278311030432717461352909738568828064403573432785959321089285827538794333167776636284601294098010505741800918052532933881483246055020690494456772836528109096498903044642488348699635070011564681292365931891231541861633832600343816896817659250162887305699238864883382529480980180217081978416329857735025573007199034572736495103954614038440766332225032688973723208335721565368909856577807533924313486596982212225890366890819177681640125229070761628136002800139937993224220664901690320479342138584606853976967044786926735816858651779531291861176532621648240057476827541400395843790538247782313092196302668796597910634746681842837648750555533015583222318566647405960900378203344856438186553681207835456496198637622737437617786030446603239863202605511318996521361845409121954621115221538961759563698907992522930109962537193804388106240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-16201174996331637571216606998000720996322843345250571593124868273614783099421965260033398504032019807360196678817680931008881234867077436610687472374644408970260414034658836123125608890209075756636712074967908543830060527442558004389164407618165702128596021740755400539797860150452332649948713636504644451641474916406708854520218034555442888957159309805727891399609667858232914301226810716397213750134067178712814141494405646627892286687993763890968377222700858291521653734678512588602596217370381833728494166978525094962982896271440384496835026366349768315188125931407529530657589167212337195729136642328413151843373232508311816959858053672338758832963504388175267521801195933825613210196963204148805125755025858870653503412325725278058768432102045923787099627940310539611964989221873889128930792498534655318407964344106799819374763465540381363233146467667418012007936336374695389966858795298142585426567750158806270995845449962969901436236340010136568299479818567680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 13804864035201592271974576673045949940865452082951401437856754715956969429532924210213721281264449877781803823312906589888794831582464000291716742718276658466889539470282832204067510596710917305952027189192091691795726397755703227385371559896720372006274160751441002965981584335358775338406257106650853471094683606945921709657083232026494878694591974602322162442678248268901231016418529911099167328691710209273180642949873175948295052868774116049671533027182910378863540083806715868291075485802869627760923076064162066986977220811004220844806635213772858046138875989309574949672191940984024206814972929402536608291021539525218704144370410531417591253300159670376198562386691999449173443606514676405695954232108366986708054387711961156799764975449556995341349791600794303836099269815523295501938631973135232997158339031579830848577697113114801146965234668859764328264364538209491413837053804629958765029343906068848356540410573632889785247819176369926277618422356377600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-11784554358834848981006287435223747488209513342732505187373957018560561459270559436252023556852272164374877783552070113464902024882967210117874705516496278933228053965201662025442347970118429945068193044898950177625238825969767075538237847881004456230859398180511440794204387515618731563910633683548989480839237499242327074578952359301824547981181573578326934118059216845116217535198732569319738966116901184042438953829202630618379680229454080949320597236907391042524781212586366267717346499898219128199662698372014096799391290853640853713589943212624187712488849725884378791493084350548857143682761691743133578668518128649961952640406632090618046536451320644013301742280468147346635154852029994358518642190518232880926693986749894542637120089401574909833684567117365649388569635642806930410261720432992666692118963908563309366510344732880732053839680804910505320923136649789128748375471790371525230186037409065535486779040515954427658509641926769322536904117190656000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 10078261469207045446883870338391785467673307209436007641861854874521917739934238005963037146429486642528921767307438276294975859503119318224740914956495378346720562218519637461482236132229127547152170142906550446993916380183382215072230193402983507636637170275284111402762420053961173550968648142722833786822191751567901505673800940628101155625553217712874183743556491719683009486577122464494486355146560702458576677506792109375682185580977554871400154408898163970757169145849075041953333856449929153658180342570268240478546872748794795845262139932650928029318996434757190921034989412509167270735773079042647086892740777373898505299094595676152763071667653284264508153083427573628619565476747264748803007695132874600589332184489971231903737581814028074924287732075729128344069405504125313636041319167110110699392444162081701535399742164780645391322012417981606753601923022286697093807011256765480043100301019927664170129322397813667301816904662253228960226879104614400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-8634666339841626773660503573209239258526267630542418846549222413336906439273701634118126077626718543725234558301855649107146996739850273988376693692124303942583450207559395995080542112601293702443937421129171673258793664338997132096374848122871507954398444656230590748594621563212736051489553719917206866254637748821883609765066143557028838900327775896741847085929579463143703011823168722684502877293771475728991907661706358396659548173189167055812855377554700260541799117101705771081310132804523570584186678016353001501481301250144918789492690311130994014405053752584065851386158551800986173545808263619072042646470313917816133910156294774410139361367098815081539957833716838975928595290451738969495860215123199401911771086107727884425782712573174682978743351814673917997759466113068211995534561134688143089880102023383174724411898239656380342739135265600204878478314387936508718814215491670444102974168505587456793565208070376723165292989674143988640691324452864000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 7411209182718444014881098873427377043341376776254265010550829686331410221988825405040996107235222765940386504767700407150190138538111457535599041488120582957373520672338533221188947245907763657496279816306556274776838973274557786202559995756596311683947613321042149390339629719743406421448059172696286316653332692562330059803017079742114326603242754792938351635653611076166981673046086905651321625037219654124212211173421545510776141981614772559688160857225372825421179741165222452247069840260434822899820179450604617629374600266117773654440293803764977075415352357316649570028922080012470855704769141296029016653500101683171187854760805997790095064382697221353980737810208077773547107273417889388067728408246604422758058462338682756276840858607487688553023646890251090607280809716829916332088506371595256451439907924386977074517449038135436781692090846263843456131406902065140947595688755047660087788686735180070025978667788063645108554267026906975610406940180480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-6372535777049161339269418566281468455998601707967624011930760859864947563185460745155581615574401464215180985490828722146811808441408192442954472631832183748635415988350289088706344241929736977798484697610388446833312965122311705772076279511209177590355745758608058385012807678253761555184065757395561929652417031345549541623812523543720801045563697403737321493680741076103328428540009663986811353857386843788500135601598356318125361706180934089986796618671789320774727117368587874774624823232449214827726438577620400077196311421239652536101285102386686260897578853333989964581730620225450398850793876021000754625131638785565286668685807529478084062627553581635621140468084104018766123703708276118908661918596812303136343680672590947608631678568329745344095486951058282264891702160101029271481431121763186949905466614233032871712284540251676751950519758575226106508295808504896539767060742343687999753210949557821940706121374070674520413040568825139025661153771520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 5489229086672154631332437934861435498831357911173706539585125445457034903479662220233942269459024725421798755063375925162326149092381325775977392975032223011099036350681834803407821135484200698067413393247391479334506061442423266009742176084493504482565105511676495778350762243189190959053610855924697894364188871792417950772576153426266852678888094000985887409422207337714687491058369935449145329162005810251655283470664733467580256755734749783845420657323208123568395167161431368245294941644422700140052090906130681904541428868599585121484706344222479565008184044251690733295455379058631944583433261774502853534165609239577563502755471652196718712034555596493702181154881211845494800795143460625507522952477031698509782954747419942619991911747111685302709950814682659971798322387589241504426343373638738383954202046867385848419807365270912408836130967382075675058886948049059270670393469894060815728968968196588645249143082327510266789239211400662677724457861120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-4736772103088745646800874562733973919537662457134838299864996064920376155910234012559696940606646081335110438302662021387423950615146933055788432053407347470872026830193985567097356212923575252342148814729492639271025986209693558341361809479081608035092865968011163664327809682360838999743239156113504192082824722867823387937812605953770387725723237912962571390038374091849326400541468853763362177779269635455941698102174980721212840991216675237690806110617439227943521189920227900410230502444471220328554552447633097645568436419309636477694714015770333261810351009317203598331220382043365338855019266612175841002588345636872152833514775465264735096189538004174509570040795001326323928566935608523264609102150145242224858245125554294130782878898877506131170535755320955402852391153917670584318900201193329415765200137285615056396758794245839845080867447783178061309899073682852559160821086135557764534005702762033801144857668637871978532878465796111607763178618880000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 4094698397459284883265254479987647056229169833114192361641514199202457502894848101402967313150139204556522581086884414327870293557793131298677993442288443111371394459832227667185276785286107665704985608287253219928782581853711748510014698305661732177028395169139437478935419864969239556210315626976377798966093063463417480972258421989379354678694820807075925772805887695869595626572388005094222802297516492657399289346962842116820574595596021239386533837609464287810664044208818779464970004924134293419186453082909916083814279300890265904252661436965150250878374432136622507465051515853909655897063005941633189169370917866401166363912086471490563370131530511767530275681042287129604516471408167012586832182123339667117904755356530221205630735172070600668056976911362912211532654308670157440044547818474035996031191214277931931121426253897944873822382147795752846565205800326852929118663797534040449067582342542699451912106669782740047661313876764272824758042624000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-3545895297902588681504915936215586505777182358474469036829929912242745212082532723666822294766116964367053250569308696771866645140917475881169868074867416264484989865060991015115823554555392946257727923218364670529477266095285724718701507068022291669605260346023521165629393024106309426377193836524659682113025240671316833120236704722789296996987679578015411364427586436384416683636069160308328943700248959302993940185462534155298708401072186984560186205608559894511668786667678634284117988761351623005346995769735734267549478578374698991545839088469046633996794162225588762031717744672323068738261214597989071843281379925404032647177585530902828498774703950771588922858500608225285195064492177941218541331940250501609452037611658708866259079724782012630605989575919741314952189838115593897985996104037982975556028512694266698627206197146568538354003083597652293384400403690057810276776602852156374353146568097251863517796717438306464224363191045347319385948160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 3076031362378292843563158007543557899861928650821549096492618742658802907911658330060121915660387225949026567345273878437343198920536356646131260895853400185575379608479838245465430886942727933106211058228925937223256590769701959610501687370458529479497144175206336572060451426745281714631530406580818228369087777829386883444134792375506998052149757849568107518500165578328141656435189949483088515790963811876485162246372177929567260342554098972429502408685061119624851249431807467249285105267784771163447231954064312331795478726738672497667168234014274597239880864469862650499367117292303855008309608229050887668575782433446841225488583393639587538731225436356140261654474732022784191875405860034888389206727653765340478741651618447376826669314649451929173755295946884403320114322714399894149080347587901723806481872681273348496783076742820870250496538717966781445557937411558434539093027867675559569586636041021079444003120688914739502995100945109127171932160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-2673085235141717166629347147548991711604094518819775466261982774537778339445415411853087254123250191322765118990720396016006761647363820482279292069767292624667315899100788112553109483417207814688344985752191839653128628446951195688431811092116092250634492177037727273067067485991087817151030118375934617588350101563669329913464637843510382202578338849590270650205899259968579589117283054339846671711474778439824342762061257888650988128445356338079830090722938808711129893981121093298849126052432051417847568064452196700838524027045498699183392964203124076357373645545491700465745863353486578637684783479789549835593196229577775697145600921948297718625146553452497493986705931350823003412236921136984693350658679158529149446467971016587124939848054629087780139485895396625641573231974841346552544216735673991567495703444287032139477933846284162558447490473834891449154970243873289750270529224686881410187806006006825129983188757652705608998854485149367161323520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 2326957327422985556389692037246268210451016771187874199984341178185528539621235583136335607701606843671968415081988618167630868125788233993462084800402565476219647281741285485080965214868296420335465955401897741294341833966321855788892570943201428128158294171608759888578339482511320766386809310327816224649291428893850693391872825236054511066977715745644332045411334172185469331319037779862222239619186925109348085005150170035210854051933842410281575744458247785827448669387485136477215400098727131806484891907956409780128483952634163506180334065525911653785541939888966497825117572177406869653639206617820500361917827340312359127650640548960205255640255743308797074581649765418622579616121364773135295911220776960104447409654989429763694006447966705790195074543254898322887565512358197405531179565799711986122222912506931015360536834795254717221151622537228730800436120618344163208963288583037999715868800475921038783070821499686799518801216274818377942302720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-2029149265414193186065705703744048410710135109865097493492991847497947020280853940054050277983609948764940775886220952177943819453701274290387692837106923439462065182847361200727898224462003029408224928536866568629255213854775456086507224641202551587802633034625061908511743120896550439149676723168975077002934047490811527193927066964858412073974509846518464903636310187954251637119734904891621508685531946506094784675440670410390130612461232846556073182194703341296828889607561272660400962447222494714006362938981034624134476825188982232339630562592540526257006997674792837784019834340536311687597539582359269030502243370294277867275440633580105778479325752886539858566096205963915560818830117304712343647165255562742969006382595620066980899885431263093178208849884284112572137796526473752688660962003383336701615527207202963577472865915867624331671445683751393760178780405996017954046083360751075873746528915555352387338341576298897848941918608377812667596800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 1772498871286735717766095336965203021128776866993508494505982062576626359846596749976341242389704931009195560771096553540293460156321349307082359782818242844647428009040123710883089608442598778139509315140098082786727766094069783900844496161575654456670369472073497482327044446187978283640117787633383604575932159956418092144271152521175647512425834057301068975084537831435592704654360607001602170161541721486876480607735430247969811586647640551622402858332419425222977912908483105972998456956639111171355329733556982291340480334272761434560074714863005716928644225702748989392502027659592135953252171832454618564820136524756964143277390362631154628420657762165986191030650797810139999913721653195047491753655838926721767011584334893709660408515830164443270651035887731335934232870148694040895250212810705768955768798447838719698389365406544485608517390430180558775820147634912001534000348879344196931033295776999679797921111488496818682505622888538586061209600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-1550960721239026982147231356401229450633492449896674588428566904402631883755937977746775851381599870668472313643654586101948493128310837521157046872164465679805351039907308182988092009191774795798790041669463875478803202624566956749283300179316397560544501340562690410582519181682820144911742311939208780898938241914450220338214849792454919693648705335464733762520318822482822032240281943228143769019602148162429151548278523759501250380291004673899573672855060465116350172511891104369235269656965646082745150345652467696666304989058538038277379389797971444985865596773285193275275292829028657977638038854911189076931948810990146074800055270756994182767038797958702993960593872917304133477727075086167692844423117746660532913024284971774276313381820059679303374613310022855236484794189660567646480304772507938943864859107555377607436389258420543615692088264572921271487239162869310196094986637672766838447336287198549778829074673972986008467605258440202518528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 1359424166277395262880216044665243478099636373755507689533957756650489984915021272134207319414132622403012488820737409702485783527399437497402555620438362925716098703729307344863030983599192830108425783613087300518127124858695987096618485650322231129098823663782595887961566446244692602400104433913767595018176185879133550298523005765314326916606887523420534111830333126583348955175787037982118885625038358509602731123328236227777572526824449421417933644533215261413286482193852894789314412816702367863248568066126362636957275452089229935235514871916039266826355172084682398797932452258906340888342956800915613211796886486148358848350555465997974882504462481981798342988260307177740233243008676573722635934657989735721896674349690374782419632350473206093629779348739654264272121928801306733840746710849160408091233809726949401501466983861214128747027009221686776090885470738241486094646939277651970955329334224068708127131798503835456924294940995835865464832000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-1193562192471225267635529036391654459102330744140782498530137829094860023869918683233415273477582575322566476583352034496029592058062141710758500291817612402495761917103566425543300007184542180017965288175666211617223405934711946027012666474294284427538881924285809865933352960808045885507488584203905492360225097476020084852627330123931252373750560745081131895706850186887122269210133455156562000466142465086891457818817187468152323573246613240172237027896060234191542015310050379672971633399764705447221927456063045909165503599261039983159148162995765924817628422904751247772655815252026999559489288691107533475421500641625022943231396550452502887753811885117663554006774499885765954752282733743474986927222576492144447428514170482668823245904596812991778565927043397381034028109286553145670727929361670464013156789350269420678577409240148702058795470519292675570610187143256064182513765647611847372431522149587779561271077596458358029274907009793473342404000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 1049705706377928089979467062310135272181379045513027821752115350313826723488224649409821636642352484833257295826901700633393426729289451570364674915055686184234128558294976144246497455387915924510358389609139595478339277255292704796682469992844131001290036048778914821205623952527710722579363493923110975747316563709468417575330639528036458347094865187726102627380111736603071990494709376677219426802822296303954866453434911925166398034684021872597356737277449396310933479088108396686714632059299869663267453340427101103645898734685197939778058481961503940681545553132454634372711581314483987617602563445497492191964906128021989793949347355224960345558434158251105033243380859227332952983573342565655149500228321377906809256449288143142809397365259673381351323274525412520589795383979111366933766531266294724471162322226928136173465991052181459811585122468500124032523922420505609399387050686200721444621594805954036880943953893505831414648997515302339950482568359375000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-924738813032334664754391088797857431647850743345503594711104798953348765425336787122361177666739014382682089591585274444103773017867634910542724154340252853898578092014609710842607882279119702081770972527651218310501309174893768864772032648130088261078914979720586890130059083533492444727900736949898827047645918516575938877836500888641582301151115991021709273081820496353489425641093473644698747758177869698294462088064094894306956160760471986144005075188131439812445311467710502434172858943553733356181058554783346656463769958436183252064227050105132997415578635195892984382442520582836100682363472393069398595192456569955837488040988285437041631501435441340905037290145736562684978721128143640734236006079392509558466435966435664290372946127688891253215671366041599123846124024928138076566343547389345614841283841852678836837381303283721335197932442175278633539115110104648345002483802157693872068417446917077753010932160975887807581754445474624511910969926598221063613891601562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000), 0, 816011452237802297162470427104030859581866584948463333293689286143359967183203921035928640931207707192649857528811604912210555270498123155423884485187477188744194898508619444109870985787280269703536176919804069060335142107710282786636305709555368234938566171728495977039964177261308880194101665478615894397721559617206580588402608742541363040381606798276808983607319253736159626462663285637243814417319950083673127755915409014003785757461919940005201685535081945932290864704484672102027430540266294085769481951251578708524789285306060023216473651871718423588046244645933825939711920840720612802886539731762728235857860827823650181038042363795893765043575967611487247198677840002294581453453060988269781541015989455106825089861456419594116036147226141183863841598560767596849874056226989387636753623008041233105668856399673002080360993141468307246382097049469235528508734903009739197363596628956316078889725916738494474632934299323088197823152573677876106959104423252142623823601752519607543945312500000000000000000000000000000000000000000000000000000000000000000000000000000000, 0, (-721266409083467235625799396631848498289201011213792979113110070444855413252138114330110869350017423128610200509974132920123305825938249999555807596472090748672302988946446843756456828423667692861844093325513254142139574727262201755713305249944405777504582115959776156961919417045759024553134304970128031336417824834898668850951115772461672076152313341479081428168813296951463445761619287843372139883387776223829760447206875574514928050164882957192458999036301439709011134929073143225849569357724847827823637037868432250909529332459169833258926536843099139479054359757986752814724097891476062777608343262447440489414362583163003711950548336566567267927087933702669387370142096290162556567894702004909691992763380836564444865840942080166272789264445421494337430960476641109556214672318837169305167098034342161769702141689868276168827241815616200141691890194014097385084916004721457702029787152476260179664932019943367408334237316624630515631195087358670071347907088453247394232992206752896890975534915924072265625000000000000000000000000000000000000000000000000000000000000000000), 0, 638578244911144573409879070039763938050233654088331812208288526249105406669461452430138144060062475398322283352478180826296223822767444577067094365101526057443680262240339399618617374167685364998268725842305926414169409480058542547010078799447104740679609792828507468103885181546401587093947735673012093636270763928119718307022131211260891895713056947671418631105337906126005400535296752828146963203800222359076037503494236965775573213555665358496655564737097607252709439777648997472373067920421097809236479249678972271962944724232967901025368113807668227236198566139319716676038611114652963264106726696819217055442033357075118399147393929668587944787740425875688253723443797503076366349728937246095604577722473831284311210221863394463513311388235045896202731716532758734837350124144514291274808715250085788167039233221842172846514203786509163523416027806642744873987933724020463416531795868002381774991543008620441088916771470824802982389513378191513269314451176138462833805558920789030574738376344612333923578262329101562500000000000000000000000000000000000000000000000000000, 0, (-566302128099359779333902620516740905772360850820519680486137370441268755641532167164513872212866921090898350494358333346423357516855946454476355813304191031085798832626846032871385818858974294269296133858397142372010618867318393289543780636096980501471346768649037031658416103509551199954378350093686508920212152631432083327976476964610015298765358775799206976514423248400623360817245656859255105115937405035176959085870878775841357219565180403584299801338640061056936404525581930404608104400515059896468458944442676327721501137535938595533643345448462843164704207821117185694949996555201377061407818094082111998326374563769688077037049937800194993316568186925075869819659944881511091850461043899370603106173678386242204325314020309116684527045804199109147310338222505671275415971037323726281884297257289697297303065012550192245726476911986157364393912334155993381812296670765061971298045713394109306665847397179509234295280646625602684344930320737394679501696273272354276269241899545277224555319978832601535145840898621827363967895507812500000000000000000000000000000000000000), 0, 503030898329540414348719900931608257520676073469750444633931494499267829814571788454078584510174107115119680840451297731460268804202703129425028945430562569573146860880255477122328909156085745406573173094810777237563768905772004830242119168943742266486252876235500108432871158183608557744121178486746993296234581253272437213905122627689967232133438399155284308402092231474648132833700512479187541825379182519832297167219650628230888442297266967306383958959625906536925797622886310725825801649879096806889656349500914613602312374417350228943246217465929799842404904259835042836267142140089624717196539084759837697037985738817764998856288457193101500231537483080644838414249451059632532869545341045645455246610387551336842886188111773557773908746238286529806486907297690448116507479060264592396511028173521825134089896118266373665091146688634146107102368244047479513566692798476293163566057795687313578426490193020940853371214628240589237483031607372734785526750060903388245618810353254486590300407568009550271850849334498434473061934113502502441406250000000000000000000000000000, 0, (-447558988217139567744080853207789025846546043056895259559507992683244379251925233314993991922151483589812860389102902162106141518078222487827327745066622505840832772989783840895603243263088462696736844589966228691104409478508634147325303546603207583888522757772933821341664923856561393774924517581287431561693649629677718294997903636312093435932351394286395048455008490906762901195183609140165966350801663989805310211770137146372959844035505649650138379324065649764591628980890777330728966415637958283091689969125907076324462309883218345580730995929667670859925035491471947511311060138928823816368526180730029132429745995794410229731426050514120014917853463327919868471085406463619648793263345098195258136757706600988817809325119069354645704163741502124407671185232019428913749042772132278123889637590853152468893796353665387699614033184302792476746254842260067757871857414645112828051519660118961019407354373192870329796736473658464678562340675808592782387014758241976013561500856107021504755007211086335876897869252141096520821589299643505910353269428014755249023437500000000), 0, 398853414452311143873442839224409029420542567762560626600621155854744372425059085989385948893483450690856296269964234545483768391986417057536450511484884677360382047916484840796164267929718486661673496648871931586429106752015296798184654751751786175200302943590398168822209938606978377746947419236241238795765868546285749644395883494837106913262268852093193773307989067551211026757742849200696359941388252749071497755845779271851874788949877927913602629099373074491729546795063657220786823508615010870249227370984357970198741079508927095060827599140023345677165437544201326925406926377764707902882785549887401433606202120920980012776071208327355267702093715190017169580954898531680529886517266145881318077742719369350473872625733869694354802364493756927672070932805971847552301067892369529403307998088915564509098959886122856104795014768160120902880144908260076555745138706740088376183620984737837590416721578738814481653284429835286350444872568281906031073654442887721085721465660353493719441096640610909352501061992789938015491202349949162453413009643554687500000000000000000] def TaoFivePrimes_RH14To100FactorialWeightValues : List Int := CertifiedTranslationConvolution.weights
Source
sometik179, height-14–100 Lean certificate proof, Prove2Me submission c9908072-d99a-4431-aad8-a72c6352619a (2026-10-03), https://prove2.me/submissions/c9908072-d99a-4431-aad8-a72c6352619a. Theta/Mellin foundations attributed there to Gabewhigham, accepted submission 7ab19408-190a-439f-81f8-63e983ebb00b. Ordinary-syntax literal data preserved from the recovered export.; ported from 0df444a definition f85c1150-4719-4e0d-9c7b-11ca1d4c5cf4