("8.1" racket ("e9082a0c317f9aa8e010de0a11c111c47c286369" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "7b3f04dbbfa99e5df2f82a7cee968fd523e66aec") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
