("7.9" racket ("893c6e45d0f5b98733ee9c0e40822f44c36d283a" "e2759d7fc572372da9cff0cabfe5d41fb4fb39dd" . "e24764f19465ca3acddff6684f88efde0ef0e4a5") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
