("5.0.1.5" ("740af38f36ab6fb69519625b003069ba484b5ead" . "e1b8f3df10fa7ff0f5e8551832fea5a1d9bb8344") (collects #"scheme" #"main.rkt") (collects #"syntax" #"strip-context.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
