("8.1" racket ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" "59f788020e78dfde193870fbfce757ad510e6ada" . "96568fb911e71dbae9b88867b885380dec3b2032") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
