5f7387fd98751da5064770a47ee5640090a8dd99ce4b3f07b1002032bc0374f4  AXIOMS.log
6c7bca22d45f431936ad78fd9cf668249313f859e4236af0a33a09a0f9522298  Audit.lean
cbb39997fb9268ef3c4c9d14983a49a0a32ddbc3ed27dd57903d1d47a9bf4465  BUILD.log
931df3f484e33fdce278679388679e0123a52962f71af353545f0b77018f39be  README.md
6670d18e12b44788fd3c8999d096ab2bbb196b833b1a0ff2ccab991394924e75  Source_Proof_v66.md
7363e88d2ed1a0b83c14b4f49363343de305ac4d60acea230ae1a32f5113e268  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
e00669863c2a2f5b414f62b7e9ca89cb21d4661a238813cf060b46a2135f039a  receipts/original_67/AXIOMS.log
09a3087c5dfc88c47679b22475606401e5025c47bb13c4ea81c2b3696c34f298  receipts/original_67/BUILD.log
5e5d1dc62187802ce4ed9f51579f4d595bea2ad9a75e0fd0996f963fd1bc2a67  receipts/original_67/SHA256SUMS
