("5.3.1" ("7721c8e33dec4d96a426acf571ba1420c2e6acd2" . "e0602e33d8bbe799f3bb76e6d2820044ab9051ff") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
