Turtle Arena data files. (Merged from arena-data to ebx-data to this repo.)