../ DAproCoq1.0_df38-byacc-bench_region.tsv 29-Jul-2024 19:17 14948642 DAproCoq1.0_df38-byacc-full_region.tsv 29-Jul-2024 19:41 18403919874 DAproCoq1.0_df38-mask.tsv 30-Jul-2024 10:53 5199289 DAproCoq1.0_df38-model_lengths.json 30-Jul-2024 10:53 31500 DAproCoq1.0_df38-sequences.json 30-Jul-2024 10:53 1633867