Companion to "Pfaffian Point Processes for Two Classes of Random Plane Partitions"
[[0, 54, 1431, 24804, 316251, 3162510, 25827165, 177100560, 1040465790, 5317936260, 23930713170, 95722852680, 343006888770, 1108176102180, 3245372870670, 8654327655120, 21094923659355, 47153358767970, 96926348578605, 183649923622620, 321387366339585, 520341450264090, 780512175396135, 1085929983159840, 1402659561581460, 1683191473897752, 1877405874732108, 1946939425648112], [-54, 0, 26235, 682110, 10436283, 115958700, 1014638625, 7305398100, 44508814350, 233989195440, 1076882092650, 4387297414500, 15963012900450, 52242587674200, 154696106835270, 416489518402650, 1023724236409875, 2305275317545200, 4769796627420825, 9090671219319690, 15992847515469825, 26017072513204500, 39195285329675475, 54748969984308600, 70974573816021876, 85454336367116640, 95608632509505500, 99432977809885720], [-1431, -26235, 0, 7298577, 155384658, 2000287575, 19075206150, 145431536250, 923239977660, 5006836988790, 23611636994400, 98106719876550, 362795747737500, 1203611172693930, 3605609259314370, 9805003242059025, 24311554829111550, 55167361628754375, 114924041093621760, 220364604186842115, 389796962889010950, 637248600013641525, 964328448587253750, 1352498645776001724, 1759884582849452136, 2126204113035527140, 2386391467437257280, 2489121294644022500], [-24804, -682110, -7298577, 0, 1163065761, 20408731200, 222679356900, 1835224230840, 12267669700650, 69042766463580, 334879650412650, 1422564312430800, 5355735946400070, 18033851028535650, 54703273308248565, 150358549329888900, 376283113591810425, 860798903342367990, 1806069464159285325, 3485185817227667280, 6200038056456501075, 10188059360757723900, 15489031098260746026, 21815818241048148240, 28496832070433871452, 34550717931345409640, 38905592236671478780, 40703060902645357216], [-316251, -10436283, -155384658, -1163065761, 0, 116441861250, 1717160880435, 16097621813910, 115831819396020, 684302833816350, 3436358370007500, 14986204755020730, 57599484566992830, 197226447469644285, 606628649926524225, 1687059625891014375, 4264616774379771810, 9841267346083908735, 20806546677409990770, 40422555887205962925, 72344429242695382500, 119521589529924524124, 182597499339597524259, 258322225027334006308, 338795057689359184760, 412287501326765872500, 465830946636811281064, 488880241730209092764], [-3162510, -115958700, -2000287575, -20408731200, -116441861250, 0, 7855655689245, 99104504242380, 808546152159270, 5129253427063080, 26986108699325790, 121662517926611970, 479474983276848405, 1674410491786845120, 5232896106145687980, 14746430650128086910, 37694726037753820035, 87822099949466495340, 187221972083130947235, 366388658833610534940, 659966237162512325136, 1096628195023962127632, 1684031392340816808443, 2393554659316434100872, 3152531344269220039588, 3851259934862898636848, 4366882124231377429140, 4597941076142812207810], [-25827165, -1014638625, -19075206150, -222679356900, -1717160880435, -7855655689245, 0, 375871262777850, 4116455454350400, 29550735412857330, 166689372154298490, 786349693429579125, 3200392032430471725, 11450216284904604900, 36470056108450424460, 104362684603018646805, 270182279388052258500, 636262958528636363925, 1368927446714633346450, 2700411223720080653874, 4898345067306746107857, 8189907345133136169925, 12646566255764842499560, 18064481959833771848540, 23899818788543530006944, 29316607010957119096012, 33366032695294883795750, 35252098372916190017525], [-177100560, -7305398100, -145431536250, -1835224230840, -16097621813910, -99104504242380, -375871262777850, 0, 13252665956131770, 127506904513886730, 812853727585445385, 4106933576166012900, 17475056727629914875, 64519555264022440890, 210407863780148169135, 613319236141602583320, 1611639978107773211325, 3842363040857980548000, 8353215061952631046176, 16625223487128496078944, 30390685650915825384968, 51157871893619589213640, 79471602280358706933900, 114127787454228903294016, 151723304122979968481564, 186923441609589774935538, 213587574902916082404725, 226479976619429726966500], [-1040465790, -44508814350, -923239977660, -12267669700650, -115831819396020, -808546152159270, -4116455454350400, -13252665956131770, 0, 354627416224838085, 3026730265510495215, 17267651145929178225, 78633713233172601735, 303334551765199236975, 1020286073659239759645, 3043649853124882811355, 8143657147566340142925, 19700167966832571633324, 43345606979049270630630, 87147671171739005038288, 160691240237017813808142, 272538860595320083997960, 426178019305172321983334, 615610112390449698480420, 822678390494820422895178, 1018302498335436879783337, 1168504972513078981071375, 1243826823670648184230445], [-5317936260, -233989195440, -5006836988790, -69042766463580, -684302833816350, -5129253427063080, -29550735412857330, -127506904513886730, -354627416224838085, 0, 7371272348213053560, 56259731298988218540, 289101182607563539290, 1192889803097818670880, 4190218278768882578400, 12887309432171708731470, 35276177633947598189751, 86864231581441118905296, 193873402639325733878582, 394407116555668920057620, 734489950012072536564898, 1256329568861740215200456, 1979052869401874538017746, 2877198641539724962169402, 3866970107529202861157005, 4810920914111399243847488, 5545869112202058640045780, 5927853538965884078824180], [-23930713170, -1076882092650, -23611636994400, -334879650412650, -3436358370007500, -26986108699325790, -166689372154298490, -812853727585445385, -3026730265510495215, -7371272348213053560, 0, 121266446172924237570, 833198608535094843930, 3877650295095206967120, 14563396743679261762830, 46759286297740252296879, 131917601846705985518103, 332227725802064810663722, 754597539276077345590448, 1556859050374402542430782, 2933066695520117913165696, 5066045559557557607491998, 8047055050889135799612402, 11783656057662384402026793, 15937647650159569851536187, 19939257569748292216464492, 23100239073041415613251280, 24802274951260865368361870], [-95722852680, -4387297414500, -98106719876550, -1422564312430800, -14986204755020730, -121662517926611970, -786349693429579125, -4106933576166012900, -17267651145929178225, -56259731298988218540, -121266446172924237570, 0, 1603304535207362881950, 9972643435995022388550, 42229433355518186905491, 144923475595984077701268, 426707438413119719474675, 1107312103185403002677580, 2571736350244327382984770, 5398539957392464268190672, 10312861269527851745614806, 18017254381382702945558850, 28895061922137969741659805, 42660368447618420108980020, 58109696981510976311518281, 73152731353469845111997228, 85216482988696317944201250, 91944703693476152677631200], [-343006888770, -15963012900450, -362795747737500, -5355735946400070, -57599484566992830, -479474983276848405, -3200392032430471725, -17475056727629914875, -78633713233172601735, -289101182607563539290, -833198608535094843930, -1603304535207362881950, 0, 17253611035701102328959, 97615411140076413047541, 377596819629491795005057, 1188030576923920520131495, 3216811846827125828123150, 7696634374525715009968808, 16517672176385411974834122, 32099396980287685287525594, 56855533669243981821658845, 92217306761172173569892925, 137444824943130332191185699, 188739574398421414011513331, 239266410356144307010997122, 280435365550010213185654550, 304218556555439546721065750], [-1108176102180, -52242587674200, -1203611172693930, -18033851028535650, -197226447469644285, -1674410491786845120, -11450216284904604900, -64519555264022440890, -303334551765199236975, -1192889803097818670880, -3877650295095206967120, -9972643435995022388550, -17253611035701102328959, 0, 152738423791348876005602, 789187558050026750081698, 2798120966800649615942355, 8094373837047467956316792, 20203967690824331461078570, 44661306750971365473991434, 88718166317410166674341561, 159836066796198623800260480, 262801343584503663964998876, 396095364415363969395547970, 549041550218425719714027307, 701607642810084780724020528, 828028767349801397283572900, 903696686783152736951306830], [-3245372870670, -154696106835270, -3605609259314370, -54703273308248565, -606628649926524225, -5232896106145687980, -36470056108450424460, -210407863780148169135, -1020286073659239759645, -4190218278768882578400, -14563396743679261762830, -42229433355518186905491, -97615411140076413047541, -152738423791348876005602, 0, 1122321384356201764412447, 5314172824893198347184103, 17320426612288941689185638, 46180411162542949179633746, 106479207836989943459427105, 217837646424613523207153709, 401119675556937123412906644, 670754675279909024899862404, 1024716986521434989794734723, 1436231528147215961587431005, 1852451210900468809157344972, 2203604895063816946509508470, 2421471701774880576841514495], [-8654327655120, -416489518402650, -9805003242059025, -150358549329888900, -1687059625891014375, -14746430650128086910, -104362684603018646805, -613319236141602583320, -3043649853124882811355, -12887309432171708731470, -46759286297740252296879, -144923475595984077701268, -377596819629491795005057, -789187558050026750081698, -1122321384356201764412447, 0, 6897550464079813416837959, 30017636912497628399671666, 90160280188620946865091349, 222027918911742672217761636, 473732224365141631148624547, 898278013030674776755011302, 1535088736093224458708471273, 2384892082173201758722436872, 3387808749934423407621565383, 4417952322359159239951964438, 5304064591903924895757894955, 5874359243231015794223940820], [-21094923659355, -1023724236409875, -24311554829111550, -376283113591810425, -4264616774379771810, -37694726037753820035, -270182279388052258500, -1611639978107773211325, -8143657147566340142925, -35276177633947598189751, -131917601846705985518103, -426707438413119719474675, -1188030576923920520131495, -2798120966800649615942355, -5314172824893198347184103, -6897550464079813416837959, 0, 35686207377763956849388735, 143099111877424829987432390, 396929403069807974402298717, 904426317493125837447791026, 1788388316306502746824618175, 3146870052127942318138303980, 4995833827540936411666225745, 7216344777916160753750738239, 9537093150108381763423817607, 11575858055733569020476101125, 12938312868602134993540535975], [-47153358767970, -2305275317545200, -55167361628754375, -860798903342367990, -9841267346083908735, -87822099949466495340, -636262958528636363925, -3842363040857980548000, -19700167966832571633324, -86864231581441118905296, -332227725802064810663722, -1107312103185403002677580, -3216811846827125828123150, -8094373837047467956316792, -17320426612288941689185638, -30017636912497628399671666, -35686207377763956849388735, 0, 156293254783502470658940643, 578713057710051430781323982, 1485115984584783066019621299, 3135743962535441077646682220, 5753456655392316541818963025, 9404071115749206590441802516, 13879875962599247948271010394, 18651446632948546454899614368, 22941283286566535489077455900, 25921797185912289603277882000], [-96926348578605, -4769796627420825, -114924041093621760, -1806069464159285325, -20806546677409990770, -187221972083130947235, -1368927446714633346450, -8353215061952631046176, -43345606979049270630630, -193873402639325733878582, -754597539276077345590448, -2571736350244327382984770, -7696634374525715009968808, -20203967690824331461078570, -46180411162542949179633746, -90160280188620946865091349, -143099111877424829987432390, -156293254783502470658940643, 0, 582193682681959548384007369, 1994196865321760969296078106, 4741825541043605643608353255, 9289421318317987067817601334, 15831171464786761781412574090, 24055215563521151873277435098, 33026880839696715343646744932, 41302282528235429963523438800, 47289481490567580236321203400], [-183649923622620, -9090671219319690, -220364604186842115, -3485185817227667280, -40422555887205962925, -366388658833610534940, -2700411223720080653874, -16625223487128496078944, -87147671171739005038288, -394407116555668920057620, -1556859050374402542430782, -5398539957392464268190672, -16517672176385411974834122, -44661306750971365473991434, -106479207836989943459427105, -222027918911742672217761636, -396929403069807974402298717, -578713057710051430781323982, -582193682681959548384007369, 0, 1851946086980368446029186889, 5877225557030793107011069536, 12965180535211119672997175076, 23589901835551867215688908312, 37370621426205486718199649210, 52818726017830061913188817168, 67483952052608799721442597000, 78554094481531508565541379200], [-321387366339585, -15992847515469825, -389796962889010950, -6200038056456501075, -72344429242695382500, -659966237162512325136, -4898345067306746107857, -30390685650915825384968, -160691240237017813808142, -734489950012072536564898, -2933066695520117913165696, -10312861269527851745614806, -32099396980287685287525594, -88718166317410166674341561, -217837646424613523207153709, -473732224365141631148624547, -904426317493125837447791026, -1485115984584783066019621299, -1994196865321760969296078106, -1851946086980368446029186889, 0, 5047760807428950202116184338, 14860711608963435616320839787, 30445332702200730519457083678, 51489729300099482271297277482, 75868351267594258076779615792, 99781206278333292339043425540, 118659090595612755055885996160], [-520341450264090, -26017072513204500, -637248600013641525, -10188059360757723900, -119521589529924524124, -1096628195023962127632, -8189907345133136169925, -51157871893619589213640, -272538860595320083997960, -1256329568861740215200456, -5066045559557557607491998, -18017254381382702945558850, -56855533669243981821658845, -159836066796198623800260480, -401119675556937123412906644, -898278013030674776755011302, -1788388316306502746824618175, -3135743962535441077646682220, -4741825541043605643608353255, -5877225557030793107011069536, -5047760807428950202116184338, 0, 11822615666309636647563102285, 32322257952647392775927690340, 61547355091152967522170765206, 96810205423562893627803389168, 132730064286730524927966866500, 162471130702437730858873074250], [-780512175396135, -39195285329675475, -964328448587253750, -15489031098260746026, -182597499339597524259, -1684031392340816808443, -12646566255764842499560, -79471602280358706933900, -426178019305172321983334, -1979052869401874538017746, -8047055050889135799612402, -28895061922137969741659805, -92217306761172173569892925, -262801343584503663964998876, -670754675279909024899862404, -1535088736093224458708471273, -3146870052127942318138303980, -5753456655392316541818963025, -9289421318317987067817601334, -12965180535211119672997175076, -14860711608963435616320839787, -11822615666309636647563102285, 0, 23850049940085051497876991454, 60601012635311004790540177046, 107319073597440221352713331132, 157063664081400057053253763750, 200411658503739846316170304625], [-1085929983159840, -54748969984308600, -1352498645776001724, -21815818241048148240, -258322225027334006308, -2393554659316434100872, -18064481959833771848540, -114127787454228903294016, -615610112390449698480420, -2877198641539724962169402, -11783656057662384402026793, -42660368447618420108980020, -137444824943130332191185699, -396095364415363969395547970, -1024716986521434989794734723, -2384892082173201758722436872, -4995833827540936411666225745, -9404071115749206590441802516, -15831171464786761781412574090, -23589901835551867215688908312, -30445332702200730519457083678, -32322257952647392775927690340, -23850049940085051497876991454, 0, 41518548954230993452021069702, 98107207837090486278161982218, 161646080869773290499205227225, 220163082141434962663140458308], [-1402659561581460, -70974573816021876, -1759884582849452136, -28496832070433871452, -338795057689359184760, -3152531344269220039588, -23899818788543530006944, -151723304122979968481564, -822678390494820422895178, -3866970107529202861157005, -15937647650159569851536187, -58109696981510976311518281, -188739574398421414011513331, -549041550218425719714027307, -1436231528147215961587431005, -3387808749934423407621565383, -7216344777916160753750738239, -13879875962599247948271010394, -24055215563521151873277435098, -37370621426205486718199649210, -51489729300099482271297277482, -61547355091152967522170765206, -60601012635311004790540177046, -41518548954230993452021069702, 0, 62459996196185791830747525757, 137312240443704940706283610067, 210540904505839535732989164137], [-1683191473897752, -85454336367116640, -2126204113035527140, -34550717931345409640, -412287501326765872500, -3851259934862898636848, -29316607010957119096012, -186923441609589774935538, -1018302498335436879783337, -4810920914111399243847488, -19939257569748292216464492, -73152731353469845111997228, -239266410356144307010997122, -701607642810084780724020528, -1852451210900468809157344972, -4417952322359159239951964438, -9537093150108381763423817607, -18651446632948546454899614368, -33026880839696715343646744932, -52818726017830061913188817168, -75868351267594258076779615792, -96810205423562893627803389168, -107319073597440221352713331132, -98107207837090486278161982218, -62459996196185791830747525757, 0, 81287215239850430492127443492, 166293761792492785045218835948], [-1877405874732108, -95608632509505500, -2386391467437257280, -38905592236671478780, -465830946636811281064, -4366882124231377429140, -33366032695294883795750, -213587574902916082404725, -1168504972513078981071375, -5545869112202058640045780, -23100239073041415613251280, -85216482988696317944201250, -280435365550010213185654550, -828028767349801397283572900, -2203604895063816946509508470, -5304064591903924895757894955, -11575858055733569020476101125, -22941283286566535489077455900, -41302282528235429963523438800, -67483952052608799721442597000, -99781206278333292339043425540, -132730064286730524927966866500, -157063664081400057053253763750, -161646080869773290499205227225, -137312240443704940706283610067, -81287215239850430492127443492, 0, 91577270462253777773216233490], [-1946939425648112, -99432977809885720, -2489121294644022500, -40703060902645357216, -488880241730209092764, -4597941076142812207810, -35252098372916190017525, -226479976619429726966500, -1243826823670648184230445, -5927853538965884078824180, -24802274951260865368361870, -91944703693476152677631200, -304218556555439546721065750, -903696686783152736951306830, -2421471701774880576841514495, -5874359243231015794223940820, -12938312868602134993540535975, -25921797185912289603277882000, -47289481490567580236321203400, -78554094481531508565541379200, -118659090595612755055885996160, -162471130702437730858873074250, -200411658503739846316170304625, -220163082141434962663140458308, -210540904505839535732989164137, -166293761792492785045218835948, -91577270462253777773216233490, 0]]