("7.8" ta6nt ("37761c7d72dd97dc4cee4c083650523ec8f713fe" "9d5cfc01cf8460052d989b43f48405c82cd5ce05" . "c8552696aa7df0b9cb98c001b5f3157bd4be3d0f") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"undefined.rkt") (collects #"syntax" #"kerncase.rkt"))
