("5.3.1" ("83cbc231f4eee57cbbd2c330c7ebeb8fcc43eb8f" . "dcd78edb92ff95dd38e365928fae53e69efd188b") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
