("7.9" racket ("de58c65c431a5b5d935b7cf96d4128dd16b66638" "18aa1b9e1212fcf9ed2c6af7c0a80845d2fc9120" . "58e66f697c545f086438c702f782cac44b8dde0a") (collects #"racket" #"private" #"define-struct.rkt") (collects #"racket" #"private" #"struct-info.rkt"))
