("5.3.1" ("de44199b4652bc5bdf62b4efe3123e6418c86319" . "a62991c2066c53a466852fe2a17999d5fc68c187") (collects #"racket" #"private" #"define-struct.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt"))
