("8.1" racket ("8635e05cf736b2e4f7eed79857ff8d14de2f3f1a" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "1a3f7c26d0ac4e91a92edb003bd2b6790f1ef88a") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
