("8.1" racket ("11e9f793f09a06a0a17a7a22719725e9b2458bb9" "d917fd381c516aa374f156548b87ecf74e4890ca" . "3e88ba59a32db0aacca6ef958ae44a1fa2fdd288") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"module-reader.rkt"))
