⁷See the appendix for an atlas of the variable names and notational conventions in this paper.