("8.1" racket ("42970e2bd05729de72cf24e87a0b7d8ce8188b9b" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "150ef19912bf1bcc5e847c639ffb5d43ad0c697c") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
