("5.3.1" ("a6a25fd6682754ec0df6a900a58c05dee36b089e" . "7c2325e71242a2049913eb15a50b10b101d6c9cb") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
