a175e42a7d8581b791e0d3763e80a86e3feb79f66f90c60ee349154ef426b5df  manuscript.pdf
5008767711e5a1103c9c0b5c1f90f599e2b028b8cc70a4084a12b15878820172  manuscript.tex
5d4e71f77c693cf1bb883fa4a1d65563e050149491f53a84ff5bde341f5836e1  finite_checks.py
4662f2d0c209f5da0b95a426611552cc7281691f789ce5064236b38d471cff59  verification-results.json
660d3219d8d49675ba430da1dc544d3041662766622cbee56e89066452cb405c  submission-draft.json
7bc2fa558faefaa4ada0e5933d68ea2adba2b6278a0254028aa0193e1d94890b  reference-audit.json
a5d917764d2c4bca19924e14041dd1360639ff84fdfe772aace4a42458b31882  README.txt
0011ed590c9503922df7c7ceeb48b0630186c772a25d90e94b4250c301f5044c  package.py
