("5.3.1" ("d1b084f02cfcb6f900c53140ed5d2398540a965b" . "6b222424277bbd094d9b1b9027f6d0d185cccfda") (collects #"scheme" #"base.rkt") (collects #"scheme" #"mpair.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
