("7.8" ta6nt ("e0793e59ca11a3bbef69fbb0fd44ebba029a862d" "0abd615bdffe3f30a148e7a7817b176721664380" . "983da82cd1985bb92af8e94f12e38a6e130dfbfb") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
