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