("7.0" ("e0d5d27656dd84e556db96a789c47bc558cfa4fc" . "8b817fa2c9520898c605b7e283cc3ec4ea605d72") (collects #"racket" #"private" #"pre-base.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt"))
