("8.1" racket ("104abb8ca6c71ab1aa3995bf0f5ab21fa372b340" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "c0519f0da1dfe43ae9634233f84f8a41cad9da5c") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
