Companion to "Pfaffian Point Processes for Two Classes of Random Plane Partitions"
[[0, 1/2, 0, 1/2], [-1/2, 0, -1/2, 0], [0, 1/2, 0, 1/2], [-1/2, 0, -1/2, 0]]
