Companion to "Pfaffian Point Processes for Two Classes of Random Plane Partitions"
[[0, 35990, 1043710, 17847441, 222101488, 2181353900, 17668966590, 121392344535, 721417361808, 3762847375794, 17420589702750, 72228444998325, 270153144928800, 917019841952760, 2839234510661430, 8052450818052375, 20996019910773600, 50487139982814150, 112259640667669110, 231349894391836605, 442774917496338000, 788331863977175700, 1307629837866902550, 2023259985499516491, 2923238507477562288, 3947274219201955250, 4984843442535040630, 5890577595886898145, 6515996945573655232, 6748711122201285776], [-35990, 0, 12420149, 295474301, 4259589252, 45590296510, 391007686575, 2798960629707, 17158256116638, 91701984195276, 432968656381425, 1824471760022625, 6917421360982440, 23754340905968610, 74285349991129095, 212525053812745275, 558397437429620250, 1351867418833941240, 3024179684970567585, 6266372019866923545, 12052140743416626300, 21553994217471192750, 35898005312640657459, 55751301072008415951, 80826642497647351102, 109486108914321661620, 138669882237629280125, 164310753335146390973, 182215200299434715952, 189167536326185178454], [-1043710, -12420149, 0, 2464929907, 48430022678, 593001057715, 5497273590468, 41432626061355, 263571472721466, 1448733760950819, 6992892715756200, 29998818287187435, 115436063615374950, 401383423027943895, 1268684503108494780, 3663293759231808975, 9703158656883086010, 23659164745475819175, 53263014733869240720, 110993901891521963055, 214569206295809629950, 385515428799920209791, 644784043214029226340, 1005244430855723539607, 1462535021357635997618, 1987580126604036511855, 2524959394326910840152, 3000194798991530653975, 3335754097052534671514, 3471406628431844332881], [-17847441, -295474301, -2464929907, 0, 308608034527, 5106614920517, 53842106466477, 436789835143554, 2916488914028295, 16595941867673391, 82234804922677365, 360131401974349740, 1409147309078251155, 4968097629783905925, 15887722799409867945, 46337102099198097390, 123806008142225724315, 304181481596809398855, 689415284185194783825, 1445298570279866125320, 2809060842167324591259, 5071576853232242190369, 8519765401340566611553, 13336080230174276775410, 19474164830886327416547, 26554876948719961638643, 33839771022885194742473, 40325061597300762110136, 44955453581799482897525, 46900368690826697771179], [-222101488, -4259589252, -48430022678, -308608034527, 0, 26147639335126, 370968710701434, 3411881928236691, 24461113621453824, 145822063889023536, 746918289461042370, 3353792965566775305, 13383174385241151120, 47939713513980706530, 155341051196681328930, 458121986504331359595, 1235751562754353597680, 3061346188068279258420, 6988907791698076833330, 14745944714165565978861, 28824495276465985925472, 52308922058086060764278, 88283022039178915471362, 138774517204862304345223, 203428804899312401048864, 278375267271370842525624, 355896975366838769032246, 425377583660065546447819, 475542065326446920948496, 497398528061285989149830], [-2181353900, -45590296510, -593001057715, -5106614920517, -26147639335126, 0, 1578220086555435, 19483129192169265, 158052620699750448, 1010114840822845254, 5413564715836738125, 25101451341583645875, 102615405752598180750, 374601720412003599900, 1232550456440835868875, 3681283389566109371625, 10036654086043485354300, 25092584953602767064450, 57742029389601912633369, 122682221117230069180767, 241295986026149279051050, 440306682066172466607160, 746801922265250963772815, 1179181569987008416968909, 1735599009419705112905992, 2383859729526485651429450, 3058117813726823672129655, 3666633346186026000622145, 4110944479499962080391786, 4311470120134010332146508], [-17668966590, -391007686575, -5497273590468, -53842106466477, -370968710701434, -1578220086555435, 0, 70520141613060087, 766668492216246738, 5537124520998715341, 31780838513716588500, 154052085119883864375, 649858642691660983350, 2428852481146730048025, 8140118719710412415400, 24676040658853221909075, 68107902166353765644250, 172047514184527422314181, 399432591893758550263164, 855207974314272539725583, 1693435347734272841271790, 3108612328641895474676025, 5300672035614313568909776, 8409813730144198433578979, 12431871405782065182250998, 17142683472945090603556895, 22070691635740110234321100, 26549994374057934566826669, 29858029550383492843235466, 31402778796210023338355247], [-121392344535, -2798960629707, -41432626061355, -436789835143554, -3411881928236691, -19483129192169265, -70520141613060087, 0, 2402968778609828901, 23233607608429833429, 150564691050539198625, 781039572142574664150, 3442227253115700674625, 13268681310452814995175, 45507556015740511610925, 140459474341654623504300, 393345222867755286519069, 1005603064187056408621905, 2358313605672571456031353, 5093041493873522702449902, 10160691823331377581711185, 18774574664715574652471699, 32200031705393833795297245, 51352603587460800151188508, 76266845783614059872626447, 105610763657687038694753355, 136492874819399554601463731, 164770765135272256014092640, 185897711491562726882861607, 196096106075502354360237753], [-721417361808, -17158256116638, -263571472721466, -2916488914028295, -24461113621453824, -158052620699750448, -766668492216246738, -2402968778609828901, 0, 63922682384489655006, 554151868328502931350, 3243610143414465472725, 15289992730743230665200, 61547151540418839613500, 217617669799366505746350, 687123807466507658969631, 1958605100803961619589776, 5079053837621498014494242, 12051906772735306622349470, 26285681579602239041244613, 52884793157179231285555616, 98435937329868839718710056, 169911679912465608478791122, 272516216233057362684888805, 406783513995547267532924768, 565862609377411164096357814, 734343892017561426042386854, 889805155136638585513649253, 1007336650008025315376776560, 1065943162081034096692582092], [-3762847375794, -91701984195276, -1448733760950819, -16595941867673391, -145822063889023536, -1010114840822845254, -5537124520998715341, -23233607608429833429, -63922682384489655006, 0, 1352859244198636482225, 10587217303665993026925, 56286605113174794474900, 242236530415534041591750, 894093186289977720267039, 2909495788004955660358743, 8481698943232870354004782, 22382141364654864477566588, 53859649589356348936696617, 118834069604665893790966941, 241415555810037609890479128, 453091865194703378663497422, 787718913650964605406997173, 1271361639591539955487117257, 1908330668976793571873384490, 2667805515846005285055900952, 3477580689298485827979936833, 4230797935766895527057955477, 4807213932092340647381455428, 5103966259866077739640256178], [-17420589702750, -432968656381425, -6992892715756200, -82234804922677365, -746918289461042370, -5413564715836738125, -31780838513716588500, -150564691050539198625, -554151868328502931350, -1352859244198636482225, 0, 23135985405523342644075, 164384447557735261826550, 797595297077854691561691, 3146454043989039811354068, 10685412503311265301337175, 32095372916567081142834330, 86600083852097483542094395, 212020210035409553831731272, 474314982966603568219886631, 974621795757873155248688850, 1846748404731025372845107805, 3236941101920295849926398020, 5261351437198837588962653481, 7946291350106520931022648138, 11169575324634321433268070375, 14631013705765318760505989200, 17878010534804933944491756675, 20394267254004202783923010410, 21731248569661305311529364605], [-72228444998325, -1824471760022625, -29998818287187435, -360131401974349740, -3353792965566775305, -25101451341583645875, -154052085119883864375, -781039572142574664150, -3243610143414465472725, -10587217303665993026925, -23135985405523342644075, 0, 323874652826754762981759, 2099466327006125664023241, 9334943513646272193908257, 33874100811194887290900370, 106158876175816920937948775, 295074041343097586946228083, 738531211551437976316511097, 1680680502705424796161422144, 3501088953914942925704178345, 6709071263954104793225586675, 11871021519199329679651380999, 19451157419531910680074525156, 29582462627762067922189023187, 41835979445298846315225581675, 55096435880334453630468456125, 67647254814267458647008809040, 77501250410397470210908369785, 82903982575275884424515870295], [-270153144928800, -6917421360982440, -115436063615374950, -1409147309078251155, -13383174385241151120, -102615405752598180750, -649858642691660983350, -3442227253115700674625, -15289992730743230665200, -56286605113174794474900, -164384447557735261826550, -323874652826754762981759, 0, 3751860299633652817966502, 22281745655142434055001498, 91110987648224404264598355, 305040307755418363623579392, 884484137850494761463588320, 2280107293068461523101569134, 5303785879452464719971656511, 11237566605916291366646442480, 21828667899340682644875307326, 39056412583279346953692639470, 64595814991879478732855848957, 99025710485699271765264491088, 141009564029900862850068802700, 186823680405710391359867246710, 230602234869507246591549263175, 265445605787721777540637727520, 285158082157878815673955220130], [-917019841952760, -23754340905968610, -401383423027943895, -4968097629783905925, -47939713513980706530, -374601720412003599900, -2428852481146730048025, -13268681310452814995175, -61547151540418839613500, -242236530415534041591750, -797595297077854691561691, -2099466327006125664023241, -3751860299633652817966502, 0, 36300500936595661199966147, 198218899372678921380687253, 747682115146542751048392288, 2315663971209701786081492546, 6226350440843292094956332355, 14915313522849741238893672009, 32298266291041202249281930194, 63804809623361817507639073204, 115709616129809238666963861573, 193499556074109258269397765755, 299392373142893640865673075812, 429696322492211794690859932590, 573189672245781733688085928115, 711722395359752968383955144305, 823570447255943362714884325950, 888872845136864800955416894920], [-2839234510661430, -74285349991129095, -1268684503108494780, -15887722799409867945, -155341051196681328930, -1232550456440835868875, -8140118719710412415400, -45507556015740511610925, -217617669799366505746350, -894093186289977720267039, -3146454043989039811354068, -9334943513646272193908257, -22281745655142434055001498, -36300500936595661199966147, 0, 295672281235761411821438459, 1489089331412026771788681166, 5195159129282842349383111099, 14918416582313536771004952636, 37270037465324449328913154197, 83104597102114480158115752602, 167770008912378384654536617223, 309391227044091444540543199672, 524362060657502337960283762833, 820267381250679464019468619838, 1188122598837863905364894825695, 1597307570372230136364796973380, 1996764114269522118126145084545, 2324193229761727206872538270330, 2521539468763761021650848388475], [-8052450818052375, -212525053812745275, -3663293759231808975, -46337102099198097390, -458121986504331359595, -3681283389566109371625, -24676040658853221909075, -140459474341654623504300, -687123807466507658969631, -2909495788004955660358743, -10685412503311265301337175, -33874100811194887290900370, -91110987648224404264598355, -198218899372678921380687253, -295672281235761411821438459, 0, 2041252756694317554255459235, 9507204736909017751457079515, 30749731208177125141248294267, 82034031830681282470579572076, 190744302490496688549402493175, 396476169999052982890724368605, 747114399265542734606818706495, 1287515256892100499004477656214, 2041063402681121709052913537367, 2988790395109613570116055009875, 4054895816145392893668358909775, 5108373281939110642128730769100, 5985908635922515015766565975915, 6532159321852074918910362048645], [-20996019910773600, -558397437429620250, -9703158656883086010, -123806008142225724315, -1235751562754353597680, -10036654086043485354300, -68107902166353765644250, -393345222867755286519069, -1958605100803961619589776, -8481698943232870354004782, -32095372916567081142834330, -106158876175816920937948775, -305040307755418363623579392, -747682115146542751048392288, -1489089331412026771788681166, -2041252756694317554255459235, 0, 12015029552276322175256643718, 51872928277833357352252488782, 155851782757194242537306478249, 386938884506750813917347100720, 838611948449615704882012639900, 1626938883508886199395382944166, 2864702984662736147199620662619, 4617373378807584466519838382608, 6851496964915412923010163962850, 9396725572943128073707096492750, 11945711466862330822868520571485, 14105924397906426443094594207840, 15495628485441230280880676812680], [-50487139982814150, -1351867418833941240, -23659164745475819175, -304181481596809398855, -3061346188068279258420, -25092584953602767064450, -172047514184527422314181, -1005603064187056408621905, -5079053837621498014494242, -22382141364654864477566588, -86600083852097483542094395, -295074041343097586946228083, -884484137850494761463588320, -2315663971209701786081492546, -5195159129282842349383111099, -9507204736909017751457079515, -12015029552276322175256643718, 0, 60604711851433054125979389469, 243031214046404001733708750781, 679471909614176652566367119380, 1572269111533410252421699390934, 3180216024463010751133276845715, 5764664931145479201691371869423, 9493005990614092428262960860142, 14321180449716381654230810885900, 19901995562478166902322574428265, 25575015978779367440933586985425, 30473096534599252025868163760280, 33732332539106719950139817543070], [-112259640667669110, -3024179684970567585, -53263014733869240720, -689415284185194783825, -6988907791698076833330, -57742029389601912633369, -399432591893758550263164, -2358313605672571456031353, -12051906772735306622349470, -53859649589356348936696617, -212020210035409553831731272, -738531211551437976316511097, -2280107293068461523101569134, -6226350440843292094956332355, -14918416582313536771004952636, -30749731208177125141248294267, -51872928277833357352252488782, -60604711851433054125979389469, 0, 263122872702402135247277820339, 981784423478729793777443554686, 2558094130115251532784437823351, 5523973841904195275347108278612, 10439015198622957335278707691335, 17695844984902841938267293549258, 27273166840002956659388933641835, 38531385390762271889236470731560, 50169400848945273470832611736795, 60423119938087395737483004009450, 67487786376945582039610480719105], [-231349894391836605, -6266372019866923545, -110993901891521963055, -1445298570279866125320, -14745944714165565978861, -122682221117230069180767, -855207974314272539725583, -5093041493873522702449902, -26285681579602239041244613, -118834069604665893790966941, -474314982966603568219886631, -1680680502705424796161422144, -5303785879452464719971656511, -14915313522849741238893672009, -37270037465324449328913154197, -82034031830681282470579572076, -155851782757194242537306478249, -243031214046404001733708750781, -263122872702402135247277820339, 0, 987057068882862051709832712963, 3432094372106437436603031042537, 8344687019294158572702735779553, 16834340527143626415611819495982, 29749044740514170239713690340447, 47194977760147687285668606708255, 68114888033396092940583830869445, 90158579467759488443813329345680, 110016323616572542403207487232245, 124200919991014221443557527458187], [-442774917496338000, -12052140743416626300, -214569206295809629950, -2809060842167324591259, -28824495276465985925472, -241295986026149279051050, -1693435347734272841271790, -10160691823331377581711185, -52884793157179231285555616, -241415555810037609890479128, -974621795757873155248688850, -3501088953914942925704178345, -11237566605916291366646442480, -32298266291041202249281930194, -83104597102114480158115752602, -190744302490496688549402493175, -386938884506750813917347100720, -679471909614176652566367119380, -981784423478729793777443554686, -987057068882862051709832712963, 0, 3209906104128332690190032000910, 10414355255443420672987966929090, 23654223461387782516311467314031, 44621069530378567963989394173248, 73791388476963548312770193212000, 109619976048729800712551566736950, 148218540744090337988419892364675, 183854888986520078755763836040688, 210286657854491296758712919184654], [-788331863977175700, -21553994217471192750, -385515428799920209791, -5071576853232242190369, -52308922058086060764278, -440306682066172466607160, -3108612328641895474676025, -18774574664715574652471699, -98435937329868839718710056, -453091865194703378663497422, -1846748404731025372845107805, -6709071263954104793225586675, -21828667899340682644875307326, -63804809623361817507639073204, -167770008912378384654536617223, -396476169999052982890724368605, -838611948449615704882012639900, -1572269111533410252421699390934, -2558094130115251532784437823351, -3432094372106437436603031042537, -3209906104128332690190032000910, 0, 9074915588479349127430895701879, 27503264366023075662840470990621, 58409494037807593525962872573952, 103105687399317754821682226096050, 159657758869338898333234349135375, 222188867269152442766744672185137, 281530586644413824651226437875458, 327317022912134814082836368487396], [-1307629837866902550, -35898005312640657459, -644784043214029226340, -8519765401340566611553, -88283022039178915471362, -746801922265250963772815, -5300672035614313568909776, -32200031705393833795297245, -169911679912465608478791122, -787718913650964605406997173, -3236941101920295849926398020, -11871021519199329679651380999, -39056412583279346953692639470, -115709616129809238666963861573, -309391227044091444540543199672, -747114399265542734606818706495, -1626938883508886199395382944166, -3180216024463010751133276845715, -5523973841904195275347108278612, -8344687019294158572702735779553, -10414355255443420672987966929090, -9074915588479349127430895701879, 0, 22358654261496508190399901845227, 63356214098554173901469334104198, 125903163299184496411454049316575, 208093763384124689491833533796988, 301854319365592174355676378996405, 393644197190848533250920735574746, 467479119209636172838488485031759], [-2023259985499516491, -55751301072008415951, -1005244430855723539607, -13336080230174276775410, -138774517204862304345223, -1179181569987008416968909, -8409813730144198433578979, -51352603587460800151188508, -272516216233057362684888805, -1271361639591539955487117257, -5261351437198837588962653481, -19451157419531910680074525156, -64595814991879478732855848957, -193499556074109258269397765755, -524362060657502337960283762833, -1287515256892100499004477656214, -2864702984662736147199620662619, -5764664931145479201691371869423, -10439015198622957335278707691335, -16834340527143626415611819495982, -23654223461387782516311467314031, -27503264366023075662840470990621, -22358654261496508190399901845227, 0, 48104873445478603172252962285327, 127544672178502179206777533537187, 237309743978930108235452657022107, 367411323186893347511409989045724, 499401278470982884461639872023095, 610374917026927712428217571868361], [-2923238507477562288, -80826642497647351102, -1462535021357635997618, -19474164830886327416547, -203428804899312401048864, -1735599009419705112905992, -12431871405782065182250998, -76266845783614059872626447, -406783513995547267532924768, -1908330668976793571873384490, -7946291350106520931022648138, -29582462627762067922189023187, -99025710485699271765264491088, -299392373142893640865673075812, -820267381250679464019468619838, -2041063402681121709052913537367, -4617373378807584466519838382608, -9493005990614092428262960860142, -17695844984902841938267293549258, -29749044740514170239713690340447, -44621069530378567963989394173248, -58409494037807593525962872573952, -63356214098554173901469334104198, -48104873445478603172252962285327, 0, 90533294719554926133034057869446, 224735120502974683265225806427374, 391672648598231289286670549613561, 568204138176899431456436437018384, 723816218243282847821286524924324], [-3947274219201955250, -109486108914321661620, -1987580126604036511855, -26554876948719961638643, -278375267271370842525624, -2383859729526485651429450, -17142683472945090603556895, -105610763657687038694753355, -565862609377411164096357814, -2667805515846005285055900952, -11169575324634321433268070375, -41835979445298846315225581675, -141009564029900862850068802700, -429696322492211794690859932590, -1188122598837863905364894825695, -2988790395109613570116055009875, -6851496964915412923010163962850, -14321180449716381654230810885900, -27273166840002956659388933641835, -47194977760147687285668606708255, -73791388476963548312770193212000, -103105687399317754821682226096050, -125903163299184496411454049316575, -127544672178502179206777533537187, -90533294719554926133034057869446, 0, 149244096439223078843877600108485, 347011742336980935949679593692065, 566665551650376521352017952295884, 770409621166458318983861390051962], [-4984843442535040630, -138669882237629280125, -2524959394326910840152, -33839771022885194742473, -355896975366838769032246, -3058117813726823672129655, -22070691635740110234321100, -136492874819399554601463731, -734343892017561426042386854, -3477580689298485827979936833, -14631013705765318760505989200, -55096435880334453630468456125, -186823680405710391359867246710, -573189672245781733688085928115, -1597307570372230136364796973380, -4054895816145392893668358909775, -9396725572943128073707096492750, -19901995562478166902322574428265, -38531385390762271889236470731560, -68114888033396092940583830869445, -109619976048729800712551566736950, -159657758869338898333234349135375, -208093763384124689491833533796988, -237309743978930108235452657022107, -224735120502974683265225806427374, -149244096439223078843877600108485, 0, 215732545986072369469846412316751, 469980571140652882498590990939674, 719223516665547055924268126770173], [-5890577595886898145, -164310753335146390973, -3000194798991530653975, -40325061597300762110136, -425377583660065546447819, -3666633346186026000622145, -26549994374057934566826669, -164770765135272256014092640, -889805155136638585513649253, -4230797935766895527057955477, -17878010534804933944491756675, -67647254814267458647008809040, -230602234869507246591549263175, -711722395359752968383955144305, -1996764114269522118126145084545, -5108373281939110642128730769100, -11945711466862330822868520571485, -25575015978779367440933586985425, -50169400848945273470832611736795, -90158579467759488443813329345680, -148218540744090337988419892364675, -222188867269152442766744672185137, -301854319365592174355676378996405, -367411323186893347511409989045724, -391672648598231289286670549613561, -347011742336980935949679593692065, -215732545986072369469846412316751, 0, 273650562064147265776474009237193, 558663290448291660750732769887847], [-6515996945573655232, -182215200299434715952, -3335754097052534671514, -44955453581799482897525, -475542065326446920948496, -4110944479499962080391786, -29858029550383492843235466, -185897711491562726882861607, -1007336650008025315376776560, -4807213932092340647381455428, -20394267254004202783923010410, -77501250410397470210908369785, -265445605787721777540637727520, -823570447255943362714884325950, -2324193229761727206872538270330, -5985908635922515015766565975915, -14105924397906426443094594207840, -30473096534599252025868163760280, -60423119938087395737483004009450, -110016323616572542403207487232245, -183854888986520078755763836040688, -281530586644413824651226437875458, -393644197190848533250920735574746, -499401278470982884461639872023095, -568204138176899431456436437018384, -566665551650376521352017952295884, -469980571140652882498590990939674, -273650562064147265776474009237193, 0, 304753277315415652064968667363498], [-6748711122201285776, -189167536326185178454, -3471406628431844332881, -46900368690826697771179, -497398528061285989149830, -4311470120134010332146508, -31402778796210023338355247, -196096106075502354360237753, -1065943162081034096692582092, -5103966259866077739640256178, -21731248569661305311529364605, -82903982575275884424515870295, -285158082157878815673955220130, -888872845136864800955416894920, -2521539468763761021650848388475, -6532159321852074918910362048645, -15495628485441230280880676812680, -33732332539106719950139817543070, -67487786376945582039610480719105, -124200919991014221443557527458187, -210286657854491296758712919184654, -327317022912134814082836368487396, -467479119209636172838488485031759, -610374917026927712428217571868361, -723816218243282847821286524924324, -770409621166458318983861390051962, -719223516665547055924268126770173, -558663290448291660750732769887847, -304753277315415652064968667363498, 0]]