6cfe5b218d17085de87eb520a11021e87e8182677674ac7b5ab707e90c575a58  files/LEAN_STATUS.md
ded2a4d6cf7c1f6d1332f737f381acf452618c043b24b514d9532540ab2000d7  files/README.md
ef4f376c9e0263f2d35085e4065a58bc3412466d64c9a74eec083e319df1a18e  files/RIGHTS_AND_REUSE.md
89498a862350cc2dd9a7ce51d6dd9409cf3100397a59f0d83be74d4eb665dd0d  files/books/Expanded_Visual_Guide.pdf
6a0c7e052e60eb450481cb78b4b0c0f6a4bcb118af15d5ca9f3bbbbef7e3d9c9  files/books/Resolution_and_Coupled_Atlas.pdf
f3fec137e8f9f0b33ddea033557155ae3ae0d5ba0e3ccebf6dd77d6883be4685  files/books/Special_Functions.pdf
2dc3b8db2a1d4c2189cdbea7db11969701c70168f8f6a1a4ec53fd7f430f06fa  files/formalization/Block01/CLAIM_MAP.json
f442f2a7fd8862db2d661684d43c0a7c5d6c0716f482a00df4741b1a52d1d775  files/formalization/Block01/REPORT.md
5504b82f528db46e510e4310f0307913afc868124487475efef2ef10de15e057  files/formalization/Block17/CLAIM_MAP.json
525d93c14032a84acb2c02fd70b0847d2551a7cbad4d0fdd9f704e8eafc0bcb8  files/formalization/Block17/REPORT.md
28397265a8c046fe96808490ad63d0d6f36237de1d611a360897f7505faf566a  files/formalization/Block17/SOURCE_MANIFEST.json
bf5d67e5128ef3dde45f66277823e30124196829873dd61158d0c9161ba33e1f  files/formalization/Block17/evidence/receipt.json
87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012  files/monograph/main.tex
5dd77cbc25ee8e6d8e55b6e38d3643cdf4e2389cccfab227303c169202dc3fd3  files/monograph/sections/proof_map.tex
c96da292afadecf1f2e22381799d712986eab61dff41d75df6b99fe634d2900c  files/research/visual_guide.pdf
202e0ce6a89ee376401970724b44d6511477c9d617d11938cb64d4b2dc43eeea  files/series/Komorebi_Special_Functions_Complete_Reader_v0.1.pdf
3d418151da1c103ba05e0896552d637b2daffc739f915af5660d88a2fa9efbec  files/series/Komorebi_Special_Functions_Consolidated_Manuscript_v0.1.pdf
