("7.0" ("c638adfc8ff3b103ab9d7cbe4ab034a4c5cb1511" . "f2fc9ab0c9e12b45a937c5e8ee60df6f3b45addf") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
