("5.3" ("0e1800e9bc51e4f965e6e148c534a7b235377a40" . "82e405cf67ee5b9b01ddf6a7c99f05be70598917") (collects #"syntax" #"readerr.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"lang" #"reader.rkt"))
