("5.3.1" ("cfa212b40c84beae86806cbbef2e825c3a86842e" . "b1f31c2d72d70bf12ca45aed812566c87d4602f0") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"readline" #"mzrl.rkt"))
