("8.17" tarm64nt ("de58c65c431a5b5d935b7cf96d4128dd16b66638" "7613b0bb6ff7c68afcb4e0b0c9e945663d135f9f" . "82e5e0f139e8a4bf810a9a533438bec7993fcb79") (collects #"racket" #"private" #"define-struct.rkt") (collects #"racket" #"private" #"struct-info.rkt"))
