("7.3" racket ("de58c65c431a5b5d935b7cf96d4128dd16b66638" . "804e2a45358e1b9087eedc996e207a08d8e2b4c1") (collects #"racket" #"private" #"define-struct.rkt") (collects #"racket" #"private" #"struct-info.rkt"))
