("5.3.1" ("890ce1fac6af644a6394099133a0e16e82763c14" . "99cd448d6404cc4bab292ef8f95a6b69b5ab2f43") (collects #"scribble" #"struct.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
