Supplemental Material for: " Exact marginal prior distributions of finite Bayesian neural networks "