V ai Phy: a Variational Inference Based Algorithm for Phylogeny Appendix A The V aiPhy Algorithm