Due to whitespace vagaries, etc., a sample correct output has been added to the test case files, but isn't directly checked as part of verification.
Michael Martin