("8.1" racket ("ad80b0aad1b12f82bfd57654dd8d96316f814c30" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "6f91335f1d293e9fdd91cddd660fdc2f7c394de4") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
