("7.9" racket ("ad80b0aad1b12f82bfd57654dd8d96316f814c30" "e2759d7fc572372da9cff0cabfe5d41fb4fb39dd" . "dc325204d11964e0baaefb38a623f0ac82c6c3da") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
