("7.8" ta6nt ("7b2b7eb43952ce625cda1cb5daaa0def56b6c5fe" "e71c7b82daa78900a5da15a534d6b446c444fa9c" . "7c6fd0a8a5e4d63718ff999bad845d7f664982a3") (collects #"racket" #"enter.rkt") (collects #"racket" #"help.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
