("5.3.1" ("ecc2c4a72d7e9b0a159d5d0289f40500b31cada6" . "89bb22be0d9043897edd239e6c89a55912cb1402") (collects #"srfi" #"41" #"streams.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
