Companion to "Pfaffian Point Processes for Two Classes of Random Plane Partitions"
[[0, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472], [-2, 0, 7, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944], [-4, -7, 0, 25, 63, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888], [-8, -16, -25, 0, 91, 246, 511, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776], [-16, -32, -63, -91, 0, 336, 957, 2035, 4095, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552], [-32, -64, -128, -246, -336, 0, 1254, 3718, 8086, 16368, 32767, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104], [-64, -128, -256, -511, -957, -1254, 0, 4719, 14443, 32071, 65382, 131053, 262143, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208], [-128, -256, -512, -1024, -2035, -3718, -4719, 0, 17875, 56134, 127024, 260984, 524077, 1048554, 2097151, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416], [-256, -512, -1024, -2048, -4095, -8086, -14443, -17875, 0, 68068, 218348, 502588, 1041029, 2095358, 4194027, 8388583, 16777215, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416, 35184372088832], [-512, -1024, -2048, -4096, -8192, -16368, -32071, -56134, -68068, 0, 260338, 850136, 1987096, 4149752, 8375657, 16774590, 33554080, 67108836, 134217727, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416, 35184372088832, 70368744177664], [-1024, -2048, -4096, -8192, -16384, -32767, -65382, -127024, -218348, -260338, 0, 999362, 3313334, 7852453, 16531710, 33470750, 67088010, 134214045, 268435020, 536870881, 1073741823, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416, 35184372088832, 70368744177664, 140737488355328], [-2048, -4096, -8192, -16384, -32768, -65536, -131053, -260984, -502588, -850136, -999362, 0, 3848222, 12926460, 31020445, 65823240, 133718550, 268288860, 536838981, 1073736832, 2147483119, 4294967262, 8589934591, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416, 35184372088832, 70368744177664, 140737488355328, 281474976710656], [-4096, -8192, -16384, -32768, -65536, -131072, -262143, -524077, -1041029, -1987096, -3313334, -3848222, 0, 14858000, 50480055, 122519505, 261960915, 534066900, 1072799175, 2147240823, 4294920358, 8589928012, 17179868553, 34359738331, 68719476735, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416, 35184372088832, 70368744177664, 140737488355328, 281474976710656, 562949953421312], [-8192, -16384, -32768, -65536, -131072, -262144, -524288, -1048554, -2095358, -4149752, -7852453, -12926460, -14858000, 0, 57500460, 197318610, 483861810, 1042120800, 2132450475, 4289303406, 8588258476, 17179485016, 34359671656, 68719468262, 137438952730, 274877906904, 549755813887, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416, 35184372088832, 70368744177664, 140737488355328, 281474976710656, 562949953421312, 1125899906842624], [-16384, -32768, -65536, -131072, -262144, -524288, -1048576, -2097151, -4194027, -8375657, -16531710, -31020445, -50480055, -57500460, 0, 222981435, 771975795, 1910864955, 4144291110, 8512271400, 17147601516, 34348999192, 68716641536, 137438368537, 274877814773, 549755803187, 1099511626914, 2199023255509, 4398046511103, 8796093022208, 17592186044416, 35184372088832, 70368744177664, 140737488355328, 281474976710656, 562949953421312, 1125899906842624, 2251799813685248], [-32768, -65536, -131072, -262144, -524288, -1048576, -2097152, -4194304, -8388583, -16774590, -33470750, -65823240, -122519505, -197318610, -222981435, 0, 866262915, 3022770630, 7546691460, 16476188760, 33970408716, 68543334424, 137374084108, 274858595456, 549751215409, 1099510765586, 2199023131238, 4398046497816, 8796093021217, 17592186044370, 35184372088831, 70368744177664, 140737488355328, 281474976710656, 562949953421312, 1125899906842624, 2251799813685248, 4503599627370496], [-65536, -131072, -262144, -524288, -1048576, -2097152, -4194304, -8388608, -16777215, -33554080, -67088010, -133718550, -261960915, -483861810, -771975795, -866262915, 0, 3370764540, 11845439760, 29807136120, 65487529140, 135535016424, 273949411180, 549382228284, 1099388239013, 2198990056456, 4398039315354, 8796091786214, 17592185880195, 35184372072570, 70368744176535, 140737488355279, 281474976710655, 562949953421312, 1125899906842624, 2251799813685248, 4503599627370496, 9007199254740992], [-131072, -262144, -524288, -1048576, -2097152, -4194304, -8388608, -16777216, -33554432, -67108836, -134214045, -268288860, -534066900, -1042120800, -1910864955, -3022770630, -3370764540, 0, 13135064250, 46453775280, 117743036880, 260240132256, 540635912836, 1094757334072, 2196954691488, 4397298160732, 8795869173967, 17592131133756, 35184361171812, 70368742448016, 140737488142275, 281474976691006, 562949953420036, 1125899906842572, 2251799813685247, 4503599627370496, 9007199254740992, 18014398509481984], [-262144, -524288, -1048576, -2097152, -4194304, -8388608, -16777216, -33554432, -67108864, -134217727, -268435020, -536838981, -1072799175, -2132450475, -4144291110, -7546691460, -11845439760, -13135064250, 0, 51250632510, 182303526210, 465170415060, 1033998450072, 2156097281944, 4374290143336, 8785009647549, 17587839230140, 35182944997987, 70368354361449, 140737400529387, 281474960588430, 562949951051376, 1125899906570572, 2251799813661769, 4503599627369064, 9007199254740937, 18014398509481983, 36028797018963968], [-524288, -1048576, -2097152, -4194304, -8388608, -16777216, -33554432, -67108864, -134217728, -268435456, -536870881, -1073736832, -2147240823, -4289303406, -8512271400, -16476188760, -29807136120, -46453775280, -51250632510, 0, 200205672810, 715904248020, 1838054903646, 4107801678112, 8597047629976, 17475922403440, 35126617246715, 70344396511936, 140728805357857, 281472369254146, 562949298397626, 1125899770436952, 2251799790433564, 4503599624183128, 9007199254398451, 18014398509454208, 36028797018962371, 72057594037927878], [-1048576, -2097152, -4194304, -8388608, -16777216, -33554432, -67108864, -134217728, -268435456, -536870912, -1073741823, -2147483119, -4294920358, -8588258476, -17147601516, -33970408716, -65487529140, -117743036880, -182303526210, -200205672810, 0, 782920544640, 2813088831930, 7264067409030, 16317557219926, 34273234711376, 69809824487845, 140443613373725, 281342751780510, 562899166946956, 1125883313649682, 2251795225035454, 4503598560759858, 9007199048308216, 18014398476644717, 36028797014747545, 72057594037502012, 144115188075823304], [-2097152, -4194304, -8388608, -16777216, -33554432, -67108864, -134217728, -268435456, -536870912, -1073741824, -2147483648, -4294967262, -8589928012, -17179485016, -34348999192, -68543334424, -135535016424, -260240132256, -465170415060, -715904248020, -782920544640, 0, 3064665881940, 11060241944076, 28713092737132, 64813786698784, 136613183757494, 278829325421626, 561485061120956, 1125200674073112, 2251512621875524, 4503498406293628, 9007168759192996, 18014390697748592, 36028795329867634, 72057593732640818, 144115188030341560, 288230376146215952], [-4194304, -8388608, -16777216, -33554432, -67108864, -134217728, -268435456, -536870912, -1073741824, -2147483648, -4294967296, -8589934591, -17179868553, -34359671656, -68716641536, -137374084108, -273949411180, -540635912836, -1033998450072, -1838054903646, -2813088831930, -3064665881940, 0, 12007086477750, 43509459123198, 113517077375398, 257427687544860, 544463162459111, 1113544773396097, 2244627260565004, 4499986250287248, 9005621853349366, 18013803065791862, 36028603244632474, 72057539900746988, 144115175163996211, 288230373542537633, 576460751861167510], [-8388608, -16777216, -33554432, -67108864, -134217728, -268435456, -536870912, -1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738331, -68719468262, -137438368537, -274858595456, -549382228284, -1094757334072, -2156097281944, -4107801678112, -7264067409030, -11060241944076, -12007086477750, 0, 47081501377326, 171248556584476, 448874477948176, 1022413323767472, 2169646500343819, 4446582543768358, 8972627229164221, 17996098633302272, 36020350216628974, 72054199809917948, 144114003497437876, 288230018276741072, 576460659125376439, 1152921483821950670], [-16777216, -33554432, -67108864, -134217728, -268435456, -536870912, -1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476735, -137438952730, -274877814773, -549751215409, -1099388239013, -2196954691488, -4374290143336, -8597047629976, -16317557219926, -28713092737132, -43509459123198, -47081501377326, 0, 184753963255176, 674344248506152, 1775299677973864, 4060577611709703, 8644897598195026, 17754021392213897, 35864450481548269, 71966544982420403, 144070952348981056, 288211552891015292, 576453750202978564, 1152919233491657303, 2305842369195408022], [-33554432, -67108864, -134217728, -268435456, -536870912, -1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906904, -549755803187, -1099510765586, -2198990056456, -4397298160732, -8785009647549, -17475922403440, -34273234711376, -64813786698784, -113517077375398, -171248556584476, -184753963255176, 0, 725510446350004, 2656661186721808, 7022656606195216, 16126679013446792, 34441852950063139, 70879589004000938, 143343471470160976, 287784435645438452, 576233601839281519, 1152819614519464808, 2305802821776692056, 4611672109803326912], [-67108864, -134217728, -268435456, -536870912, -1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813887, -1099511626914, -2199023131238, -4398039315354, -8795869173967, -17587839230140, -35126617246715, -69809824487845, -136613183757494, -257427687544860, -448874477948176, -674344248506152, -725510446350004, 0, 2850875587556164, 10470793684489292, 27785208617017159, 64047591244730618, 137206259255850106, 282945070443614222, 572876548396904269, 1150767730755457388, 2304696794054298301, 4611146195600654507, 9223147313341198279], [-134217728, -268435456, -536870912, -1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255509, -4398046497816, -8796091786214, -17592131133756, -35182944997987, -70344396511936, -140443613373725, -278829325421626, -544463162459111, -1022413323767472, -1775299677973864, -2656661186721808, -2850875587556164, 0, 11209287949390300, 41285913247219256, 109953098548987561, 254369835301272152, 546545958016281874, 1129384942056853748, 2289359151279765481, 4601413342502557952, 9217677727437817099, 18443938202632953878], [-268435456, -536870912, -1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511103, -8796093021217, -17592185880195, -35184361171812, -70368354361449, -140728805357857, -281342751780510, -561485061120956, -1113544773396097, -2169646500343819, -4060577611709703, -7022656606195216, -10470793684489292, -11209287949390300, 0, 44098657532660192, 162852236308065227, 435192800138912557, 1010268863708654123, 2176952779793731996, 4507577332583747387, 9148230126651607579, 18398295972841737638, 36865592720416663756], [-536870912, -1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044370, -35184372072570, -70368742448016, -140737400529387, -281472369254146, -562899166946956, -1125200674073112, -2244627260565004, -4446582543768358, -8644897598195026, -16126679013446792, -27785208617017159, -41285913247219256, -44098657532660192, 0, 173581885845199832, 642608465005843434, 1722800472026075050, 4012545349281156800, 8670512145146703859, 17989043928824739638, 36553681055041128076, 73560795772614637592], [-1073741824, -2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088831, -70368744176535, -140737488142275, -281474960588430, -562949298397626, -1125883313649682, -2251512621875524, -4499986250287248, -8972627229164221, -17754021392213897, -34441852950063139, -64047591244730618, -109953098548987561, -162852236308065227, -173581885845199832, 0, 683597893843664723, 2536600081001642691, 6821278744792722707, 15937389299663277446, 34531659117305015764, 71785874058272530352, 146048383066789861504], [-2147483648, -4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088832, -70368744177664, -140737488355279, -281474976691006, -562949951051376, -1125899770436952, -2251795225035454, -4503498406293628, -9005621853349366, -17996098633302272, -35864450481548269, -70879589004000938, -137206259255850106, -254369835301272152, -435192800138912557, -642608465005843434, -683597893843664723, 0, 2693402146536837603, 10016198608874667846, 27012981664660967612, 63303958788929258904, 137521410580403064376, 286442962347163734896], [-4294967296, -8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088832, -70368744177664, -140737488355328, -281474976710655, -562949953420036, -1125899906570572, -2251799790433564, -4503598560759858, -9007168759192996, -18013803065791862, -36020350216628974, -71966544982420403, -143343471470160976, -282945070443614222, -546545958016281874, -1010268863708654123, -1722800472026075050, -2536600081001642691, -2693402146536837603, 0, 10616806520612155500, 39563276717953563848, 106992532902520848128, 251456517148753760088, 547654064588410982384], [-8589934592, -17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088832, -70368744177664, -140737488355328, -281474976710656, -562949953421312, -1125899906842572, -2251799813661769, -4503599624183128, -9007199048308216, -18014390697748592, -36028603244632474, -72054199809917948, -144070952348981056, -287784435645438452, -572876548396904269, -1129384942056853748, -2176952779793731996, -4012545349281156800, -6821278744792722707, -10016198608874667846, -10616806520612155500, 0, 41866618170711134346, 156319618339133814656, 423844834214445367136, 998883494929185192768], [-17179869184, -34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088832, -70368744177664, -140737488355328, -281474976710656, -562949953421312, -1125899906842624, -2251799813685247, -4503599627369064, -9007199254398451, -18014398476644717, -36028795329867634, -72057539900746988, -144114003497437876, -288211552891015292, -576233601839281519, -1150767730755457388, -2289359151279765481, -4507577332583747387, -8670512145146703859, -15937389299663277446, -27012981664660967612, -39563276717953563848, -41866618170711134346, 0, 165163131230086966886, 617818006090633426442, 1679310638131223676152], [-34359738368, -68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088832, -70368744177664, -140737488355328, -281474976710656, -562949953421312, -1125899906842624, -2251799813685248, -4503599627370496, -9007199254740937, -18014398509454208, -36028797014747545, -72057593732640818, -144115175163996211, -288230018276741072, -576453750202978564, -1152819614519464808, -2304696794054298301, -4601413342502557952, -9148230126651607579, -17989043928824739638, -34531659117305015764, -63303958788929258904, -106992532902520848128, -156319618339133814656, -165163131230086966886, 0, 651809012029394715314, 2442461983716432613348], [-68719476736, -137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088832, -70368744177664, -140737488355328, -281474976710656, -562949953421312, -1125899906842624, -2251799813685248, -4503599627370496, -9007199254740992, -18014398509481983, -36028797018962371, -72057594037502012, -144115188030341560, -288230373542537633, -576460659125376439, -1152919233491657303, -2305802821776692056, -4611146195600654507, -9217677727437817099, -18398295972841737638, -36553681055041128076, -71785874058272530352, -137521410580403064376, -251456517148753760088, -423844834214445367136, -617818006090633426442, -651809012029394715314, 0, 2573245042178817572384], [-137438953472, -274877906944, -549755813888, -1099511627776, -2199023255552, -4398046511104, -8796093022208, -17592186044416, -35184372088832, -70368744177664, -140737488355328, -281474976710656, -562949953421312, -1125899906842624, -2251799813685248, -4503599627370496, -9007199254740992, -18014398509481984, -36028797018963968, -72057594037927878, -144115188075823304, -288230376146215952, -576460751861167510, -1152921483821950670, -2305842369195408022, -4611672109803326912, -9223147313341198279, -18443938202632953878, -36865592720416663756, -73560795772614637592, -146048383066789861504, -286442962347163734896, -547654064588410982384, -998883494929185192768, -1679310638131223676152, -2442461983716432613348, -2573245042178817572384, 0]]