# path (relative to release root)  md5  [section of Rq_full_proof.pdf, i.e. RQ-A/FULL_PROOF.pdf, that pins it]
# Files marked AppC-source/AppB-ledger/AppC-pinned-copy/AppA that were edited for the public release carry the md5 of the released copy;
# RQ-A/FULL_PROOF.tex/.pdf quote the same values.  Files under RQ-A/outputs, RQ-B/numerics, RQ-C/numerics/out and RQ-D/outputs are in certificates.zip.
RQ-A/MAIN_RESULT.tex 38b69350c47c472d401153eac2a270e7 AppC-source
RQ-A/MAIN_RESULT_K2.tex 280e80ed1839752895c6874873ec8c12 AppC-source
RQ-A/MAIN_RESULT_K3.tex 00720a0c083de2020282ed4635e00c0c AppC-source
RQ-A/MAIN_RESULT_K3B.tex efa33947fa2293a078c7aa805b4d1ab2 AppC-source
RQ-A/MAIN_RESULT_K4.tex 01d916597bedd8f9ee25a40a66f33768 AppC-source
RQ-A/MAIN_RESULT_K5.tex bc42dd0f7e4382da9668403529a0b747 AppC-source
RQ-B/rq/MAIN_RESULT.tex e41938426653fabb413484e593485ccf AppC-source
RQ-B/rq/MAIN_RESULT.md 4fce1eca768cb46f5ee59b15a7f222dd AppC-source
RQ-C/CLAIMS.md 83c1b5f1256c0046baabb000c50ab500 AppC-source
RQ-D/MAIN_RESULT.tex ac0ecf4ff81feba53f6b8d8567a35a3b AppC-source
RQ-A/CLAIMS.md 2d3432484a0a33f675cd613a3bb9e470 AppC-source
RQ-REF3/REFEREE.md 6ac713c05dd3a1b74e71d5c959ac0ceb AppC-source
RQ-A/full_proof/sources/RQB_MAIN_RESULT.tex e41938426653fabb413484e593485ccf AppC-pinned-copy
RQ-A/full_proof/sources/RQB_MAIN_RESULT.md 4fce1eca768cb46f5ee59b15a7f222dd AppC-pinned-copy
RQ-A/full_proof/sources/RQC_CLAIMS.md 83c1b5f1256c0046baabb000c50ab500 AppC-pinned-copy
RQ-A/full_proof/sources/RQD_MAIN_RESULT.tex ac0ecf4ff81feba53f6b8d8567a35a3b AppC-pinned-copy
RQ-A/full_proof/sources/RQD_MAIN_RESULT_refereed.tex 212c6f230b7bd8b8ef0c377b21f7c937 AppC-refereed
RQ-A/full_proof/sources/RQA_CLAIMS.md 2d3432484a0a33f675cd613a3bb9e470 AppC-pinned-copy
RQ-A/full_proof/sources/RQREF3_REFEREE.md 6ac713c05dd3a1b74e71d5c959ac0ceb AppC-pinned-copy
RQ-REF1/REFEREE.md ef6a9893b73291330443f804c611bc14 AppB-ledger
RQ-AUD/AUDIT.md c5a779ac1c1648450383a3d66dac23e3 AppB-ledger(read-08:10UTC)
RQ-A/scripts/verify_all.py 9616edc67081ea4707eae44644abef3b AppA
RQ-A/scripts/quartic_verify.py 2f4323dcc2234822a23e76fcf613309e AppA
RQ-A/scripts/exactcert.py 54e01df25eaba2e3763f70d91f9359bb AppA
RQ-A/scripts/quartic_appendix_bounds.py 07246602e397ea70b70a36893acce2c0 AppA
RQ-A/scripts/verify_k2.py 156c5e1af098a0db4d5f38723008f867 AppA
RQ-A/scripts/verify_k3b.py c1ccbc0559944ad230dcc44b20f7b851 AppA
RQ-A/scripts/verify_k4.py 3bb94d3365195bcb790be286c4c52ce5 AppA
RQ-A/scripts/verify_k5.py 498c4f43812ea1dae44314bfbb8adea0 AppA
RQ-A/scripts/break_tests.py 4482e7fea8d231ef5272351931794c2b AppA
RQ-A/scripts/break_tests_k2.py 1ecb3e02ffc47f50940df88deda5e006 AppA
RQ-A/scripts/break_tests_k3b.py 0b4b7902bbba1a9a9cfeb1c9ca1cc0a4 AppA
RQ-A/scripts/break_tests_k4.py 5655ad91febcde61e38a13d968e1a50e AppA
RQ-A/scripts/break_tests_k5.py 61d3db20904801d4fef30a0e4a24ab5a AppA
RQ-A/scripts/fourbit.py 7a3f745e9bd78285d12774cc21b0929f AppA
RQ-A/scripts/bitlemma_k4.py 25e17494bdfdac4c710ec35d829b82f9 AppA
RQ-A/scripts/bitlemma_k5.py 8b8f00ebbaa9e1d14d793d37a0f73051 AppA
RQ-A/scripts/k4_kinds_check.py 38351967d22475e5929996876417d057 AppA
RQ-A/scripts/run_k3b.sh d5ba7dde6f6ba658c57eb211daa953df AppA
RQ-A/scripts/run_k4.sh 63315a98fecdb506034c12998b8a2093 AppA
RQ-A/scripts/run_k5.sh 6e6ee2ed3e3658a80e27bf1f2f380b54 AppA
RQ-A/scripts/far_job_crosscheck.py e0cad0aa50a0e3165775c4326777cdf8 AppA
RQ-A/outputs/verify_all_A.txt 0399f724ff906652b3255abf4ac5f210 AppA
RQ-A/outputs/verify_all_C.txt 287430f664208aa666c97cb8b64bdcb1 AppA
RQ-A/outputs/verify_all_D.txt b7f4a32b81808ae71d0ff0dfef4d01c2 AppA
RQ-A/outputs/break_tests.txt a5f4439868fd0bef48097b9e4ff1067b AppA
RQ-A/outputs/quartic_cover.json f528c4c3a350924d8f878d9375c58af1 AppA
RQ-A/outputs/quartic_appendix_bounds.txt 0b0bfb6b483cda07d55ad8e9b7e40169 AppA
RQ-A/outputs/cover/r1a.json 3cf50baab1b303eadec7b2225920446c AppA
RQ-A/outputs/cover/r1b.json adaa33cb7073f4aa7cd15c0f353a9899 AppA
RQ-A/outputs/cover/r1c.json b72637cdb18725601f06acb31fe770f8 AppA
RQ-A/outputs/cover/r1d.json 45ba2f8a264ec38acfd461a9c10f9c37 AppA
RQ-A/outputs/cover/r2a.json 856e58eb52b1169be1366f5440a7285a AppA
RQ-A/outputs/cover/r2b.json 2674e008c69b51c2682ca373e001846e AppA
RQ-A/outputs/cover/r3a.json ece11000a1f7d27371633d5dd71892e1 AppA
RQ-A/outputs/cover/r3b.json d91a1536ee11082f990ed9636f304ddf AppA
RQ-A/outputs/verify_k2_ABCDEFG.txt bc24250bddb651a6597b6b38a4e83d65 AppA
RQ-A/outputs/break_tests_k2.txt d3639d37b430ed8f1b16f9840aba946c AppA
RQ-A/outputs/k2_manifest.json 659b6f25fd6a18286dee08aec36635ae AppA
RQ-A/outputs/k2_MD5SUMS.txt c6184a11513351ac713baa4f1f487ff3 AppA
RQ-A/outputs/verify_k3_ABCDEFG.txt 670684606a92b2f1645efa8954d3f2b8 AppA
RQ-A/outputs/break_tests_k3.txt 7a74cd9fcb84f8e3b557aaf5ab24c7b8 AppA
RQ-A/outputs/k3_manifest.json 81c2d718d0fe4b622c941a8614014a6c AppA
RQ-A/outputs/k3_MD5SUMS.txt 613f681e46cb54101bc65817c03cedf4 AppA
RQ-A/outputs/verify_k3b_ABCDEFG.txt f67f5757814b193eb8533fa2b4394fe5 AppA
RQ-A/outputs/break_tests_k3b.txt 9e81c3f589e91ab68acf5e87aae06dd8 AppA
RQ-A/outputs/k3b_manifest.json 127ef15a05501afce16df6959bf0b17b AppA
RQ-A/outputs/k3b_MD5SUMS.txt 2074adcc86771803cae8dfc0d8e44382 AppA
RQ-A/outputs/verify_k4_ABCDEFG.txt fc576841709fb9ca812af9c006085df8 AppA
RQ-A/outputs/break_tests_k4.txt ec5b7aa9733a5b20ec9cc305eb8c31f9 AppA
RQ-A/outputs/k4_kinds_check.txt 974e9f25dbeda24d58c0143810548af4 AppA
RQ-A/outputs/bitlemma_k4.txt e2571f3b37b6e2b10f06095b67500641 AppA
RQ-A/outputs/k4_manifest.json e7ecde052c3cdfb8aa9ff66a4a77c4f4 AppA
RQ-A/outputs/k4_MD5SUMS.txt 3a8fd36640604e59a84e541305296d46 AppA
RQ-A/outputs/verify_k5_ABCDEFG.txt 618f03d11e540a51ccf687d18aadcc5d AppA
RQ-A/outputs/break_tests_k5.txt 25a283213ec8c5e9692ae03a4e969543 AppA
RQ-A/outputs/bitlemma_k5.txt 3d3579c3e5f34115c4f18be23ab9e792 AppA
RQ-A/outputs/k5_manifest.json 7c92bc42548526e7fe9273b04cdefbe8 AppA
RQ-A/outputs/k5_MD5SUMS.txt 918eb069b8149fe62613baaaffca2c9d AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/rqa_nsplit_k30_35.sh f00886a84f8ddd30cc2daae6cbc3f10c AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/certs.jsonl.xz f04f84350660538f2a14516139777122 AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/results.jsonl.xz 92ff2f63a897343305efa2bd3b8c4675 AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/run.log 500d0768a3c034a74d1f1afdf1269015 AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/versions.txt 03d4d659474d4305cac589d09ec27a1d AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/MD5SUMS_used.txt 11fd60e0b1f182ea704eb3cf55ce3f5c AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/OUTPUT_MD5SUMS.txt 4b512fc1324857d36686956ec3d988e0 AppA
RQ-A/outputs/far_jobs/nsplit_k30_35/crosscheck.txt a6eb1d7ccee1fab28f3e6df2eb81551b AppA
RQ-B/numerics/far_verify.py 250b89cc7dc294e54f6cb10af67d6ced AppA
RQ-B/numerics/cover_common.py 8dcd1e43eb9ce1f1f5baad0d15f0f67c AppA
RQ-B/numerics/cover_check.py a103517918c78086d91cee288c910b74 AppA
RQ-B/numerics/far_cert.py e29c117d5b44010ebc605708d5064ef3 AppA
RQ-B/numerics/cover_driver.py 97df2c94ce2201be971b63422192fc67 AppA
RQ-B/numerics/cover_controls.py be976156b27fdd9dd281de3983055c6a AppA
RQ-B/numerics/cover_semantic.py 1fbbc95d55fb5492c3733d2e4f2917bc AppA
RQ-B/numerics/cover_final/nsplit_D14.jsonl.xz 0883b5d96a037a6a4d88e64d5a4b9929 AppA
RQ-B/numerics/cover_final/chord_D14.jsonl.xz 3d7366f952b6d159df4f9dc5cc90b48d AppA
RQ-B/numerics/cover_final/light_vl025_D18.jsonl.xz 2bbb7484a1b420a0b22dade39448c6fc AppA
RQ-D/scripts/verify_bandstar.py b5b55ceec828f01debc6c1a422e7270f AppA
RQ-D/scripts/verify_bandstar_controls.py 7427d4c4be4ccd5d30e804360336f06f AppA
RQ-D/scripts/verify_plus.py c754a7305654c6635025f7e405dd98bb AppA
RQ-D/scripts/plus_verify_lib.py a7db98d4dac237f52493f6d085b97d15 AppA
RQ-D/scripts/verify_plus_controls.py da7aa1c57b8a364901a82066e14968f0 AppA
RQ-D/scripts/bandstar_record.py 6fcfd2e81fafcfad3c27ca7da0422359 AppA
RQ-D/scripts/bandstar_replay.py e38a1a9e187cba0fda225ca415c91a14 AppA
RQ-D/outputs/verify_bandstar.txt c36c17e52bb29948ebd55119097e2732 AppA
RQ-D/outputs/verify_bandstar_squares.jsonl 73a8da42b2c739cc01713566199d7250 AppA
RQ-D/outputs/verify_bandstar_env.txt 2d40d19e7d642ef687367b1c8dd9b8fa AppA
RQ-D/outputs/plus_cert/verify_v1.txt 4b52e38e2b67422a54da43ad752ad550 AppA
RQ-D/outputs/plus_cert/certs_v1_r0.jsonl e23d52dd72764e98fb579ae6dba2b85c AppA
RQ-D/outputs/plus_cert/certs_v1_r1.jsonl ee9307ee5d40850c0e6199df6478b610 AppA
RQ-D/outputs/plus_cert/certs_v1_r2.jsonl f5fe9a23f7ddd05ff70b7217731aa1af AppA
RQ-D/outputs/plus_cert/certs_v1_r3.jsonl 6d495261e3af634ebc32ef8c7ef18c63 AppA
RQ-D/outputs/plus_cert/certs_v1_r4.jsonl 3033710b0d34ca792aaa15feae577299 AppA
RQ-D/outputs/bandstar_cert/bandstar_leaves.npz 170d0ba8c98c8fbed9575f3c1525a452 AppA
RQ-D/outputs/bandstar_cert/bandstar_slope.json 353cfe2ad87153637ca05129df7ee4e8 AppA
RQ-D/outputs/bandstar_cert/record_squares.jsonl 8d4d2db30e96cba715bf9f1605c5f94e AppA
RQ-D/outputs/bandstar_cert/record_summary.json 2f94be6809c772ca014aa5a3a93c9aad AppA
RQ-D/outputs/bandstar_cert/record.txt d3ae2b0731a98170c99e7780efbd7444 AppA
RQ-D/outputs/bandstar_cert/record_env.txt 11c9c8fd26e75b87cf0986970299833b AppA
RQ-D/outputs/bandstar_cert/replay.txt 13c696a1b3f76c9a6da35e9f159cb1fa AppA
RQ-D/outputs/bandstar_cert/replay_selftest.txt bcffaef62cef7da92868ad0d433d0c2f AppA
