⁴⁰Details of the simulation procedure are in Appendix B.2.