("5.3.1" ("ae663a76c4567ff33de9b9a71a7b6d46098fa90f" . "bdf4571ddf68a98eba701ae2953fba4d7d09e7ea") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"string.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
