Add a missing processed input file.

This partially addresses #196 by adding a processed input file we are currently missing.