("8.1" racket ("cbfeb2ea1fcdd69ae2a77a4549799c702ed57728" "994e78dd2b35953a11964d1f50e32eeaf6117fd6" . "30cb163650f3b2eb3e1274f0cdb65039edd93305") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"runtime-config.rkt"))
