../ bb5_decided_indexes/ 28-May-2023 11:34 - other/ 26-Mar-2022 22:16 - papers/ 10-Jul-2022 08:02 - all_5_states_undecided_machines_with_global_header 13-May-2022 11:07 2659921950 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