("7.8" ta6nt ("c936c3442dda718f56ff2717efbceac61099ed9b" "010b7041f30c29352dc38b20a3daa8de46e98347" . "89add063243af465710e165c7bf9016c4f2ad561") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
