("8.1" racket ("37761c7d72dd97dc4cee4c083650523ec8f713fe" "3b17cd707492cd684b1dabc9b4cbf71873bdce2c" . "1b7cc9d6f4f2c8689c8c48eee3e802843a5003de") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"undefined.rkt") (collects #"syntax" #"kerncase.rkt"))
