e00669863c2a2f5b414f62b7e9ca89cb21d4661a238813cf060b46a2135f039a  AXIOMS.log
aadcf3f69b6e4661e2873063be134acec58f19ca8ee4dca4532e34c7d45381e2  Audit.lean
09a3087c5dfc88c47679b22475606401e5025c47bb13c4ea81c2b3696c34f298  BUILD.log
453d8c35e67ee5a8f7b7c651b0d4ecef5493c6ca0d536726102774b14b02c959  README.md
6670d18e12b44788fd3c8999d096ab2bbb196b833b1a0ff2ccab991394924e75  Source_Proof_v66.md
4a19f6b3001ac0fb1222d3742fdea9ca7b798865f83e2dd1d0b7e448fcc29770  StructureOfSurvival/Bridge.lean
ad930885e2fb69fe33cd91f28b44478ce41717b6def69efcb6c4ac4075e49db2  StructureOfSurvival/Core.lean
9b900441731c96b3595e0fa0d45f8ca099c2f871ab0631bd50ae39f1c12555bd  StructureOfSurvival/Exponential.lean
7b4008d4be5c3666f093217505d74f4a6f1782f6e7b0ccf5e1a2b58eedbf28d6  StructureOfSurvival.lean
651e135006d53fa92a912f37d810f592458c2aa5d21b95b795e9345e300a5748  host-proc-compat.c
da0d4e9139792d74fd986fd1d578615c138f20e462ba35c5465a3a7101112cdd  lake-manifest.json
7550b5d59bfeeab9d9a51463303d41b67b336c21a810ba3a3a9167fd339ecb83  lakefile.toml
ca5f1f601d34c49079e38d7e7041eb0f2a9c227fbc1df0f404820069a052330c  lean-toolchain
