("8.1" racket ("2a0a5df8a7f337c2ca32be52cc578f0bd8875b70" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "bb2b72ef5afa3e6af531bab0cc40e2933314d254") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
