Companion to "Pfaffian Point Processes for Two Classes of Random Plane Partitions"
[[0, 58, 1653, 30856, 424270, 4582116, 40475358, 300674088, 1916797311, 10648873950, 52179482355, 227692286640, 891794789340, 3155581562280, 10142940735900, 29752626158640, 79960182801345, 197548686920970, 449972009097765, 947309492837400, 1847253511032930, 3342649210440540, 5621728217559090, 8799226775309880, 12832205713993575, 17451799771031262, 22150361247847371, 26252279997448736, 29065024282889672, 30067266499541040], [-58, 0, 32509, 910252, 15019158, 180229896, 1705747230, 13304828394, 87959698827, 502626850440, 2518845920955, 11194870759800, 44521139867820, 159582267578160, 518642369629020, 1535979325439790, 4162633045834725, 10360331136299760, 23753785532897805, 50302134069665940, 98608151707995930, 179287548559992600, 302840054850248370, 475891514764676010, 696532126155571251, 950451864453087192, 1210066031132402675, 1438249911288798608, 1596571851125629224, 1655704141908059936], [-1653, -32509, 0, 10467898, 240306528, 3340689858, 34456094046, 284575496205, 1960244716716, 11554705891365, 59332815026940, 268935241406580, 1087009648720800, 3949661122559460, 12986007024172770, 38844788066479395, 106193394147072540, 266335486283495475, 614803860851472600, 1309851602242650390, 2581740699263893440, 4717211304829544430, 8003630021042278350, 12628430287255357029, 18552447667902907836, 25402586173554038701, 32443598960418476292, 38674425664960731800, 43048307689609558336, 44755514149295864376], [-30856, -910252, -10467898, 0, 1936040986, 36683220618, 432861788733, 3864313491324, 28027158580785, 171441449350080, 905406701296440, 4195591519657440, 17264372926145940, 63666675502536750, 211958693216046315, 640834668366820620, 1768174540607369895, 4470619205459876700, 10393778257966291650, 22285079355746837280, 44174503187480437590, 81127225967856303690, 138286863713118414021, 219116427378572012940, 323147680648014127577, 444032001458276401016, 568958503202416510876, 680273133107091280064, 759325375910196957400, 791490003982649933962], [-424270, -15019158, -240306528, -1936040986, 0, 225601699521, 3597705199275, 36530825415435, 285189332605905, 1831099492574100, 10011517561238130, 47625821987074380, 200062102158887430, 750222641363022135, 2532505071686430225, 7746886090833700965, 21590350727425946235, 55065247623813136710, 129000584975204813220, 278456561646464335050, 555291733933251167580, 1025307644951629907049, 1756218398393143030059, 2795033296423150896883, 4138647502434822916385, 5707813037531162137272, 7338461778713418105214, 8801625936227443266024, 9852846897498915917838, 10297779517560461825325], [-4582116, -180229896, -3340689858, -36683220618, -225601699521, 0, 17767259567058, 242763796250898, 2148701051543571, 14813569675710120, 84852094969497870, 417262770270486630, 1797203840000998275, 6873167586758439120, 23573593170172840410, 73068040788136591890, 205917253225768721175, 530215542220640666040, 1252451797291221724470, 2723199441376479224670, 5465544709561676099451, 10149749755338397331232, 17474911174551970519898, 27941077077641778227562, 41547919488559965322303, 57522162376769897773736, 74217382130082967623078, 89305101526561852082074, 100272047234197637521989, 105092256945008184839568], [-40475358, -1705747230, -34456094046, -432861788733, -3597705199275, -17767259567058, 0, 995438877838959, 11826410940630447, 92258879807352930, 566555893643593350, 2915153032369688775, 12966101168483461845, 50800401641531852310, 177567539136503637660, 558876068220245734035, 1595093230063904996775, 4151362543605301496010, 9896444935461458487330, 21689616839493880385199, 43836546281367752725617, 81910851717778839127750, 141806396137436499050680, 227864202170269826482475, 340351867378567012618419, 473132774290414089027946, 612730325466514438473290, 739813969645199894337473, 833281256045635934300379, 875879992634773956595290], [-300674088, -13304828394, -284575496205, -3864313491324, -36530825415435, -242763796250898, -995438877838959, 0, 41229007194669891, 431042461118953230, 2991382527795817995, 16484203068192349980, 76649788726459011525, 309894510111782758470, 1109027652836913194385, 3555457412939992833000, 10299645440882308098315, 27137185638282127467150, 65366170826650654551591, 144537007515951352641444, 294378943274479379651153, 553789292813508050644870, 964485552636885692389725, 1558095296019106689463696, 2338459264937617540696439, 3264897079020555923254002, 4244924940742359229564397, 5143867857334052446212340, 5812955044624965812631147, 6128797202117052020728170], [-1916797311, -87959698827, -1960244716716, -28027158580785, -285189332605905, -2148701051543571, -11826410940630447, -41229007194669891, 0, 1300289694221459985, 12080735241331195110, 75166386004385241615, 374043946984327494105, 1579968634866005717025, 5831632726574549817195, 19132695922139417437365, 56432861025961924792470, 150862511955765189279609, 367770540908633703625680, 821463073030447182220963, 1687594323742112183427687, 3198598167939861482493425, 5607433196162615227364129, 9111467910753047944587945, 13746077082710112645987328, 19281701186393173307095435, 25175579733322492571889876, 30624377135814099633086273, 34729560209448154145341155, 36734807165079001055153895], [-10648873950, -502626850440, -11554705891365, -171441449350080, -1831099492574100, -14813569675710120, -92258879807352930, -431042461118953230, -1300289694221459985, 0, 31965646361934490485, 266066272657192827540, 1493987465878647452790, 6749827406017757906880, 26016814914135961133400, 87998945316042178014870, 265529742807057515879001, 722532876081160760716296, 1786661303415769745643707, 4037911421408112023630120, 8377796282813932005864448, 16013705206355771024468456, 28279839841236083739020746, 46247574387495004087773902, 70169200006460906633252005, 98926982165082659397220208, 129756148299425946387760405, 158491522858083030873127780, 180412556992213455478205910, 191484828577235519497189200], [-52179482355, -2518845920955, -59332815026940, -905406701296440, -10011517561238130, -84852094969497870, -566555893643593350, -2991382527795817995, -12080735241331195110, -31965646361934490485, 0, 624201613617178263870, 4686185307087272130030, 23879072749679534724120, 98405671281696562468230, 347462035866086821440579, 1080547262687714479440678, 3007098838038890176402597, 7566954403272946072432748, 17343241469326462285408932, 36401780393936531298684246, 70259085277600057856476998, 125109597316259165688436302, 206073782717182191111270243, 314639653495163586717972012, 446066342875718807279515947, 587989492138480788315923320, 721416521112918019892875190, 824518005172568925748434450, 878340165075004444359331260], [-227692286640, -11194870759800, -268935241406580, -4195591519657440, -47625821987074380, -417262770270486630, -2915153032369688775, -16484203068192349980, -75166386004385241615, -266066272657192827540, -624201613617178263870, 0, 9832924292942295994050, 66963440406475909702350, 311125030603624643669991, 1174153237466663793920868, 3810682538017865867203175, 10926952497492555730568880, 28114840836632475621440920, 65561310732508745369292672, 139526804764182872177222256, 272387891234007752986615350, 489701674431273811500683655, 813224777292816370658891820, 1250462387067669768338468031, 1783789976946409203281861708, 2364230008267617107364571650, 2914909214130460951840639840, 3346129268194817962133467170, 3578712644998239814990556730], [-891794789340, -44521139867820, -1087009648720800, -17264372926145940, -200062102158887430, -1797203840000998275, -12966101168483461845, -76649788726459011525, -374043946984327494105, -1493987465878647452790, -4686185307087272130030, -9832924292942295994050, 0, 126573354157504798346859, 785699945183935645145541, 3342084339780958642242757, 11590127093637813479049445, 34675940627490026863090400, 91911476913170372936755508, 219112178177163454287745872, 474360917570399435632742994, 938843430072416531990986995, 1706985414646532101608521925, 2861623162427804870804981349, 4435801631614829059913221081, 6371937712772246538495490282, 8496995858298231624194926610, 10532726187475936700075585150, 12149110632033753922453966980, 13049749471284291967979513505], [-3155581562280, -159582267578160, -3949661122559460, -63666675502536750, -750222641363022135, -6873167586758439120, -50800401641531852310, -309894510111782758470, -1579968634866005717025, -6749827406017757906880, -23879072749679534724120, -66963440406475909702350, -126573354157504798346859, 0, 1345855511083748373566102, 7646552725281878855144698, 29881921206254747264666955, 95510883497538814053340592, 264094050755950452858486820, 648468217893767096939816934, 1434997624167353800406306811, 2888745441412176711095221680, 5324108745961974030180942726, 9025558788967279223562633470, 14121908309664428128129292557, 20448067272169152116571755328, 27455902995754917684330979880, 34239336700730006530860029470, 39704363037001240978718778075, 42850268771815479335315945760], [-10142940735900, -518642369629020, -12986007024172770, -211958693216046315, -2532505071686430225, -23573593170172840410, -177567539136503637660, -1109027652836913194385, -5831632726574549817195, -26016814914135961133400, -98405671281696562468230, -311125030603624643669991, -785699945183935645145541, -1345855511083748373566102, 0, 11929771368474323638097747, 62257596581542100998766353, 224196314189777238073691388, 662164783072251312333687746, 1695879082071604371770655855, 3864837603374707571584827309, 7951616743548501059102096394, 14904510834620980711071428404, 25609496850618682589666414973, 40515748900012020264990797255, 59211328992890633024112204712, 80133350991445654525338031470, 100614565724337157094149242695, 117370475185916797273978929765, 127337571143848938912587128350], [-29752626158640, -1535979325439790, -38844788066479395, -640834668366820620, -7746886090833700965, -73068040788136591890, -558876068220245734035, -3555457412939992833000, -19132695922139417437365, -87998945316042178014870, -347462035866086821440579, -1174153237466663793920868, -3342084339780958642242757, -7646552725281878855144698, -11929771368474323638097747, 0, 88846891799351985561090059, 427191711735321085810038166, 1421301058988869585012435999, 3887645624885501229436465836, 9239895944673403582963705497, 19575608615502479205819409802, 37497134633560960605435502223, 65518556912345349987010308472, 105052170693948984464602030233, 155222392982904145219340848598, 212008180573871098738900838875, 268284412876936601313685681780, 315082253255488113059872171965, 343859804347227030506106252090], [-79960182801345, -4162633045834725, -106193394147072540, -1768174540607369895, -21590350727425946235, -205917253225768721175, -1595093230063904996775, -10299645440882308098315, -56432861025961924792470, -265529742807057515879001, -1080547262687714479440678, -3810682538017865867203175, -11590127093637813479049445, -29881921206254747264666955, -62257596581542100998766353, -88846891799351985561090059, 0, 559687379104283662242790885, 2485952222149375053104456090, 7658855513171084167742116467, 19438631524733020200832909951, 42944920636020468203585576675, 84698619658707690681783802155, 151225234458758239161352711895, 246554076575604673756477075864, 369187108861325837963736024477, 509780068466861532309183514300, 651009639635059003895661930095, 770522457409629507188319199185, 846543546757897591060498861275], [-197548686920970, -10360331136299760, -266335486283495475, -4470619205459876700, -55065247623813136710, -530215542220640666040, -4151362543605301496010, -27137185638282127467150, -150862511955765189279609, -722532876081160760716296, -3007098838038890176402597, -10926952497492555730568880, -34675940627490026863090400, -95510883497538814053340592, -224196314189777238073691388, -427191711735321085810038166, -559687379104283662242790885, 0, 2999531596405857340125756493, 12335530957274845314341960732, 35260111446356291762804529174, 83178006129713411930225768920, 171053392023629972079142814650, 314430869712554915446159037466, 523795103758138013662169020019, 797466017353019210337700311368, 1115847963687372351044144475555, 1440526690347565404314749055800, 1720507252603377154191080462580, 1904878276192535653792549569600], [-449972009097765, -23753785532897805, -614803860851472600, -10393778257966291650, -129000584975204813220, -1252451797291221724470, -9896444935461458487330, -65366170826650654551591, -367770540908633703625680, -1786661303415769745643707, -7566954403272946072432748, -28114840836632475621440920, -91911476913170372936755508, -264094050755950452858486820, -662164783072251312333687746, -1421301058988869585012435999, -2485952222149375053104456090, -2999531596405857340125756493, 0, 13744607811091673540724378994, 52438293736372411599609979556, 139302155172280881513075692230, 305860383538168255101352398134, 586194388023142727619649592965, 1005292135995441015322494164348, 1563732644965073939143885272637, 2224564456722577307863985300540, 2909999848487171807491476934820, 3513312825964076843068375142100, 3925033989478000189928218250400], [-947309492837400, -50302134069665940, -1309851602242650390, -22285079355746837280, -278456561646464335050, -2723199441376479224670, -21689616839493880385199, -144537007515951352641444, -821463073030447182220963, -4037911421408112023630120, -17343241469326462285408932, -65561310732508745369292672, -219112178177163454287745872, -648468217893767096939816934, -1695879082071604371770655855, -3887645624885501229436465836, -7658855513171084167742116467, -12335530957274845314341960732, -13744607811091673540724378994, 0, 54081756839070451694270517114, 191740448908653293112685671786, 474055984491256547708169556701, 969971143579980376612552894812, 1734224100605072766385510938585, 2776915935572668480958474999808, 4035892000804665742756258565000, 5367274004710141881298074666400, 6565798282412448119784852164700, 7414510917018850883012874524250], [-1847253511032930, -98608151707995930, -2581740699263893440, -44174503187480437590, -555291733933251167580, -5465544709561676099451, -43836546281367752725617, -294378943274479379651153, -1687594323742112183427687, -8377796282813932005864448, -36401780393936531298684246, -139526804764182872177222256, -474360917570399435632742994, -1434997624167353800406306811, -3864837603374707571584827309, -9239895944673403582963705497, -19438631524733020200832909951, -35260111446356291762804529174, -52438293736372411599609979556, -54081756839070451694270517114, 0, 183407550092226732148629787713, 605139006007614371323034870187, 1394137023972649448289450810003, 2660941433098238287409164687557, 4441842984640356738513287417452, 6645132530010418377641178169230, 9027970698053215388886720712580, 11227151976706846272208875314010, 12845626502104530778585263382125], [-3342649210440540, -179287548559992600, -4717211304829544430, -81127225967856303690, -1025307644951629907049, -10149749755338397331232, -81910851717778839127750, -553789292813508050644870, -3198598167939861482493425, -16013705206355771024468456, -70259085277600057856476998, -272387891234007752986615350, -938843430072416531990986995, -2888745441412176711095221680, -7951616743548501059102096394, -19575608615502479205819409802, -42944920636020468203585576675, -83178006129713411930225768920, -139302155172280881513075692230, -191740448908653293112685671786, -183407550092226732148629787713, 0, 537786802688790165470261480010, 1653312916434483730737565612890, 3552879479471431711425085967831, 6330936625019460896817471647768, 9873167910119379052497609062050, 13806572176150622097605081231890, 17539538383384926260327870959545, 20400056249902837709842889924208], [-5621728217559090, -302840054850248370, -8003630021042278350, -138286863713118414021, -1756218398393143030059, -17474911174551970519898, -141806396137436499050680, -964485552636885692389725, -5607433196162615227364129, -28279839841236083739020746, -125109597316259165688436302, -489701674431273811500683655, -1706985414646532101608521925, -5324108745961974030180942726, -14904510834620980711071428404, -37497134633560960605435502223, -84698619658707690681783802155, -171053392023629972079142814650, -305860383538168255101352398134, -474055984491256547708169556701, -605139006007614371323034870187, -537786802688790165470261480010, 0, 1367106761463906246460829697979, 3920112125985732937866753069671, 7864283148769122541337050741422, 13091407764144941543949177201010, 19082892206747801622481037515925, 24951747897077103534138640073127, 29644887104293752592370959340178], [-8799226775309880, -475891514764676010, -12628430287255357029, -219116427378572012940, -2795033296423150896883, -27941077077641778227562, -227864202170269826482475, -1558095296019106689463696, -9111467910753047944587945, -46247574387495004087773902, -206073782717182191111270243, -813224777292816370658891820, -2861623162427804870804981349, -9025558788967279223562633470, -25609496850618682589666414973, -65518556912345349987010308472, -151225234458758239161352711895, -314430869712554915446159037466, -586194388023142727619649592965, -969971143579980376612552894812, -1394137023972649448289450810003, -1653312916434483730737565612890, -1367106761463906246460829697979, 0, 3019817610104134236913427938327, 8083342053540108050174495873738, 15148568567032574387653927798305, 23569457807496977063500526004148, 32123104388324799686885972092455, 39280275203487121919285998305786], [-12832205713993575, -696532126155571251, -18552447667902907836, -323147680648014127577, -4138647502434822916385, -41547919488559965322303, -340351867378567012618419, -2338459264937617540696439, -13746077082710112645987328, -70169200006460906633252005, -314639653495163586717972012, -1250462387067669768338468031, -4435801631614829059913221081, -14121908309664428128129292557, -40515748900012020264990797255, -105052170693948984464602030233, -246554076575604673756477075864, -523795103758138013662169020019, -1005292135995441015322494164348, -1734224100605072766385510938585, -2660941433098238287409164687557, -3552879479471431711425085967831, -3920112125985732937866753069671, -3019817610104134236913427938327, 0, 5807122345881489697632300144127, 14520200730636430797190206527192, 25432355297764481913757746215237, 36996294645307648160572493983959, 47153175202139948230490923847895], [-17451799771031262, -950451864453087192, -25402586173554038701, -444032001458276401016, -5707813037531162137272, -57522162376769897773736, -473132774290414089027946, -3264897079020555923254002, -19281701186393173307095435, -98926982165082659397220208, -446066342875718807279515947, -1783789976946409203281861708, -6371937712772246538495490282, -20448067272169152116571755328, -59211328992890633024112204712, -155222392982904145219340848598, -369187108861325837963736024477, -797466017353019210337700311368, -1563732644965073939143885272637, -2776915935572668480958474999808, -4441842984640356738513287417452, -6330936625019460896817471647768, -7864283148769122541337050741422, -8083342053540108050174495873738, -5807122345881489697632300144127, 0, 9736455936420670720840396898573, 22752513425193441523021216328236, 37258165298126321747690382276210, 50683112786780195150688671580784], [-22150361247847371, -1210066031132402675, -32443598960418476292, -568958503202416510876, -7338461778713418105214, -74217382130082967623078, -612730325466514438473290, -4244924940742359229564397, -25175579733322492571889876, -129756148299425946387760405, -587989492138480788315923320, -2364230008267617107364571650, -8496995858298231624194926610, -27455902995754917684330979880, -80133350991445654525338031470, -212008180573871098738900838875, -509780068466861532309183514300, -1115847963687372351044144475555, -2224564456722577307863985300540, -4035892000804665742756258565000, -6645132530010418377641178169230, -9873167910119379052497609062050, -13091407764144941543949177201010, -15148568567032574387653927798305, -14520200730636430797190206527192, -9736455936420670720840396898573, 0, 14249822674655350429543517342546, 31131594846329441276167942402838, 47670505876090001566563587193732], [-26252279997448736, -1438249911288798608, -38674425664960731800, -680273133107091280064, -8801625936227443266024, -89305101526561852082074, -739813969645199894337473, -5143867857334052446212340, -30624377135814099633086273, -158491522858083030873127780, -721416521112918019892875190, -2914909214130460951840639840, -10532726187475936700075585150, -34239336700730006530860029470, -100614565724337157094149242695, -268284412876936601313685681780, -651009639635059003895661930095, -1440526690347565404314749055800, -2909999848487171807491476934820, -5367274004710141881298074666400, -9027970698053215388886720712580, -13806572176150622097605081231890, -19082892206747801622481037515925, -23569457807496977063500526004148, -25432355297764481913757746215237, -22752513425193441523021216328236, -14249822674655350429543517342546, 0, 18220240184513560114306763652182, 37221097476591013004000832489962], [-29065024282889672, -1596571851125629224, -43048307689609558336, -759325375910196957400, -9852846897498915917838, -100272047234197637521989, -833281256045635934300379, -5812955044624965812631147, -34729560209448154145341155, -180412556992213455478205910, -824518005172568925748434450, -3346129268194817962133467170, -12149110632033753922453966980, -39704363037001240978718778075, -117370475185916797273978929765, -315082253255488113059872171965, -770522457409629507188319199185, -1720507252603377154191080462580, -3513312825964076843068375142100, -6565798282412448119784852164700, -11227151976706846272208875314010, -17539538383384926260327870959545, -24951747897077103534138640073127, -32123104388324799686885972092455, -36996294645307648160572493983959, -37258165298126321747690382276210, -31131594846329441276167942402838, -18220240184513560114306763652182, 0, 20364128314020324877109063958769], [-30067266499541040, -1655704141908059936, -44755514149295864376, -791490003982649933962, -10297779517560461825325, -105092256945008184839568, -875879992634773956595290, -6128797202117052020728170, -36734807165079001055153895, -191484828577235519497189200, -878340165075004444359331260, -3578712644998239814990556730, -13049749471284291967979513505, -42850268771815479335315945760, -127337571143848938912587128350, -343859804347227030506106252090, -846543546757897591060498861275, -1904878276192535653792549569600, -3925033989478000189928218250400, -7414510917018850883012874524250, -12845626502104530778585263382125, -20400056249902837709842889924208, -29644887104293752592370959340178, -39280275203487121919285998305786, -47153175202139948230490923847895, -50683112786780195150688671580784, -47670505876090001566563587193732, -37221097476591013004000832489962, -20364128314020324877109063958769, 0]]