("5.3.1" ("c7d2e191735e76a1b0e8bfce8c235b64e61d661b" . "d87fc04eca0bd08c5f9fbbd7200bbf1de528a7b3") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
