code: def filename_to_task_id(fname):
    
    # This matches the order and size in WikisumBase.out_filepaths
    fname = os.path.basename(fname)
    shard_id_increment = {
        "train": 0,
        "dev": 800,
        "test": 900,
    }
    parts = fname.split("-")
    split = parts[1]
    shard_id = parts[2]
    task_id = int(shard_id) + shard_id_increment[split]
    return task_id
docs: Map filename to the task id that created it assuming 1k tasks.