("5.3.1" ("de58c65c431a5b5d935b7cf96d4128dd16b66638" . "a7020a8e8888833a866a73d57df9753f2e6ef754") (collects #"racket" #"private" #"define-struct.rkt") (collects #"racket" #"private" #"struct-info.rkt"))
