("7.3" racket ("d0028d77e000b6df58d7c50b3ecdef24e1f2eb4c" . "5071a57cb61a4994d7e8955d5380f1e26223cfa5") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"struct-info.rkt"))
