("7.3" racket ("b4cf6122da083bc579026bed3f50e640210dad4d" . "7459a5c93c02fb053a6e450ca675fb97fb06e4aa") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"sort.rkt"))
