Appendix B lists the full set of program tokens, Z, and how they are executed.
the log marginal likelihood of the data is then where to estimate our model parameters θ, we maximize J MML with respect to θ.