("5.3.1" ("38baebf488695750c77b77cc35949154f9e6c055" . "811f52b07105d644fdaa453b00e66174ea2a56dd") (collects #"scheme" #"base.rkt") (collects #"mzscheme" #"main.rkt") (collects #"scheme" #"sandbox.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
