Issue #9: Generated passing files

I generated them randomly, then went through them by hand to make sure
they're correct.