Notebook and Racket files for Ps00