Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

Companion to "Pfaffian Point Processes for Two Classes of Random Plane Partitions"

27669 views
Tweet
Share
Share
[[0, 113564, 4883252, 124522926, 2324427952, 34451342860, 423751517178, 4449390930369, 40680145649088, 328677085869336, 2373778953500760, 15466082873962644, 91591347928921632, 496119801281658840, 2471058240999031530, 11368944428125796325, 48507496226670064320, 192593907715759104060, 713730363887813150340, 2475398166817256719830, 8053927049931744351600, 24634511650552096310220, 70970854993257229846110, 192911687663490106581699, 495505605771105022925568, 1204353902915880264055200, 2773454987857712836652832, 6058196770559221541070576, 12565148857456163196294528, 24768398266252874687626656, 46440746749224140039299980, 82889696470584904494386934, 140928212595150046350988032, 228379201660890476899145784, 352949675294103464298679848, 520446460787410116275080380, 732538176386490028321015392, 984543831083551768833159576, 1263941404769424568096623780, 1550315805208196630059466010, 1817219991452831214721718400, 2035920304377677762074855440, 2180375847038621638763093520, 2232289557682398344447929080], [-113564, 0, 85456910, 3030057866, 65499059076, 1057656225802, 13771924308285, 150643664356779, 1420569177041448, 11759335738880688, 86606412126570036, 573450215651472060, 3442308159661971336, 18862093214112298590, 94886559934832559465, 440357114182739177655, 1893228430031053661700, 7567807667889828324240, 28215007480358708744790, 98388194123210294601090, 321684351496512910808580, 988313145980482911493350, 2858835077046570776801031, 7799696963758969560087489, 20102387145241635721744224, 49013762837525138517720768, 113200367707322430435001200, 247937312276590363069740240, 515533002604362142753038048, 1018600378699649471528646228, 1914062413746053117195512206, 3423328735640000846907650130, 5831533939930561516193339592, 9467355996124187042364588864, 14656389576859038848568153084, 21646659637472144971507440948, 30514597753535519448970502280, 41071443331823301491729237988, 52799164599877059798095356530, 64846359632499623877835320030, 76104539328094064470959035760, 85364197241201522130455690400, 91523871864978332122365092280, 93803560897596352676351349480], [-4883252, -85456910, 0, 37398385442, 1101322265186, 20338350257401, 286173524600876, 3295149581873925, 32239477701284616, 274427106862791708, 2065991122422230688, 13924897758483223644, 84826945253754398970, 470604146637575154105, 2392607333146137907140, 11206069340055488863965, 48566056263233182456860, 195511138964983102253850, 733521190255011155386080, 2572292985720211128330090, 8452972872450264680707590, 26089648792310541446792019, 75783969340981765615673460, 207550824416629580455622823, 536804621607666151294683744, 1313071226370989119304335824, 3041678247426127186850079360, 6680482872529148747753422800, 13926384777163121758530425676, 27582003871577839026431881758, 51945721940890281969705386328, 93100543159719442283516166198, 158905996858125102487057152600, 258457453282091924192276974788, 400814742764613188964889436544, 592954435603306635136038834084, 837168263287436864193093243252, 1128453863004895153659365088810, 1452701886345888387612958847160, 1786528915473638060326164308130, 2099334654797171727633875135280, 2357584426880080462242316330920, 2530590253277247449809140715200, 2596450118855957919700805073960], [-124522926, -3030057866, -37398385442, 0, 10444505694997, 260571009154467, 4168809641699367, 51654366133800849, 530347752238733820, 4672747350290038356, 36106912567366425540, 248399853176727884610, 1538499774010367157165, 8653408282675618845075, 44507904855570456938055, 210537412979087345541885, 920333124818941941774810, 3732986433374830972461870, 14099055871045458575330550, 49736378680982079689955780, 164313669554283920960115351, 509585460904978073571674241, 1486678329774223966290687117, 4087780381217614670997908115, 10611016541685465328429343568, 26042275900989602124808713072, 60511959621787949259919999152, 133282549205420399639762616324, 278581598409893393118814339350, 553106702704162804275222779466, 1044072151463057663062390388706, 1875279977925599385134953238406, 3207222097674170196689108688132, 5226364336356656997169685970060, 8119474484708253766082585094108, 12031923894622962251710534202160, 17014360630750915005941903695170, 22968821038976664375373932639150, 29610739354601478016320349584150, 36464404650319489056011792586810, 42904013501563870777565649990120, 48240705016954653972477854697720, 51840989139921600380801204332440, 53249207538352846371422751710100], [-2324427952, -65499059076, -1101322265186, -10444505694997, 0, 1997558701290598, 42991016763720426, 603768192098113035, 6654608002177704864, 61412181384722992776, 490448030798949902946, 3458948226335050400721, 21845234191609973664432, 124822810463398144587270, 650448910988707168654470, 3110909913802332823451985, 13727729065407796232427600, 56138655395417604103156140, 213554681822364562925770770, 758136264391174887333824229, 2518849100779845012597139488, 7851445587516099879824309922, 23011253234047301657357436678, 63535783137204040806972414597, 165553006789601798630994926976, 407727829267232565710063025504, 950436374923691694894429426732, 2099611135460124984024901349862, 4400551871959774587571542684384, 8759281049697626531549095758420, 16573696199280033336726437838084, 29834338701678827336625270529638, 51130436068385602843495948943520, 83482375099119433632447558436152, 129932333196954517795541616429228, 192873513864670241789789333497998, 273186533821485996511291137115008, 369360056282229426060349612074396, 476861862747037301156400810050340, 588046829172475096720767454787790, 692803349767235852789980660470720, 779950518261952984041744925239600, 839154892484033958559183357222980, 862925655161312288533975109495490], [-34451342860, -1057656225802, -20338350257401, -260571009154467, -1997558701290598, 0, 275506588170892531, 5192212065665982993, 64739485385811845208, 640377936344087432118, 5350061301382530253485, 38957453787701257605423, 252016392212674935377994, 1467328235928611863425300, 7763113178415423276876945, 37597543482994518032318475, 167673320828794877867462340, 691925732880110450433404370, 2652873241078517338636884441, 9482959988051016754857662883, 31698858476266406260336204350, 99345902956796701623119795880, 292589774689267781443606993005, 811431124872618867287148219951, 2122803153706857183448715162400, 5247241570730120031480451679220, 12272696498106496951019213092974, 27195463707175570683581889898362, 57161475004454884630816754112204, 114080906072279895885968625030696, 216387135159611631923398530644550, 390412575723196628218944768685218, 670528458520330845408299923374504, 1096993786757087509393815184372284, 1710586645262246472724365469579494, 2543727217978817126279848553936130, 3608969547473971910758296344910564, 4887192872271412585278669553332192, 6319034599907120050033599885371550, 7803412909641834709145612987761290, 9205890089160546468037792772125200, 10377123169068580043941767082056780, 11178390925030245333052192575775290, 11508344389776930199145454260908926], [-423751517178, -13771924308285, -286173524600876, -4168809641699367, -42991016763720426, -275506588170892531, 0, 28487238317585931231, 475909807498865835858, 5318791199736708852765, 47579982215305740265332, 362134211763130914607335, 2417006404360924882604802, 14405850199954317324886875, 77621923144236173861241720, 381508764826260696089886585, 1722231314498515076453669850, 7180174584475449650407534869, 27771358179933009531192200796, 100028243444673115964466933807, 336598950083723741984251847370, 1061148550603197844638150928875, 3141709579853926715031934368624, 8754011982400527797740246759881, 22999415645972605434102777459564, 57071718981292182506350724739486, 133957442436267391176976052623320, 297805883529682145219487304815162, 627825338155100656963157968401804, 1256460276344937335404657781384082, 2389354013708860817540386074024432, 4321240565568416251373730982256550, 7438200129061562315109055955110908, 12194337511347893776255579596631134, 19052237227347308097040734937211400, 28383571858997826989719980774551226, 40339333214126890096185927597825180, 54715632639053520412254117811571586, 70854950290086113622449333191675200, 87626576331716483511503333149182390, 103518021248263655474710721215310820, 116841130679978109587444549026275450, 126019760521985086658127063883234344, 129893320653449065965554677236913806], [-4449390930369, -150643664356779, -3295149581873925, -51654366133800849, -603768192098113035, -5192212065665982993, -28487238317585931231, 0, 2275651725827653584801, 34040935572956873645607, 343763283917557475746101, 2799490710605900746792203, 19517941752668474707736595, 119960217071547857486036325, 661377261369834401601743415, 3309301999473736326061125330, 15155558895686089044715158681, 63939364628378393426827315995, 249783824784216402645607789917, 907390002855388093411267057293, 3076044006157005943778668965795, 9760373125375630620618974021601, 29063090121521627349409059540855, 81395289648058292912432653129662, 214832309495923001467251430620342, 535307099108069611339353890507178, 1261200890296795180573694590228398, 2813484573198968891677307021543850, 5950052241446870318576846201141538, 11942450329476927034667721932580510, 22771558070704746655483939977524346, 41286099111208889877036444468153492, 71231351721121593854240071420538550, 117031310647979093917058619371472498, 183218679292925991698235848140949646, 273473956547473470045889186841541318, 389361644063455861656351559430631954, 529012887394109892711053409895971510, 686142306053358082537991670303295050, 849828525465549448688735634929405280, 1005375434514979221291032242693220610, 1136300117484150704268103803491145006, 1227132782710413002733880914437958570, 1266392020044317229234418941185314662], [-40680145649088, -1420569177041448, -32239477701284616, -530347752238733820, -6654608002177704864, -64739485385811845208, -475909807498865835858, -2275651725827653584801, 0, 143834034437481587190516, 1942718981274502159138380, 17848713089181311662302450, 133077828853161544670439120, 853998447622885002097492500, 4853320840211538035815996050, 24839475735228271418061170109, 115774591312681953078226068864, 495384152892024907087422589488, 1957889440233181361108577280080, 7182247314791357866416100173432, 24551697604234472082525599428224, 78467679302097885544400064717984, 235131593812280770450312505477208, 662208594256379021195356947913020, 1756539866443103597158886607837312, 4396464337182078785648755108471656, 10400158585550703257843848840779576, 23286027141500603879974009303835892, 49411581736983733136234573171972640, 99480617454908917055384321829974568, 190225909424181318090412857470893116, 345796013090117339620729643455008966, 598059457105687244450280504160417152, 984825016743605477901114959666974800, 1545058816879703531425666572739261968, 2310737127954268708201633874207387640, 3296049974817169813466281992781646400, 4486055677109866612536579192148763760, 5828093209617649644663037379883505500, 7229652386598638640637974865305942750, 8565476570754888690526060757981447424, 9694374775746889251774720351173764104, 10483126506246432377410373380510160568, 10832067796105594655664472399897418580], [-328677085869336, -11759335738880688, -274427106862791708, -4672747350290038356, -61412181384722992776, -640377936344087432118, -5318791199736708852765, -34040935572956873645607, -143834034437481587190516, 0, 7333757133799974880834818, 90070331372391266368245918, 757282044659171865163025436, 5194920219260692036654993050, 30814632688938079209977906721, 162516289364806453025574939867, 774580027967712237077149873488, 3372299271468055594554975537312, 13514868829504812460951338017688, 50147718122201684010835899172824, 173077470373178598534969049076832, 557706357249585267255324731316648, 1683064948009233365671748708779452, 4769522989803219748458564181722348, 12720816220258836139285473984132120, 31994723544813013875863245391425632, 76017895486774550521848376864198356, 170879077188228630469525452725753196, 363900824106450439252031705422393272, 735052434196147003274659423805193372, 1409800152384514908099129263305249566, 2569881086542962061627703740686281610, 4456069403717078597110332753407256624, 7355308525488310710030214061281432032, 11565104135380154522569612679206113720, 17332202517588660643304831205281864424, 24770690534470921063471134660319519824, 33775215178915871221675877800792498548, 43954363109357057592555230478290854950, 54612507728635019326123470634409016786, 64801692393650608897632866826191701752, 73447828907669724874257557393114812608, 79531924441885579531239414797543677812, 82285502262733290145059064474023608268], [-2373778953500760, -86606412126570036, -2065991122422230688, -36106912567366425540, -490448030798949902946, -5350061301382530253485, -47579982215305740265332, -343763283917557475746101, -1942718981274502159138380, -7333757133799974880834818, 0, 306511441657163880188608134, 3443545965831198907901000202, 26628768623474980818160558149, 168796874301244346889034332012, 928926915649659298798089118725, 4561229121147729449905006272240, 20302347559864924846095872880840, 82771130962842313078271371900608, 311374099129162990414726481765544, 1086853750300683262275513081658200, 3535436649881305837289957062234140, 10755698261875834370057923814357040, 30692862149065149067983024607750284, 82361035248010888329625951675707528, 208266856556529473260394225694191820, 497206972123825742427473410899124032, 1122473914910420642071331827768699356, 2399693687019279726813852285485754540, 4864321259734813572194702364437507142, 9359652737341662309939451528485661320, 17111891942988878037800954564674714854, 29752179629651037539306272013778570672, 49233495385952011087039677425446345320, 77593174670188179083562281374783726656, 116539142908275918915628150250373112200, 166892776967089971757216731493167529212, 227993535546219776838661034519312842086, 297235374751306515221226305188795202904, 369929198545728611007244805738051728662, 439641730459001243986625211558149709000, 499044584720604975376054052722540429260, 541146312777272681963186219462975299200, 560631179497642827946813956036054740508], [-15466082873962644, -573450215651472060, -13924897758483223644, -248399853176727884610, -3458948226335050400721, -38957453787701257605423, -362134211763130914607335, -2799490710605900746792203, -17848713089181311662302450, -90070331372391266368245918, -306511441657163880188608134, 0, 10642594406281759116054189297, 109936174542190213608673217199, 785340751095038525760729877983, 4617469808522742024509646741135, 23653027376523973415420283081000, 108441891798307709203495190572392, 451916251192054485018451887749208, 1729177983173731894128869302165176, 6118295287547471202641570404594860, 20125437487619434761028592533126500, 61801156787188741467088471807045716, 177766139377656021085172224028656584, 480303329941494917701612827007776684, 1221854225684732982541214874350874228, 2932484422323295264651789644324168420, 6651529436440495084065606605846182968, 14280284663912202954299002166995734030, 29057674503921585228901278350385423282, 56105284696573655193050879107888910706, 102900268979109057244600604308904284770, 179431226328591257418953837189941087656, 297715382152179026903819119233399791160, 470368285878035546117294733992698599096, 708080804876730988217180843981299961388, 1016192849449674441150769372071713833950, 1390999892486526202300204483903268109474, 1816835726608218107201277549310122157554, 2265136759292626281507587165801998105578, 2696436074925642414924757799480728040940, 3065524856287662854410213837814783718900, 3329024259610946391332812471070208073572, 3453678802146826108175486075557698771408], [-91591347928921632, -3442308159661971336, -84826945253754398970, -1538499774010367157165, -21845234191609973664432, -252016392212674935377994, -2417006404360924882604802, -19517941752668474707736595, -133077828853161544670439120, -757282044659171865163025436, -3443545965831198907901000202, -10642594406281759116054189297, 0, 310510763847490987877870969778, 2962341536182462557507587206542, 19624099128162519608524294434585, 107378062391214492623355647630208, 513489121716329075811816055013280, 2203782096519869640157211604536376, 8618184788114729710413928337708124, 31011850929421678570402753216906560, 103393410952604150524679330942922984, 321025719648077525874948399895660680, 931976175532046824752208020492523548, 2537964163976966135861153822718567264, 6500326185866664458914436234134377384, 15693634854255251020364032066443833892, 35783094276444047654103147634090140090, 77181221132859296413293701847349464000, 157704914574335985083696057477862136284, 305647913164358972470724094464495676468, 562492989856011839715310245558043485654, 983902795272943676779498914133866911040, 1637181336788824737092830314629985182160, 2593443757711454201980573230709405223532, 3913620239033210054289796064376233693814, 5629278816580795111762918868321094521376, 7721765700488369917589412071829273725100, 10105490765481082732995661286625953188188, 12622166624585709633268296113655518456202, 15051444958799567039290276986753838994400, 17139454336321238352622330996575781714728, 18641152182837305284786398057604716655980, 19367095963716169241854760027405435251326], [-496119801281658840, -18862093214112298590, -470604146637575154105, -8653408282675618845075, -124822810463398144587270, -1467328235928611863425300, -14405850199954317324886875, -119960217071547857486036325, -853998447622885002097492500, -5194920219260692036654993050, -26628768623474980818160558149, -109936174542190213608673217199, -310510763847490987877870969778, 0, 7687443110932088128783606489833, 67997266327260587608255113837567, 419129764407856964045548595502432, 2140609264960737981802757943631944, 9581131144792534780070359591118220, 38581840061934272553309066656609076, 141875649962338134370920558872025816, 481001466367532834306891800401681456, 1513561040000531098753875480623736972, 4442429655107661624616389393683003820, 12208912992343803256470734942918610168, 31514247408185208978038631004399885620, 76596691015263844262212057103644564770, 175674057579751522403197982232411043590, 380875726669455100306945881664336448100, 781826906059249262101522283365135518960, 1521505497871272138771325774795517893590, 2810484774072474308230478726415759285690, 4932640676460834378221049149627154167280, 8233020839562015667880670779005769924100, 13078665328210370126086033214599613029470, 19787572746744946814404846073821495031946, 28530452976459407134962355714466898815796, 39222860312074275457856406860174063155512, 51437494421390054174709966883936605445050, 64371881706068201726792741935257167867718, 76900055714601835673985246873756631519992, 87716878263442751854965669758285084509932, 95554862355005920284860934674552939295894, 99425679490448303535996697991603110389570], [-2471058240999031530, -94886559934832559465, -2392607333146137907140, -44507904855570456938055, -650448910988707168654470, -7763113178415423276876945, -77621923144236173861241720, -661377261369834401601743415, -4853320840211538035815996050, -30814632688938079209977906721, -168796874301244346889034332012, -785340751095038525760729877983, -2962341536182462557507587206542, -7687443110932088128783606489833, 0, 162871062087007781146646477001201, 1340249527564157050954394578912824, 7709781523034474029214024877976236, 36849937249219584877626821807950704, 154736263316316225222023581090895508, 585851872989221371485949203990659928, 2029529035712889447857097302264648772, 6493542513204756798844378680246904608, 19313975509897055960866290376553361612, 53659854917830059583702956968301130452, 139773100568737675024289770222623689130, 342355844939813511254886417254773321560, 790429289699716087485965350767888864150, 1723681097161844302297480152109034509740, 3556336931589216103390410460933432854330, 6952451065600123043630173818762881139360, 12894729829894516799089309479203942937270, 22714531324459513216341827368724355645900, 38039008756333779001052697550895380521630, 60611106430511892611664678144167594412024, 91958143766338459870212437808105978203778, 132928862201290725694522444312066776035412, 183180205801145565287952731305309923729678, 240753853735315044776256542547239289617232, 301910067306328191929432046547899100293090, 361357313390261003324485169286052714360476, 412923013504454133685429113972168238376574, 450574492245416184434735815671732224463336, 469566367316131660965783331000880399594754], [-11368944428125796325, -440357114182739177655, -11206069340055488863965, -210537412979087345541885, -3110909913802332823451985, -37597543482994518032318475, -381508764826260696089886585, -3309301999473736326061125330, -24839475735228271418061170109, -162516289364806453025574939867, -928926915649659298798089118725, -4617469808522742024509646741135, -19624099128162519608524294434585, -67997266327260587608255113837567, -162871062087007781146646477001201, 0, 2974933666610687576639908990423140, 22843372932103437774742678558217760, 122961560721465841081072714907162388, 551304454694647756355711448764551314, 2176366156098576672020436833828432700, 7761923910441211966700507252990437320, 25373896277740313053838421111920275980, 76731806402236102460061841398653093871, 216018358920169271900399994158839518018, 568796094802073797092365130653664789150, 1405813014682239841611183104345876707410, 3270683671794080892398059249388166690030, 7179538405276474663626119622605418927450, 14898372012290772687870888205438200679110, 29273328456166909704737363506626570957450, 54538037258070291029049326321865261621420, 96458357496583378393048912580643081628710, 162122000635945789955399119841087254585506, 259176195839136165783569982262700473993398, 394400401381091077718295685870727399647350, 571691425740591254375653859196645575982030, 789807174916419705442883217798788932866810, 1040476819549070218303562486971824409498878, 1307614130709532738065526451017704109407684, 1568253126662275503735481617914032945575750, 1795424634289325677502292493064140858232490, 1962596275430442425947734355387957427744310, 2048709245340098854312552770786594338949618], [-48507496226670064320, -1893228430031053661700, -48566056263233182456860, -920333124818941941774810, -13727729065407796232427600, -167673320828794877867462340, -1722231314498515076453669850, -15155558895686089044715158681, -115774591312681953078226068864, -774580027967712237077149873488, -4561229121147729449905006272240, -23653027376523973415420283081000, -107378062391214492623355647630208, -419129764407856964045548595502432, -1340249527564157050954394578912824, -2974933666610687576639908990423140, 0, 47152936715767868507149208213936052, 338762804022906426218779995144696348, 1710360407701529960972037556031288586, 7208647959462671501942501198774910480, 26803910998366205210301984720382328100, 90200934876864218976714333638075137974, 278675271989349653840221535855634382791, 797594449602617009101434980639231985792, 2127932491728286563762896482838293337040, 5316122499334369759141169423285254304400, 12479549847736420748007487023862608482040, 27603262086181201307238268279644800942400, 57656211412674373667231296836199832267760, 113934802447782640275276719182647018753180, 213335939313552583103691314669529297991950, 379001226486831773571683686329335535959424, 639551835076459779556712245061851285625976, 1026102619403047170716296464878833898850312, 1566568158113980369287632049517260706931820, 2277533904444757026903419635223539150831200, 3155057239629972446341509644569665590675832, 4166843617025239913632216348080154177681788, 5248801937883546175082910294183795130793766, 6308547471495249315052604892730793084021760, 7236824889396558693263315609717536632096000, 7925406439458897427360317185929195233521472, 8287596414462628844577832925217161865248928], [-192593907715759104060, -7567807667889828324240, -195511138964983102253850, -3732986433374830972461870, -56138655395417604103156140, -691925732880110450433404370, -7180174584475449650407534869, -63939364628378393426827315995, -495384152892024907087422589488, -3372299271468055594554975537312, -20302347559864924846095872880840, -108441891798307709203495190572392, -513489121716329075811816055013280, -2140609264960737981802757943631944, -7709781523034474029214024877976236, -22843372932103437774742678558217760, -47152936715767868507149208213936052, 0, 652286973446283675890686872334441866, 4395084688320061705130018761066618734, 20857642725378995737878538994742859020, 82794258079928676582453391925852671926, 290460836185811159722314174444513934635, 923719308999175935760735283451078112797, 2700815826046376704803935578128648163248, 7325094773302704405975135078092657759520, 18541124692240811286125568196558674311160, 43993018457041291059537019647965302273800, 98178701899600235457783762051004919586000, 206626944555176337136896021446135963480820, 410981619376872183054868693122742061561190, 773909086955389090296335824896276320706426, 1381754080533126110570923480377531756009480, 2342001220270761827510676379351728869186592, 3772429411792222871770159568597739479447148, 5780005881336780869058958374680808135969540, 8430389827741529523791096290564790152512168, 11713038400800189416725739886649427066891820, 15511060615568525761724650104437445356732046, 19587215839100063107919505205028285163997074, 23595972531704097897439134871794103133149440, 27125637129284262328273838197313402434662528, 29765443215110385787044918350290298013170400, 31183210489056924254695953421564844932238976], [-713730363887813150340, -28215007480358708744790, -733521190255011155386080, -14099055871045458575330550, -213554681822364562925770770, -2652873241078517338636884441, -27771358179933009531192200796, -249783824784216402645607789917, -1957889440233181361108577280080, -13514868829504812460951338017688, -82771130962842313078271371900608, -451916251192054485018451887749208, -2203782096519869640157211604536376, -9581131144792534780070359591118220, -36849937249219584877626821807950704, -122961560721465841081072714907162388, -338762804022906426218779995144696348, -652286973446283675890686872334441866, 0, 7915714935051212203698936406540349046, 50129059175261759678039178377571847854, 224039069137051580732383988584834227039, 839018541512108400582159012262910818068, 2781444767449385307158779565314802664315, 8370749633456894533965197236398879752112, 23191541155272419360550677772335829729000, 59672242682929021580138620299310113969600, 143444736952357652006582425073975353765800, 323550559625021620157907271403339383309500, 687013705582605792033547997658512088138150, 1376789479120992245966206380469138246216344, 2609420254403550786114777750655210546897614, 4685215443711522627180818474263125181180728, 7980606044458084438682836688075864050626420, 12911529410076450197800485320386825895904192, 19860545987039341526788485101903473777973172, 29070154221406000498961054597556664654364172, 40519293829713165831357232937747539872251334, 53814926655813879955728349784629435617607080, 68139033409799905654050837845865868493941086, 82286759219733381756958091461896645403357632, 94811083555963415541357644656615391863066272, 104257301300957475190435133327436482203770624, 109437437506666900370593862592470708916381600], [-2475398166817256719830, -98388194123210294601090, -2572292985720211128330090, -49736378680982079689955780, -758136264391174887333824229, -9482959988051016754857662883, -100028243444673115964466933807, -907390002855388093411267057293, -7182247314791357866416100173432, -50147718122201684010835899172824, -311374099129162990414726481765544, -1729177983173731894128869302165176, -8618184788114729710413928337708124, -38581840061934272553309066656609076, -154736263316316225222023581090895508, -551304454694647756355711448764551314, -1710360407701529960972037556031288586, -4395084688320061705130018761066618734, -7915714935051212203698936406540349046, 0, 84654111642348667585776088066651142307, 504839568283167488407979830909657143093, 2128493013790373681241645138866094541017, 7531913648037289173069420276728693659623, 23627689909688613039716928669125847543528, 67375608063047360158055556384752239312920, 177080665176036823071327157740865036212120, 432696543945968140185805404857463826145340, 988750935955366837475867178348767557931550, 2121859929989251213723123906935226278765186, 4289987788709045261098343387068157237372682, 8191885423034141044396024206850974798665598, 14803482943914067447326911395369471069023732, 25357203640300223472459978828495431988541788, 41226867154619821249720310916842695422238476, 63692690398165785153055633419727072009555176, 93592430598707482337424192402093982739036814, 130912560727695208570524763515997445393926626, 174423383635994443808129162683155249682905834, 221491630137484844382927281024855071291107582, 268191044346719469339322175572240989897926496, 309765956558863447783309317721766331392637504, 341397270009594902819082381213712669381092576, 359109399010207238505396561208222312373768994], [-8053927049931744351600, -321684351496512910808580, -8452972872450264680707590, -164313669554283920960115351, -2518849100779845012597139488, -31698858476266406260336204350, -336598950083723741984251847370, -3076044006157005943778668965795, -24551697604234472082525599428224, -173077470373178598534969049076832, -1086853750300683262275513081658200, -6118295287547471202641570404594860, -31011850929421678570402753216906560, -141875649962338134370920558872025816, -585851872989221371485949203990659928, -2176366156098576672020436833828432700, -7208647959462671501942501198774910480, -20857642725378995737878538994742859020, -50129059175261759678039178377571847854, -84654111642348667585776088066651142307, 0, 801108857492509478313996471216653109090, 4506664276382296068538873028498881571310, 17952909028068622053093437660336847339609, 60112125368170255312626858349787724044352, 178666912115453256599735447404646994997200, 483291019710550089634756021354853836491660, 1206223927341457464758236919104867911678630, 2801649800351664944245805294915979578753184, 6090782364150474017337779531509105068505332, 12445245515936549863248130764446392079594100, 23974739648845013379957143949079880565072510, 43648721836122634380661879171592542145989920, 75247235762573213478579166154666779856775096, 123023613700328558562730324074152404962491748, 190995616341218285465825247353480570819613450, 281876870198059369640363025474945803778703680, 395808171593257816072854971114283472185475860, 529205694780826399349128906913884621941532284, 674140553222110928626122358049190259808699922, 818630872341995373695414684281536263906716800, 948030417881149570445072030425663930670332320, 1047372334934418086431943191528570412323462830, 1104178846619142638631059927250489462764523471], [-24634511650552096310220, -988313145980482911493350, -26089648792310541446792019, -509585460904978073571674241, -7851445587516099879824309922, -99345902956796701623119795880, -1061148550603197844638150928875, -9760373125375630620618974021601, -78467679302097885544400064717984, -557706357249585267255324731316648, -3535436649881305837289957062234140, -20125437487619434761028592533126500, -103393410952604150524679330942922984, -481001466367532834306891800401681456, -2029529035712889447857097302264648772, -7761923910441211966700507252990437320, -26803910998366205210301984720382328100, -82794258079928676582453391925852671926, -224039069137051580732383988584834227039, -504839568283167488407979830909657143093, -801108857492509478313996471216653109090, 0, 6733178931860512386058471559599711831281, 35786699325375701614273754758773647510619, 134888191141162798586079707025538922458608, 427904818329623392719297735182088956219940, 1206406074790086351969932658585073973455950, 3098783032804429878449803939956898332179706, 7351354716635123409739492096952620090139244, 16244015804928646761238903600470152914635288, 33623158367541662354914142161219828176118590, 65458511226446480875807868941345168848429450, 120224592299887827123857541480360521654931624, 208803420007306150846584532549116977598002436, 343562282179558262174965542290571594276560562, 536350104610874004028559382395459017673187270, 795425828098026990427325949281424489597033900, 1121760371116398798542521892917115262830639376, 1505619654557996072860124020111564855399595394, 1924636779428073909301409286130641491577929478, 2344506475180981626232982552614746289986374880, 2722879322130796209353931483681534471266785650, 3016091091006742556999462320726782159578364099, 3187338026984104082929579738800276926273032161], [-70970854993257229846110, -2858835077046570776801031, -75783969340981765615673460, -1486678329774223966290687117, -23011253234047301657357436678, -292589774689267781443606993005, -3141709579853926715031934368624, -29063090121521627349409059540855, -235131593812280770450312505477208, -1683064948009233365671748708779452, -10755698261875834370057923814357040, -61801156787188741467088471807045716, -321025719648077525874948399895660680, -1513561040000531098753875480623736972, -6493542513204756798844378680246904608, -25373896277740313053838421111920275980, -90200934876864218976714333638075137974, -290460836185811159722314174444513934635, -839018541512108400582159012262910818068, -2128493013790373681241645138866094541017, -4506664276382296068538873028498881571310, -6733178931860512386058471559599711831281, 0, 50428476471089812601374115071228898608653, 253588653068149117501001303105140620685932, 905543168112533438263947924983672401680270, 2724764097601871150968524819429089772225144, 7294433789194086584832108645693300339729690, 17808629735248056199404881895317137440005628, 40191296432207949164127631767218948540288682, 84553180623363617793912807921225867301249680, 166747417092825637401148888714862634970392126, 309493166226342864285150891465010996311277620, 542242032442055887988037866008005991949799882, 898825181981563222937055479191473054264841848, 1412139402070351922264095249772404892586796590, 2105847562304027735544409401279740232325097124, 2984236298084678762791600088130766834860809070, 4022671496006449688252699664047684137596517728, 5161964972440302210958224344605664452860811242, 6309824127382685477642273740444671140593010670, 7351087517355478999173456269198164137496834251, 8165884473891261498137931998545509575760372540, 8652015120418338514499890419379996631653670457], [-192911687663490106581699, -7799696963758969560087489, -207550824416629580455622823, -4087780381217614670997908115, -63535783137204040806972414597, -811431124872618867287148219951, -8754011982400527797740246759881, -81395289648058292912432653129662, -662208594256379021195356947913020, -4769522989803219748458564181722348, -30692862149065149067983024607750284, -177766139377656021085172224028656584, -931976175532046824752208020492523548, -4442429655107661624616389393683003820, -19313975509897055960866290376553361612, -76731806402236102460061841398653093871, -278675271989349653840221535855634382791, -923719308999175935760735283451078112797, -2781444767449385307158779565314802664315, -7531913648037289173069420276728693659623, -17952909028068622053093437660336847339609, -35786699325375701614273754758773647510619, -50428476471089812601374115071228898608653, 0, 337567893474032177046745138317929226468678, 1608141735577096975608457538010835697016666, 5446699164636094503253541654413946459338926, 15561579584926615258103728523287688549959482, 39595217295029013938085212091779417210973210, 91958717836935492028884940615492296083157798, 197584591704003938420712305422066943858085954, 396024955213252363180715610183132974265869424, 744567747665443353365793656263204250649451698, 1318256449953450814536576255687417666759273030, 2204292321292381096463399527032862128923858442, 3488796836936926897387160048005859181865848066, 5235702794175324214583917435517078227012871166, 7460540540600233262112740719560748203480520602, 10105294644475063718331796620332250310793134230, 13022894767652427569651157835597536182066964438, 15979714211702674155018206566603328887246232679, 18680804352166268415127507549553257294036226409, 20816016955857826063251871543693126001569161003, 22117734022770155409695946219057989486644565385], [-495505605771105022925568, -20102387145241635721744224, -536804621607666151294683744, -10611016541685465328429343568, -165553006789601798630994926976, -2122803153706857183448715162400, -22999415645972605434102777459564, -214832309495923001467251430620342, -1756539866443103597158886607837312, -12720816220258836139285473984132120, -82361035248010888329625951675707528, -480303329941494917701612827007776684, -2537964163976966135861153822718567264, -12208912992343803256470734942918610168, -53659854917830059583702956968301130452, -216018358920169271900399994158839518018, -797594449602617009101434980639231985792, -2700815826046376704803935578128648163248, -8370749633456894533965197236398879752112, -23627689909688613039716928669125847543528, -60112125368170255312626858349787724044352, -134888191141162798586079707025538922458608, -253588653068149117501001303105140620685932, -337567893474032177046745138317929226468678, 0, 2025137368692077900195613297109454153242680, 9150220500729792104798371305394221304724424, 29425660787531387531879755038672997004832492, 79902209036753035853201586427078543620281952, 193395239076647729578407887211214895205221976, 427604259013683213874457939077103721821175276, 875309875062899171146148524614833596794547182, 1672524696802296359292848936192135781641913600, 2999488980918151549182152364830566980437030688, 5068273132841264715449951868420175869808561056, 8091781492034884620498517794216272927387861040, 12233155874100459530210022563675915208357942144, 17541839440442407443483214204860791486002188192, 23891017675619434279777427077222610828937905382, 30937323308114149730817040674208044687255315363, 38123684928058005625802063476625661380265020352, 44737701474698474842785901130411320448675279628, 50022022900285560934499726322446906067974787492, 53314862156984780652087998696223026228014304838], [-1204353902915880264055200, -49013762837525138517720768, -1313071226370989119304335824, -26042275900989602124808713072, -407727829267232565710063025504, -5247241570730120031480451679220, -57071718981292182506350724739486, -535307099108069611339353890507178, -4396464337182078785648755108471656, -31994723544813013875863245391425632, -208266856556529473260394225694191820, -1221854225684732982541214874350874228, -6500326185866664458914436234134377384, -31514247408185208978038631004399885620, -139773100568737675024289770222623689130, -568796094802073797092365130653664789150, -2127932491728286563762896482838293337040, -7325094773302704405975135078092657759520, -23191541155272419360550677772335829729000, -67375608063047360158055556384752239312920, -178666912115453256599735447404646994997200, -427904818329623392719297735182088956219940, -905543168112533438263947924983672401680270, -1608141735577096975608457538010835697016666, -2025137368692077900195613297109454153242680, 0, 10914989276321387528295234038449058718583116, 46824359715691607497507019741153264480913588, 143108497326535316921959489580119374790570824, 369643678561129897630221626529679608915070908, 851734775140344944335108746187208822806970790, 1794109442162854996899034704555552391400178642, 3501057407508823672396588657306749981142965216, 6381059983342331708694456585938825392235998272, 10921315536960097286262465036012831606939561264, 17619491834812039040504905397006542879419813840, 26869320047636958651467505219637475490958876896, 38813256313692911245717076534496689114261833338, 53195273248628583447644767770888698330809373175, 69261912427218424925272599871648393370714693085, 85760840691662512636956207915607863200527163700, 101067542265191509994996049648294725777746013520, 113434474271694032610536912200253389227754162710, 121314153575655179432407492788630885789619583370], [-2773454987857712836652832, -113200367707322430435001200, -3041678247426127186850079360, -60511959621787949259919999152, -950436374923691694894429426732, -12272696498106496951019213092974, -133957442436267391176976052623320, -1261200890296795180573694590228398, -10400158585550703257843848840779576, -76017895486774550521848376864198356, -497206972123825742427473410899124032, -2932484422323295264651789644324168420, -15693634854255251020364032066443833892, -76596691015263844262212057103644564770, -342355844939813511254886417254773321560, -1405813014682239841611183104345876707410, -5316122499334369759141169423285254304400, -18541124692240811286125568196558674311160, -59672242682929021580138620299310113969600, -177080665176036823071327157740865036212120, -483291019710550089634756021354853836491660, -1206406074790086351969932658585073973455950, -2724764097601871150968524819429089772225144, -5446699164636094503253541654413946459338926, -9150220500729792104798371305394221304724424, -10914989276321387528295234038449058718583116, 0, 52970611131069123620115385889468168671225860, 215958228632222929566564569522423440122489084, 627822142714585394723099539210041590035365534, 1543750883951936532513080568466689616336976328, 3388721178384422385380440968862741167130134990, 6804569408158607429855117588343723977365768416, 12665551792204900134905574891923003059304775312, 22030069968083981579875592434144114362326189952, 35999371271075754531813686439201774692093830224, 55473320385554757134409227498349502846711610790, 80829253209457973239820932530325578710132943759, 111593978494271021119934309322488174966981553900, 146213829659169659496113125417260315538692205935, 182032738812187524786425619829383009523686899580, 215550020006245067717909152569670133170428471450, 242951219562775982947015443697261563155319723360, 260810657685259638992756937107357807042934158370], [-6058196770559221541070576, -247937312276590363069740240, -6680482872529148747753422800, -133282549205420399639762616324, -2099611135460124984024901349862, -27195463707175570683581889898362, -297805883529682145219487304815162, -2813484573198968891677307021543850, -23286027141500603879974009303835892, -170879077188228630469525452725753196, -1122473914910420642071331827768699356, -6651529436440495084065606605846182968, -35783094276444047654103147634090140090, -175674057579751522403197982232411043590, -790429289699716087485965350767888864150, -3270683671794080892398059249388166690030, -12479549847736420748007487023862608482040, -43993018457041291059537019647965302273800, -143444736952357652006582425073975353765800, -432696543945968140185805404857463826145340, -1206223927341457464758236919104867911678630, -3098783032804429878449803939956898332179706, -7294433789194086584832108645693300339729690, -15561579584926615258103728523287688549959482, -29425660787531387531879755038672997004832492, -46824359715691607497507019741153264480913588, -52970611131069123620115385889468168671225860, 0, 231934987706359888457055712915101405017005158, 899420820953006680121390996059063294046209434, 2489096402744168549887275296698739259211054314, 5830550417608109035654798243536174720377408754, 12200529254899919811116718608259902343314355600, 23367237407694068474327419669565036441674683504, 41506888763096749926782584547737803282675377712, 68928759056465244551179379480884267207121940042, 107582673103261518845211923531519313963278948811, 158396315469942425671288370653004338340293926405, 220582483447020346699012036859094362245337727525, 291132731832491747424154107209582075755495523445, 364730226170919938826979507547070427543268787690, 434240711290602760944006578753030292075175113990, 491780661892393355854429656793398847170048474750, 530163266603264709123932648637340983369447505140], [-12565148857456163196294528, -515533002604362142753038048, -13926384777163121758530425676, -278581598409893393118814339350, -4400551871959774587571542684384, -57161475004454884630816754112204, -627825338155100656963157968401804, -5950052241446870318576846201141538, -49411581736983733136234573171972640, -363900824106450439252031705422393272, -2399693687019279726813852285485754540, -14280284663912202954299002166995734030, -77181221132859296413293701847349464000, -380875726669455100306945881664336448100, -1723681097161844302297480152109034509740, -7179538405276474663626119622605418927450, -27603262086181201307238268279644800942400, -98178701899600235457783762051004919586000, -323550559625021620157907271403339383309500, -988750935955366837475867178348767557931550, -2801649800351664944245805294915979578753184, -7351354716635123409739492096952620090139244, -17808629735248056199404881895317137440005628, -39595217295029013938085212091779417210973210, -79902209036753035853201586427078543620281952, -143108497326535316921959489580119374790570824, -215958228632222929566564569522423440122489084, -231934987706359888457055712915101405017005158, 0, 917933918941703966515743760756759849628520828, 3388517223697175230008666292757802553257263748, 8933176913787680667830187006005330708922636798, 19946879250367766597559369664707371335099433856, 39810634693651347949696610760043802216388202080, 72762683693211796635949612181734552906494643014, 123396261127594037500514134490265176821984405995, 195721012934908341074788339865637461974178170800, 291867357120465334899093334270186679134177558230, 410698249271951553372250250881965959113904415750, 546751492453928945073267361365249335955040008225, 689980286914232367583034169850825367076742398480, 826626042987391780015419450584714626489002861180, 941248794162730975283911109229145231727738192910, 1019546394127285043798617419629652424501062202275], [-24768398266252874687626656, -1018600378699649471528646228, -27582003871577839026431881758, -553106702704162804275222779466, -8759281049697626531549095758420, -114080906072279895885968625030696, -1256460276344937335404657781384082, -11942450329476927034667721932580510, -99480617454908917055384321829974568, -735052434196147003274659423805193372, -4864321259734813572194702364437507142, -29057674503921585228901278350385423282, -157704914574335985083696057477862136284, -781826906059249262101522283365135518960, -3556336931589216103390410460933432854330, -14898372012290772687870888205438200679110, -57656211412674373667231296836199832267760, -206626944555176337136896021446135963480820, -687013705582605792033547997658512088138150, -2121859929989251213723123906935226278765186, -6090782364150474017337779531509105068505332, -16244015804928646761238903600470152914635288, -40191296432207949164127631767218948540288682, -91958717836935492028884940615492296083157798, -193395239076647729578407887211214895205221976, -369643678561129897630221626529679608915070908, -627822142714585394723099539210041590035365534, -899420820953006680121390996059063294046209434, -917933918941703966515743760756759849628520828, 0, 3289191254581081189562133145227155448281068542, 11566328715288117006512999115989409614899531074, 29065919516719693265549632283300522640653920800, 61901283053873799332364802020466048111680927066, 117895337772520664915956098260040196093735740879, 205721189190309022994282041273767687690511689189, 333211632625714831743964786397795617607646130554, 504957474474953704813565150055961045247574607908, 719665648367689769727966742208498154230578606425, 968061379803629844771766925007412002266858845455, 1232226699715154438285891467843092781871521756020, 1487041792880597624497830000143978563861108067190, 1703831227338976856073715178506321126670036727375, 1855573868949452669322725973064699364062417841085], [-46440746749224140039299980, -1914062413746053117195512206, -51945721940890281969705386328, -1044072151463057663062390388706, -16573696199280033336726437838084, -216387135159611631923398530644550, -2389354013708860817540386074024432, -22771558070704746655483939977524346, -190225909424181318090412857470893116, -1409800152384514908099129263305249566, -9359652737341662309939451528485661320, -56105284696573655193050879107888910706, -305647913164358972470724094464495676468, -1521505497871272138771325774795517893590, -6952451065600123043630173818762881139360, -29273328456166909704737363506626570957450, -113934802447782640275276719182647018753180, -410981619376872183054868693122742061561190, -1376789479120992245966206380469138246216344, -4289987788709045261098343387068157237372682, -12445245515936549863248130764446392079594100, -33623158367541662354914142161219828176118590, -84553180623363617793912807921225867301249680, -197584591704003938420712305422066943858085954, -427604259013683213874457939077103721821175276, -851734775140344944335108746187208822806970790, -1543750883951936532513080568466689616336976328, -2489096402744168549887275296698739259211054314, -3388517223697175230008666292757802553257263748, -3289191254581081189562133145227155448281068542, 0, 10686820754813056223469643684912747053615892254, 35821085514493354038106480610145931070318825862, 85855030399501785846199111920072331042048172247, 174480319085725781016986883342276944804749145292, 317255270310682302660983211650571697357522780065, 528727671557757083150012757902634306296830745442, 818211623284234374691718727872564666507330322051, 1185009333569602360984525017351779655044648771160, 1614456682684608042111140402374882770483901916925, 2076410637031369717428482731724844437221096771350, 2527442051893949164332647566883570291680064083515, 2917019928567417330006413510984385284574937304820, 3196641863589425693207557436109212272818394211565], [-82889696470584904494386934, -3423328735640000846907650130, -93100543159719442283516166198, -1875279977925599385134953238406, -29834338701678827336625270529638, -390412575723196628218944768685218, -4321240565568416251373730982256550, -41286099111208889877036444468153492, -345796013090117339620729643455008966, -2569881086542962061627703740686281610, -17111891942988878037800954564674714854, -102900268979109057244600604308904284770, -562492989856011839715310245558043485654, -2810484774072474308230478726415759285690, -12894729829894516799089309479203942937270, -54538037258070291029049326321865261621420, -213335939313552583103691314669529297991950, -773909086955389090296335824896276320706426, -2609420254403550786114777750655210546897614, -8191885423034141044396024206850974798665598, -23974739648845013379957143949079880565072510, -65458511226446480875807868941345168848429450, -166747417092825637401148888714862634970392126, -396024955213252363180715610183132974265869424, -875309875062899171146148524614833596794547182, -1794109442162854996899034704555552391400178642, -3388721178384422385380440968862741167130134990, -5830550417608109035654798243536174720377408754, -8933176913787680667830187006005330708922636798, -11566328715288117006512999115989409614899531074, -10686820754813056223469643684912747053615892254, 0, 31526398855484799800886346324092677590006190979, 100784863899975148109052146322812224880225199597, 230504837373997346266506188177474359291773108915, 447217822281273039427424402339602073273497380453, 776632486288062629918200914385622711414204630715, 1236587273331758603342114660149216965909373702773, 1828831455439497224073418016521282270844810449035, 2531935073628305970891979900611686240772599669865, 3298118604210279506088524348644173777102138647535, 4056280248727248311517384160805505487939663362225, 4721895460967362292556189738335639028217112579295, 5212196578767605011996288091845623924183873632865], [-140928212595150046350988032, -5831533939930561516193339592, -158905996858125102487057152600, -3207222097674170196689108688132, -51130436068385602843495948943520, -670528458520330845408299923374504, -7438200129061562315109055955110908, -71231351721121593854240071420538550, -598059457105687244450280504160417152, -4456069403717078597110332753407256624, -29752179629651037539306272013778570672, -179431226328591257418953837189941087656, -983902795272943676779498914133866911040, -4932640676460834378221049149627154167280, -22714531324459513216341827368724355645900, -96458357496583378393048912580643081628710, -379001226486831773571683686329335535959424, -1381754080533126110570923480377531756009480, -4685215443711522627180818474263125181180728, -14803482943914067447326911395369471069023732, -43648721836122634380661879171592542145989920, -120224592299887827123857541480360521654931624, -309493166226342864285150891465010996311277620, -744567747665443353365793656263204250649451698, -1672524696802296359292848936192135781641913600, -3501057407508823672396588657306749981142965216, -6804569408158607429855117588343723977365768416, -12200529254899919811116718608259902343314355600, -19946879250367766597559369664707371335099433856, -29065919516719693265549632283300522640653920800, -35821085514493354038106480610145931070318825862, -31526398855484799800886346324092677590006190979, 0, 84545695957473056198534070961414537877300347584, 257906984115482103097777321771751092045651486848, 563118020073903318256555560799382739794419240704, 1043436592006771771848678031757252140869523807872, 1731180469165859349832426520895552539487299208480, 2634273967923823105187875912650856995401419781520, 3724147976589001664692260006058633357565614717320, 4929574702755084221687645533097526503381509034880, 6140345146056106859667951682246934840843110856880, 7222206944378357778750276588415028308148883606000, 8040809800535712749741119023498200930069487211080], [-228379201660890476899145784, -9467355996124187042364588864, -258457453282091924192276974788, -5226364336356656997169685970060, -83482375099119433632447558436152, -1096993786757087509393815184372284, -12194337511347893776255579596631134, -117031310647979093917058619371472498, -984825016743605477901114959666974800, -7355308525488310710030214061281432032, -49233495385952011087039677425446345320, -297715382152179026903819119233399791160, -1637181336788824737092830314629985182160, -8233020839562015667880670779005769924100, -38039008756333779001052697550895380521630, -162122000635945789955399119841087254585506, -639551835076459779556712245061851285625976, -2342001220270761827510676379351728869186592, -7980606044458084438682836688075864050626420, -25357203640300223472459978828495431988541788, -75247235762573213478579166154666779856775096, -208803420007306150846584532549116977598002436, -542242032442055887988037866008005991949799882, -1318256449953450814536576255687417666759273030, -2999488980918151549182152364830566980437030688, -6381059983342331708694456585938825392235998272, -12665551792204900134905574891923003059304775312, -23367237407694068474327419669565036441674683504, -39810634693651347949696610760043802216388202080, -61901283053873799332364802020466048111680927066, -85855030399501785846199111920072331042048172247, -100784863899975148109052146322812224880225199597, -84545695957473056198534070961414537877300347584, 0, 206333036029480056534601295628363057928784775744, 600876852713914247520989844385527355461030262560, 1252977190382409073286039963873245715379970393440, 2218113089490671709829837641544249765834885622160, 3516929345357706477395074193926498598118372419400, 5115567940272142641324960593502962944834561503720, 6914459735993678832381370794659290891898397585360, 8751961178090128307833915532336836839031367144160, 10425559274079143499983316886519720242818867413320, 11727713164597733958834980663135085881340911590200], [-352949675294103464298679848, -14656389576859038848568153084, -400814742764613188964889436544, -8119474484708253766082585094108, -129932333196954517795541616429228, -1710586645262246472724365469579494, -19052237227347308097040734937211400, -183218679292925991698235848140949646, -1545058816879703531425666572739261968, -11565104135380154522569612679206113720, -77593174670188179083562281374783726656, -470368285878035546117294733992698599096, -2593443757711454201980573230709405223532, -13078665328210370126086033214599613029470, -60611106430511892611664678144167594412024, -259176195839136165783569982262700473993398, -1026102619403047170716296464878833898850312, -3772429411792222871770159568597739479447148, -12911529410076450197800485320386825895904192, -41226867154619821249720310916842695422238476, -123023613700328558562730324074152404962491748, -343562282179558262174965542290571594276560562, -898825181981563222937055479191473054264841848, -2204292321292381096463399527032862128923858442, -5068273132841264715449951868420175869808561056, -10921315536960097286262465036012831606939561264, -22030069968083981579875592434144114362326189952, -41506888763096749926782584547737803282675377712, -72762683693211796635949612181734552906494643014, -117895337772520664915956098260040196093735740879, -174480319085725781016986883342276944804749145292, -230504837373997346266506188177474359291773108915, -257906984115482103097777321771751092045651486848, -206333036029480056534601295628363057928784775744, 0, 458693205736103604325204268537777843194685669952, 1275717230888216589523971289059635342332079074512, 2541442455709781334300978544643223328384987756584, 4299510355867275133664168931498619226325575136480, 6516363770564200624834916872154115656768902684200, 9062101015022888991173044686759031593739384301520, 11712593319738096117106397020252877822055413401560, 14177713645327810952881652983843222427592886493760, 16152232290424307840330979312854147555187823452120], [-520446460787410116275080380, -21646659637472144971507440948, -592954435603306635136038834084, -12031923894622962251710534202160, -192873513864670241789789333497998, -2543727217978817126279848553936130, -28383571858997826989719980774551226, -273473956547473470045889186841541318, -2310737127954268708201633874207387640, -17332202517588660643304831205281864424, -116539142908275918915628150250373112200, -708080804876730988217180843981299961388, -3913620239033210054289796064376233693814, -19787572746744946814404846073821495031946, -91958143766338459870212437808105978203778, -394400401381091077718295685870727399647350, -1566568158113980369287632049517260706931820, -5780005881336780869058958374680808135969540, -19860545987039341526788485101903473777973172, -63692690398165785153055633419727072009555176, -190995616341218285465825247353480570819613450, -536350104610874004028559382395459017673187270, -1412139402070351922264095249772404892586796590, -3488796836936926897387160048005859181865848066, -8091781492034884620498517794216272927387861040, -17619491834812039040504905397006542879419813840, -35999371271075754531813686439201774692093830224, -68928759056465244551179379480884267207121940042, -123396261127594037500514134490265176821984405995, -205721189190309022994282041273767687690511689189, -317255270310682302660983211650571697357522780065, -447217822281273039427424402339602073273497380453, -563118020073903318256555560799382739794419240704, -600876852713914247520989844385527355461030262560, -458693205736103604325204268537777843194685669952, 0, 929647824163299448814899060774272152829868259016, 2470092690300872993751479201486375599169963629848, 4702535043365073344361958659060962040039733050840, 7604524522950438007168598766482314616369040230880, 11019119574090481346362698167816152573065536765400, 14652967360562513331474213634735033061727863050920, 18111368842920799089053968414633334752889510717160, 20966815894505174370868470945124686253463678891580], [-732538176386490028321015392, -30514597753535519448970502280, -837168263287436864193093243252, -17014360630750915005941903695170, -273186533821485996511291137115008, -3608969547473971910758296344910564, -40339333214126890096185927597825180, -389361644063455861656351559430631954, -3296049974817169813466281992781646400, -24770690534470921063471134660319519824, -166892776967089971757216731493167529212, -1016192849449674441150769372071713833950, -5629278816580795111762918868321094521376, -28530452976459407134962355714466898815796, -132928862201290725694522444312066776035412, -571691425740591254375653859196645575982030, -2277533904444757026903419635223539150831200, -8430389827741529523791096290564790152512168, -29070154221406000498961054597556664654364172, -93592430598707482337424192402093982739036814, -281876870198059369640363025474945803778703680, -795425828098026990427325949281424489597033900, -2105847562304027735544409401279740232325097124, -5235702794175324214583917435517078227012871166, -12233155874100459530210022563675915208357942144, -26869320047636958651467505219637475490958876896, -55473320385554757134409227498349502846711610790, -107582673103261518845211923531519313963278948811, -195721012934908341074788339865637461974178170800, -333211632625714831743964786397795617607646130554, -528727671557757083150012757902634306296830745442, -776632486288062629918200914385622711414204630715, -1043436592006771771848678031757252140869523807872, -1252977190382409073286039963873245715379970393440, -1275717230888216589523971289059635342332079074512, -929647824163299448814899060774272152829868259016, 0, 1719001304163427742444782209980510327559094413264, 4364744879614565049516105206696438281282710019440, 7942808515985869057892653276424981003959981760040, 12279988226813845909911588498482311784341684121280, 17014664705975520350379153229196498567690038652400, 21637111826383663480350901396673369050855093722300, 25576958576475563822591895052691172044324282281630], [-984543831083551768833159576, -41071443331823301491729237988, -1128453863004895153659365088810, -22968821038976664375373932639150, -369360056282229426060349612074396, -4887192872271412585278669553332192, -54715632639053520412254117811571586, -529012887394109892711053409895971510, -4486055677109866612536579192148763760, -33775215178915871221675877800792498548, -227993535546219776838661034519312842086, -1390999892486526202300204483903268109474, -7721765700488369917589412071829273725100, -39222860312074275457856406860174063155512, -183180205801145565287952731305309923729678, -789807174916419705442883217798788932866810, -3155057239629972446341509644569665590675832, -11713038400800189416725739886649427066891820, -40519293829713165831357232937747539872251334, -130912560727695208570524763515997445393926626, -395808171593257816072854971114283472185475860, -1121760371116398798542521892917115262830639376, -2984236298084678762791600088130766834860809070, -7460540540600233262112740719560748203480520602, -17541839440442407443483214204860791486002188192, -38813256313692911245717076534496689114261833338, -80829253209457973239820932530325578710132943759, -158396315469942425671288370653004338340293926405, -291867357120465334899093334270186679134177558230, -504957474474953704813565150055961045247574607908, -818211623284234374691718727872564666507330322051, -1236587273331758603342114660149216965909373702773, -1731180469165859349832426520895552539487299208480, -2218113089490671709829837641544249765834885622160, -2541442455709781334300978544643223328384987756584, -2470092690300872993751479201486375599169963629848, -1719001304163427742444782209980510327559094413264, 0, 2901812063844547872493460058570952236861819302280, 7042773044254094191288759757150982989129591789640, 12252881980816438172612879654505228927863527010640, 18113750820532467574690590867230418606893144946900, 24000863912586662642039467896524908896734099181350, 29189232587783763352010474855849715250196435569410], [-1263941404769424568096623780, -52799164599877059798095356530, -1452701886345888387612958847160, -29610739354601478016320349584150, -476861862747037301156400810050340, -6319034599907120050033599885371550, -70854950290086113622449333191675200, -686142306053358082537991670303295050, -5828093209617649644663037379883505500, -43954363109357057592555230478290854950, -297235374751306515221226305188795202904, -1816835726608218107201277549310122157554, -10105490765481082732995661286625953188188, -51437494421390054174709966883936605445050, -240753853735315044776256542547239289617232, -1040476819549070218303562486971824409498878, -4166843617025239913632216348080154177681788, -15511060615568525761724650104437445356732046, -53814926655813879955728349784629435617607080, -174423383635994443808129162683155249682905834, -529205694780826399349128906913884621941532284, -1505619654557996072860124020111564855399595394, -4022671496006449688252699664047684137596517728, -10105294644475063718331796620332250310793134230, -23891017675619434279777427077222610828937905382, -53195273248628583447644767770888698330809373175, -111593978494271021119934309322488174966981553900, -220582483447020346699012036859094362245337727525, -410698249271951553372250250881965959113904415750, -719665648367689769727966742208498154230578606425, -1185009333569602360984525017351779655044648771160, -1828831455439497224073418016521282270844810449035, -2634273967923823105187875912650856995401419781520, -3516929345357706477395074193926498598118372419400, -4299510355867275133664168931498619226325575136480, -4702535043365073344361958659060962040039733050840, -4364744879614565049516105206696438281282710019440, -2901812063844547872493460058570952236861819302280, 0, 4474328891848173056846105513727925940254644297480, 10381911056226017831121235064637160220525207638620, 17270860036059828176633078059795741162985107531270, 24415921663897530997276883778402340587846970258840, 30939097816613319981478419559635210001712055410450], [-1550315805208196630059466010, -64846359632499623877835320030, -1786528915473638060326164308130, -36464404650319489056011792586810, -588046829172475096720767454787790, -7803412909641834709145612987761290, -87626576331716483511503333149182390, -849828525465549448688735634929405280, -7229652386598638640637974865305942750, -54612507728635019326123470634409016786, -369929198545728611007244805738051728662, -2265136759292626281507587165801998105578, -12622166624585709633268296113655518456202, -64371881706068201726792741935257167867718, -301910067306328191929432046547899100293090, -1307614130709532738065526451017704109407684, -5248801937883546175082910294183795130793766, -19587215839100063107919505205028285163997074, -68139033409799905654050837845865868493941086, -221491630137484844382927281024855071291107582, -674140553222110928626122358049190259808699922, -1924636779428073909301409286130641491577929478, -5161964972440302210958224344605664452860811242, -13022894767652427569651157835597536182066964438, -30937323308114149730817040674208044687255315363, -69261912427218424925272599871648393370714693085, -146213829659169659496113125417260315538692205935, -291132731832491747424154107209582075755495523445, -546751492453928945073267361365249335955040008225, -968061379803629844771766925007412002266858845455, -1614456682684608042111140402374882770483901916925, -2531935073628305970891979900611686240772599669865, -3724147976589001664692260006058633357565614717320, -5115567940272142641324960593502962944834561503720, -6516363770564200624834916872154115656768902684200, -7604524522950438007168598766482314616369040230880, -7942808515985869057892653276424981003959981760040, -7042773044254094191288759757150982989129591789640, -4474328891848173056846105513727925940254644297480, 0, 6304348789026590307599608197544438412557917826910, 13987100896147914319867978933881045124117001890690, 22250998683757106012571523192739414145218479340310, 30082987684687172395090244090766010250137757102690], [-1817219991452831214721718400, -76104539328094064470959035760, -2099334654797171727633875135280, -42904013501563870777565649990120, -692803349767235852789980660470720, -9205890089160546468037792772125200, -103518021248263655474710721215310820, -1005375434514979221291032242693220610, -8565476570754888690526060757981447424, -64801692393650608897632866826191701752, -439641730459001243986625211558149709000, -2696436074925642414924757799480728040940, -15051444958799567039290276986753838994400, -76900055714601835673985246873756631519992, -361357313390261003324485169286052714360476, -1568253126662275503735481617914032945575750, -6308547471495249315052604892730793084021760, -23595972531704097897439134871794103133149440, -82286759219733381756958091461896645403357632, -268191044346719469339322175572240989897926496, -818630872341995373695414684281536263906716800, -2344506475180981626232982552614746289986374880, -6309824127382685477642273740444671140593010670, -15979714211702674155018206566603328887246232679, -38123684928058005625802063476625661380265020352, -85760840691662512636956207915607863200527163700, -182032738812187524786425619829383009523686899580, -364730226170919938826979507547070427543268787690, -689980286914232367583034169850825367076742398480, -1232226699715154438285891467843092781871521756020, -2076410637031369717428482731724844437221096771350, -3298118604210279506088524348644173777102138647535, -4929574702755084221687645533097526503381509034880, -6914459735993678832381370794659290891898397585360, -9062101015022888991173044686759031593739384301520, -11019119574090481346362698167816152573065536765400, -12279988226813845909911588498482311784341684121280, -12252881980816438172612879654505228927863527010640, -10381911056226017831121235064637160220525207638620, -6304348789026590307599608197544438412557917826910, 0, 8119953220243896760164060439751527996884110709800, 17227505522698341578466546741032464726669941827800, 26209147112480032088506668333896761211612297754180], [-2035920304377677762074855440, -85364197241201522130455690400, -2357584426880080462242316330920, -48240705016954653972477854697720, -779950518261952984041744925239600, -10377123169068580043941767082056780, -116841130679978109587444549026275450, -1136300117484150704268103803491145006, -9694374775746889251774720351173764104, -73447828907669724874257557393114812608, -499044584720604975376054052722540429260, -3065524856287662854410213837814783718900, -17139454336321238352622330996575781714728, -87716878263442751854965669758285084509932, -412923013504454133685429113972168238376574, -1795424634289325677502292493064140858232490, -7236824889396558693263315609717536632096000, -27125637129284262328273838197313402434662528, -94811083555963415541357644656615391863066272, -309765956558863447783309317721766331392637504, -948030417881149570445072030425663930670332320, -2722879322130796209353931483681534471266785650, -7351087517355478999173456269198164137496834251, -18680804352166268415127507549553257294036226409, -44737701474698474842785901130411320448675279628, -101067542265191509994996049648294725777746013520, -215550020006245067717909152569670133170428471450, -434240711290602760944006578753030292075175113990, -826626042987391780015419450584714626489002861180, -1487041792880597624497830000143978563861108067190, -2527442051893949164332647566883570291680064083515, -4056280248727248311517384160805505487939663362225, -6140345146056106859667951682246934840843110856880, -8751961178090128307833915532336836839031367144160, -11712593319738096117106397020252877822055413401560, -14652967360562513331474213634735033061727863050920, -17014664705975520350379153229196498567690038652400, -18113750820532467574690590867230418606893144946900, -17270860036059828176633078059795741162985107531270, -13987100896147914319867978933881045124117001890690, -8119953220243896760164060439751527996884110709800, 0, 9562579281882670131981690848528213392785324814820, 19402117230929760781400641458477596474193460378780], [-2180375847038621638763093520, -91523871864978332122365092280, -2530590253277247449809140715200, -51840989139921600380801204332440, -839154892484033958559183357222980, -11178390925030245333052192575775290, -126019760521985086658127063883234344, -1227132782710413002733880914437958570, -10483126506246432377410373380510160568, -79531924441885579531239414797543677812, -541146312777272681963186219462975299200, -3329024259610946391332812471070208073572, -18641152182837305284786398057604716655980, -95554862355005920284860934674552939295894, -450574492245416184434735815671732224463336, -1962596275430442425947734355387957427744310, -7925406439458897427360317185929195233521472, -29765443215110385787044918350290298013170400, -104257301300957475190435133327436482203770624, -341397270009594902819082381213712669381092576, -1047372334934418086431943191528570412323462830, -3016091091006742556999462320726782159578364099, -8165884473891261498137931998545509575760372540, -20816016955857826063251871543693126001569161003, -50022022900285560934499726322446906067974787492, -113434474271694032610536912200253389227754162710, -242951219562775982947015443697261563155319723360, -491780661892393355854429656793398847170048474750, -941248794162730975283911109229145231727738192910, -1703831227338976856073715178506321126670036727375, -2917019928567417330006413510984385284574937304820, -4721895460967362292556189738335639028217112579295, -7222206944378357778750276588415028308148883606000, -10425559274079143499983316886519720242818867413320, -14177713645327810952881652983843222427592886493760, -18111368842920799089053968414633334752889510717160, -21637111826383663480350901396673369050855093722300, -24000863912586662642039467896524908896734099181350, -24415921663897530997276883778402340587846970258840, -22250998683757106012571523192739414145218479340310, -17227505522698341578466546741032464726669941827800, -9562579281882670131981690848528213392785324814820, 0, 10298469899161315111411396358473930092597501905260], [-2232289557682398344447929080, -93803560897596352676351349480, -2596450118855957919700805073960, -53249207538352846371422751710100, -862925655161312288533975109495490, -11508344389776930199145454260908926, -129893320653449065965554677236913806, -1266392020044317229234418941185314662, -10832067796105594655664472399897418580, -82285502262733290145059064474023608268, -560631179497642827946813956036054740508, -3453678802146826108175486075557698771408, -19367095963716169241854760027405435251326, -99425679490448303535996697991603110389570, -469566367316131660965783331000880399594754, -2048709245340098854312552770786594338949618, -8287596414462628844577832925217161865248928, -31183210489056924254695953421564844932238976, -109437437506666900370593862592470708916381600, -359109399010207238505396561208222312373768994, -1104178846619142638631059927250489462764523471, -3187338026984104082929579738800276926273032161, -8652015120418338514499890419379996631653670457, -22117734022770155409695946219057989486644565385, -53314862156984780652087998696223026228014304838, -121314153575655179432407492788630885789619583370, -260810657685259638992756937107357807042934158370, -530163266603264709123932648637340983369447505140, -1019546394127285043798617419629652424501062202275, -1855573868949452669322725973064699364062417841085, -3196641863589425693207557436109212272818394211565, -5212196578767605011996288091845623924183873632865, -8040809800535712749741119023498200930069487211080, -11727713164597733958834980663135085881340911590200, -16152232290424307840330979312854147555187823452120, -20966815894505174370868470945124686253463678891580, -25576958576475563822591895052691172044324282281630, -29189232587783763352010474855849715250196435569410, -30939097816613319981478419559635210001712055410450, -30082987684687172395090244090766010250137757102690, -26209147112480032088506668333896761211612297754180, -19402117230929760781400641458477596474193460378780, -10298469899161315111411396358473930092597501905260, 0]]