Converted from plaintext file to racket format.