../ CoqBB5_release_v1.0.0/ 03-Sep-2025 13:02 - bb5_decided_indexes/ 02-Jul-2024 10:47 - other/ 09-Aug-2025 13:18 - papers/ 26-Apr-2025 10:26 - preprints/ 07-Apr-2025 14:20 - all_5_states_undecided_machines_with_global_hea..> 13-May-2022 11:07 253804251 bb5_undecided_2022-09-08.std.txt.gz 06-Oct-2022 18:59 6027984 seed.std.txt.gz 06-Oct-2022 20:05 268142912