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