("8.1" racket ("de58c65c431a5b5d935b7cf96d4128dd16b66638" "f93d0d075d69b821eb0d06e02a5f552f0b4dc8e6" . "b4fae5306da9f593c165b7f13ca27381b778f0c3") (collects #"racket" #"private" #"define-struct.rkt") (collects #"racket" #"private" #"struct-info.rkt"))
