("5.3.1" ("61c6e5400a6cbd0c68480a264bd9ff1679a42c8c" . "574e74ffc81705be8e1637d43bcb0db61d269cf8") (collects #"srfi" #"4.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"contract.rkt"))
