("8.1" racket ("c638adfc8ff3b103ab9d7cbe4ab034a4c5cb1511" "397c62905786de598c0cd3348cf8285339be90fe" . "787a55ee07c15f556d493fba31fa2a2c7983870e") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
