homespun extends automata benchmarks counterexamples Lowery orders Kossuth Thanksgiving allover aviaries
