1c17ea90257a9948ce7c7fcb04b050067c0a946c22abbe9c2f4db464dfaa935c  ./logs/run_all_checks.log
86c1172b8b032488022256119fdc86f1e51abd4875f03c622102daa2c6130d97  ./logs/run_all_checks_full_no_topstar.log
57638fda7bc6fcbf01c7495f9039887bbeb7089dd1a985646940e6f8fb177eaa  ./logs/verification_summary.txt
78280f1893165c3bc6c51a294c4b9bc16aa32dece79dfec594dd1cde3a97b8e6  ./logs/verification_summary_full_no_topstar.txt
1ddcee93d2413ae7c7d2ebef6b8ba2650ed092e87b6e5d4ca9b9641cb106c707  ./no_topstar_exact/exact_critical_forcing.log
2dc58168451e1830f5a52cf04c460477b03157ccf9f5f32f8f0d2730cdf1f137  ./no_topstar_exact/exact_trace_minima_full_run.log
10637cf0d5175f79aea022fd5cf981f90e8d05f9e44d8dc05bed47788dee5648  ./no_topstar_exact/exact_triples_selected.log
94b4b934024851dfb756f218a46edcc7f3e726068b968addf906c4422a8dfe6c  ./no_topstar_exact/verify_no_topstar_exact_threshold_certificate.log
9d48ec92ece9176a584f42c9b545ee1e78b7dcec74183004d8a428839985cadc  ./no_topstar_exact/verify_no_topstar_upper_blocker_exact_enum.log
3773b4ac65d2272a322686ff7de45c8bd2b6868205e43a808f1b2f4c787c7977  ./topstar/topstar_common_den_verify_range_0_23.txt
388b49f7a6d7e1db85fbcfd00d3a2366824122c66e5db4901975f5dfca5648f0  ./topstar/topstar_common_den_verify_range_0_end.txt
7d6a56b13976215ab1ca04409387d3d40ccfc686a060f4ec0d339530fa8a19b7  ./topstar/topstar_common_den_verify_range_23_49.txt
05ed4fc857af6d411981040973a7ef162674299a3f51fdc5441dc373b4344734  ./topstar/topstar_common_den_verify_range_49_end.txt
