Release for publication of arXiv:2308.16468.