("8.1" racket ("bff015573e43a278dff1ed6fadc5ceb7df3a0aa6" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "7092dab82de03d8f035875c7f050e323c9a973cc") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
