("7.2" racket ("b4cf6122da083bc579026bed3f50e640210dad4d" . "b7c943ccb7811ae6f782beecad43beb52b853c3a") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"sort.rkt"))
