23575e1e0dfd08cea2b0efbcba39151c035a175d9e2bd838ee9a6cea02a67fc2  files/LICENSE.md
abc2f60632f6afb0f1692578b298b80375e301f577c1fc4ef5c394efffb72514  files/LICENSE_STATUS.json
cdaf548abb884706d52941c0588eb53bd3bcc886a593f2c17a596cd8a575a336  files/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/Paper_IV_Traditional_Final.tex
332cdd20542e0da05560d592671a0488526d521c825bc9982ed980f9d2aa2a46  files/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/source/complete/original_snapshot/lean_release/PRSC_IV/LICENSE_STATUS.md
8c41de777699c8a2aee8df2478a8f702f8d79ea3c86fcb077e42e6993df0092a  files/README.md
e235a03b64e988538fa9659a182f4b84de01f731fc16ecdb6d9e8a52da0258b4  files/readers/Paper_IV_Lean_Guide_Final.pdf
ef1ec83aa82e2709a334bb4ce98a17824d040549da03297165b783ecee9a5c4e  files/readers/Paper_IV_Traditional_Final.pdf
279cb676c89057c6d406fe8fad3a5ce7d6f9152af8d71ea1e7dafd57c5554f5f  files/readers/Paper_IV_Visual_Guide_Final.pdf
