("8.1" racket ("7fbbf3de0ea50315719c694bade9d726f7ca8634" "cfb28fa0373fb327b3b0147e4d8e3f47a450ad3c" . "b4b7c458f7eb89b2e2823a3660f4575577e9cb8c") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"intdef.rkt"))
