9ef6c3c03ed0ae61d393907c6f2b60efc10331f8bb0110437b1ed9a97751c2ac  files/LEAN_VERIFICATION_REPORT.md
225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82  files/LICENSE
fd0e8d32836fe0165743169f9bb6712aa5058a775ec11a7be42c61e176921590  files/README.md
42ae7950dea9beb648c3c9f4093eb1cadbffdf803fa3fcca514188544d6802fe  files/docs/MONOGRAPH_COVERAGE.json
cd1279f9972b76f8465e749579e82871a8768602a9030371570289c6478f7af1  files/docs/MONOGRAPH_COVERAGE.md
f40336e5f63122014339a44a38fad4f9c8e8dc4272f61a065ef1dc81f2f2a13e  files/publication/Realization_Boundaries_Monograph.pdf
32b06d13d7d2fbae0152c3302240135a4f49f4362fcec88535cbc7ff25395b5c  files/publication/monograph_source/manuscript/monograph.tex
