f2a95cb0f2e12bb1c2352bac6baba3a4c7eb95acc841bebc86b750c23c8262f2  bin/O3_identity_checker.exe
23cd4c43235207e0733bdecdb3b1a48448d510aa08faef637333f9477859d03f  bin/two_components_finite_vanishing_O3.exe
763dd899cc5542dd2601597902297defffc1e52abbac3374cb0f8988398e98ad  bin/verify_finite_vanishing_certificates.exe
2dc75691f012eb0f7bf71d916791c4265125ddc0d7c577cc5d4427f40285ec03  certificates/diagnostics/pair_26_p5_BAD_PRIME.jsonl
b73cb72623ba89e6955c5db9afb5c2535d7bc3cbf3092591f06b67c36a47028d  certificates/diagnostics/pair_26_p5_BAD_PRIME.txt
bc69bf57240a6e49c68df8bdcb146cd25d2c4f9dfefcf200ff6d9bc71c303085  certificates/proof/cubic_smt38_p5.jsonl
5d407b869ddc56defd2efa56febfae1fbac6e8dbd7ce3b1e6df9b1f8d8b55546  certificates/proof/cubic_smt38_p5.txt
4cdb406132a608fe24e5f3dc685e4052f05e908da4e04147b76714e1a4ee0300  certificates/proof/pair_18_p5.jsonl
88c11bd0ad6814e860addb4dd6d4bd89725d770ace427548ae6767d231d395a2  certificates/proof/pair_18_p5.txt
37066f31909d44d2da39df846f6e82d62dfa329295ed77b66fff079820bbcce8  certificates/proof/pair_19_p5.jsonl
540f13a0abdc9b15d173631429789feabbe5258ea22a6cdb208c8d16077040ca  certificates/proof/pair_19_p5.txt
d344fc9e55b990d9a7e03c1fa70832ac4503ae12e08f8ec9e8acd34ef08a7c0f  certificates/proof/pair_25_m8_t3_p5.jsonl
1cd6730ac5d0e383305524db7231706d52aa1c4762d410a6830abff0ea01f336  certificates/proof/pair_25_m8_t3_p5.txt
ec29b7135f077f3ce8c50d586c166361901faf967e5cbff74e4488308b6b7e09  certificates/proof/pair_25_p5.jsonl
f5d0a98b16c04df5ba6a57a3a9345d7cf1670edbbefbac14c8f751c59603dc95  certificates/proof/pair_25_p5.txt
7536a3ef5d3d70e4fc48014be7c5d86aea12d3c2ca667df4e4c216c06cc8efc2  certificates/proof/pair_26_p7.jsonl
b6a8a6a5bc794637da4f1347254392db233c44243051ac34fcab689fe33898a9  certificates/proof/pair_26_p7.txt
51a2e753d8702abf43792c2a7ae30d2ae02fac943f514ac0dfa33dc98b149756  certificates/proof/pair_34_p5.jsonl
6aee27564bedd5dd0dc19b1d684dc2d7b921f1872b5cc862eee0b570afd62d1a  certificates/proof/pair_34_p5.txt
dc0fbe7da33d6fb2def79b0e6ff28f4eb5a5870a3475064c21149dd5ac73dbae  certificates/replays/cubic_m9_t2_p7.jsonl
075e7dbc66a28cdc055020260442832908d271be3b516a7df40ceb248b39fc9e  certificates/replays/cubic_m9_t2_p7.txt
1aa004ad2c224b70877efca1dd399c8635572e99bd1a53c5a4de109d3759b445  certificates/replays/pair_18_p11.jsonl
95ea81390dd6a2738372c294fae152fe51c0fe0b06852d03e7da96f4207e8b19  certificates/replays/pair_18_p11.txt
3733a3a458c7946fdcebea449972a6e9f634d60058a64c31b410428fa2bd74ba  certificates/replays/pair_19_p11.jsonl
11c773c1e79d5a92032b2ae0533f3df643cfa63e6e105e08a0f6a603dba4cbff  certificates/replays/pair_19_p11.txt
7ee590823256f95a17fd10fb66abb2b82c726bc3e2af7511f859bb1db269d666  certificates/replays/pair_25_m8_t3_p7.jsonl
4ac0361ae73e064cf94ccddab4b9c3796d73e782909264fe296ecf27e5427d1d  certificates/replays/pair_25_m8_t3_p7.txt
92fb8a1a602e11a426cd4e9d3648fea4bc5e746302c5c499479fc68a097a767e  certificates/replays/pair_25_p7.jsonl
53514123afdce3ad430fd6cf0a0c281c3096508ea3ed69bfb22107f1524a0f82  certificates/replays/pair_25_p7.txt
87b68c296c332a1e0d7698f703685f7d9a887c5609fb3a0f03907062819f4f6e  certificates/replays/pair_26_p11.jsonl
5a671ba6641439b6234ba1e2519d8070fc43619f65a5c0e232ea6222ae2288b0  certificates/replays/pair_26_p11.txt
92d7d528841c849be40261b38052fa3571ed35767534386c99799c7cde6799cc  certificates/replays/pair_34_p7.jsonl
4e14afd19faf5aa343fd2ed71aedb15dbd3541757c52c73742063ea0a65cdbe3  certificates/replays/pair_34_p7.txt
b48f65e4bba5d10be76237d9077acba5e232c8a6877cb14c897f7c394ea7516a  documentation/FINITE_VANISHING_COMPUTATION.md
3d263d892fca83062a5c31cc28353495f84d66a2465d3a24490df79769532640  documentation/MACHINE_AND_TOOLCHAIN.md
43b32180fcc124a8c7f1ff56f0ab2908ba7b2f111fb73e35f54dcd07a923e39a  documentation/UNEQUAL_DEGREE_CERTIFICATE_SUMMARY.md
0507a9242fcd7e8c006741ae8e7836891c40747fe2450828faa08203ea11cea7  guide/README.md
219300e75a27598caee8c926a20f6fc5ae408c5baac28e19bdf883bd9527312c  guide/two_component_computational_evidence.pdf
23fbacc83520c76185bc63d26390b2e67456ca84e8894d74c1c6960aa8189adb  guide/two_component_computational_evidence.tex
28883712c9cd035b4abef193c6645bc732752bb19d1a6467d32a105114723bf2  independent_audit/compare_oracle_to_cpp_dump.py
0d6f3cfbf57480c16e407a7b25c143d3b684904ffb063b9d5ab9c7f50e47d0e1  independent_audit/compare_replays_to_archive.py
d9148cb069d560236bf1c4fa145f9d56afdefc30c12b0e4b4a2f97037a6cb735  independent_audit/cpp_small_matrices.txt
32ff4c9d95e412d130c0b1cab761684b3ed7627cb31a953492bc4e5e3b419305  independent_audit/dump_cpp_small_matrices.cpp
ae5ea39ada1562c3faacafecd701555201c2fe1a632b490d37b2f412010a9730  independent_audit/independent_symbolic_oracle.py
bd0e4ba4847b40e0077575824f13a34ba9262b1c1da37cdfc88e9b1afcadc6ef  independent_audit/independent_symbolic_oracle_results.json
d51c7efe946a6cb66bb75efeca46138805ee5c8bd0ba05a5b5859ac62ec799cf  independent_audit/oracle_cpp_entrywise_comparison.json
8284e55dd8da19cf8695ff4b35a903cd894c1746c3d55d4c1e7de9205b437e8e  independent_audit/paper4_math_to_cpp_correctness_audit.md
3b243819d31fc10c55f637a11647d41a49f077cf9b2241a68b4fb4bb17008a44  independent_audit/proof_case_replay_comparison.json
b5d20db9c64e16a01d9e3729cdee9ae07e30263f76a350794a252e2a24e1a933  independent_audit/README.md
c2bff7ddb1442968c222defd3943f0aa0609d6c4478c56f6c31425be08ae9792  provenance/legacy/ASSEMBLY_PROVENANCE_V3.txt
c2bff7ddb1442968c222defd3943f0aa0609d6c4478c56f6c31425be08ae9792  provenance/legacy/ASSEMBLY_PROVENANCE_V3_REPORT_COPY.txt
fce60bdbd83a3271791d39ac829ac70c20a9644c835272c805c811fc44f974e2  provenance/legacy/cubic_smt38_p5_legacy_v3.jsonl
5f1025a22fc7f866597724b8852fc33830ea63f7e5b8061ed7c3d0f87cd86ba4  provenance/legacy/cubic_smt38_p5_legacy_v3.txt
80faf925c5017b70f3fa7d05e2916b09743075aabd709c8cca13b9f010e64e3e  provenance/legacy/EVIDENCE_V3_RELEASE_AUDIT.md
5833dea4d3d7b30c5d565d7e4929a8cd549d8ab8adbc22cf44ab367764773466  provenance/legacy/HISTORICAL_M14_RUN_PROVENANCE.md
856b0076d7d5e80ebe33bcff1c5f9dbf21297bdff6050ba5f699f7fe614309c5  provenance/legacy/README.md
f1e397ffa22ff4a6b4e86d729601af4b9489b40839c4fa6258a46c840f9bae9f  provenance/producer_snapshot/two_components_finite_vanishing_O3_pre_nomenclature.cpp
8ce4ae756dae16d5faf3e47c54d43dc657b81b9f14b9aac824ec661dcdfb688a  provenance/producer_snapshot/two_components_finite_vanishing_O3_pre_nomenclature.exe
21a25093de0a55727fcdb565cc9fd288dc4ed30b1615606bc9595f0dce9d1252  provenance/two_components_finite_vanishing_O3_m14_actual_producer.exe
0477f4917ec3962da6e94a8ef0dfcc2bb794bc94e9b626d67940fdfea1c242ae  README.md
26978f0265db9d9bb93aceebb1cfe2b0f714939948655b994e779d113ef030f9  reports/BUILD_AND_TOOLCHAIN.txt
21dbcde955175ddad9128f8c573a5dbaccc1c79ed74774325fa2da1f8e63a175  reports/CHECK_ALL_SIX.txt
ab4958eef293d81b7e07358b10c75d9319488c30c96ad70296cb6d6c22c7ab8a  reports/CHECK_cubic_smt38_p5.txt
60b211c14a95e7d001c696e513ebc81d79c803e4d800b705ca0a3f9380fef5e4  reports/CHECK_pair_18_p5_p11.txt
a779c8ae3ef33d8654c3272674f9342e7ef0bb27b2a7a50bfda131db004d3b18  reports/CHECK_pair_19_p5_p11.txt
b203ac26fd0188867d2554608a4b9e4f49ba03cc1e17c0170b82a3044a6bf1c0  reports/CHECK_pair_25_m8_t3_p5_p7.txt
af89441b09372b54918bd612d6e5ef19df97adcb5ed7ebb159934e89e4f067b0  reports/CHECK_pair_25_p5.txt
c02fcd55908c1bde2911463599e3e0c045942ba89be2feff4bba87880547b05a  reports/CHECK_pair_26_p5_BAD_PRIME.txt
7376db30d2e77f21d7c0a9bfc69d41306d47f871bea010c024704ddf0e8cc7bd  reports/CHECK_pair_26_p7.txt
54f2ad57a5dcad39b59186427fb8124974bd11fb3eb18d0cd8f2e5fe0eb13637  reports/CHECK_pair_34_p5.txt
3ed84d22d04c4425829e75fe42f61341dd29d55c3bedc46fa3e1d77f3044f6ef  reports/CURRENT_SOURCE_CUBIC_RUN_PROVENANCE.md
bb4842554f14992818e5ba480b841de1cb82d6b5104852e1e7bc0d2bcb3fdd7e  reports/DEGREE_ONE_AUDIT.md
daf44d3f88e19e31c97ecbda9ec5d95579874d7d21e672cd5b2032df1c8b5d71  reports/FACTOR3_FRONTIER_AUDIT.md
ab17ae0233ca9ce27772f45515fb175cfb635608b4c7bf87739eedf439b55b42  reports/FRONTIER_ESTIMATES.csv
5a108b6d21a313f7bfe4e34a58fd8cfd2d8b6861966abb552d6a31708924b358  reports/FRONTIER_PRIMARY_PRIME_SHARDS.txt
2f4cdb30e17a140c03c9de886d6512680b78d0987d0c44950fe94f947478cac0  reports/O3_IDENTITY_CHECK.txt
46b9058f34dd9bfbdf9e7babcb4a4a2f389d1664cee8baf93293fd0200102258  reports/SELF_TEST_p11.txt
2b7e45570ace813e9469af4e1524b1b07b61dccb7e5ff49308d3440f59bfbf79  reports/SELF_TEST_p5.txt
5e7e9403957584a0675b3896459ea74c7339ba0bbfdca04cbf5611c1db09ac33  reports/SELF_TEST_p7.txt
f63b15d9f86839474fb18e7b1f4c168595ae9d6cc0e56c141ad9681dc445b648  source/O3_identity_checker.cpp
cc7a1825adcc2226c882f78f3f239dd3c026ef25c9d32e0f1f8cc2baf27766d0  source/two_components_finite_vanishing_O3.cpp
629bbbf94e27a5bb5b318d8dca07a6a0e946c936c22003e4abe6cbddd94e5295  source/verify_finite_vanishing_certificates.cpp
