("7.0" ("0e3dc4c6225f39b2e71218e32f37dbc1b7614aac" . "07591efafadf2f01568ed44448acdd754f8b0138") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"sort.rkt"))
