May 28, 2023

Appendix A: Specifications