("8.17" ta6le ("dd484ec62647d2da295819b13166564902b9572b" . "dd603ce3b3b747a708e3b181ee84613a9b4deeb6") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"racket-machine" #"randomized-tests.rkt") (collects #"redex" #"reduction-semantics.rkt"))
