22fc4d9ed87a1c587cf7356665beebf41afa35c6cd9d2cdccb4666a55854c949  ./README.md
cd7f8d1147178d7b91bef32a2b8eeb58287b8df646358598b8fe8bda86edf419  ./RUN_OUTPUT.txt
cd7f8d1147178d7b91bef32a2b8eeb58287b8df646358598b8fe8bda86edf419  ./THUBAN_DESCENDING_PASSAGE_NEGATIVE_CONTROL_RESULTS.json
5eadec05d85f356acc9e32f81b72a5f0e755f417ecf83a5ea3356b561b79076a  ./VERIFIER_OUTPUT.txt
47643e073a873f8f0fedd45e0dc13e7d5cf5870c8ab183d78658aa2ac2345bd1  ./run_thuban_descending_passage_negative_control.py
01b801f1ad08601b3fb999db6b99822fbaeb65b592256118937b4f173ca1c6d5  ./verify_results.py
