("8.1" racket ("a0ac8f13dd5357802a46eb1f23d6bd50da55b3cd" "34a3764a396a009ab767b129204c355ca9dbb9a9" . "beb7ae1d5af9d6f96e956791db232f6ba6e553f8") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
