("5.3.1" ("740af38f36ab6fb69519625b003069ba484b5ead" . "089f212185caa3a5a2712da3b3e4b03a6bf91f13") (collects #"syntax" #"strip-context.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
