("5.3.1" ("ea2ea8bcbf05b9ed4e65183d1c7b4b138b4a54a9" . "34692a2a16057f801cdc6f3fe426b340e457d84f") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
