("8.17" ta6le ("f852c948108644efedfa797fdeca6015b17267eb" . "ebf27e1c6ba655e9e3b4251967745676f1d26e8a") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt"))
