("5.3.1" ("209739882aeda55c76f9e64a5ff8a42b980b9be6" . "fc3b7ca66f5e8a0a2a5f83931ff786293aea04f3") (collects #"scheme" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
