Generated by scripts/retime_dataset_fps.py. Every frame of the source dataset is kept; only the time axis changed, from 20 fps to 4 fps. Episodes therefore span 5x more wall-clock time and the videos play 5x longer (motion appears slower). Frame counts, actions and observations are byte-for-byte the source values.
