The following files are provided, but other variants may be used. (If a file starts with blank lines, remove these lines.)