("8.17" ta6le ("c0cfc3c9010c375291b992f1c15319cd3c784035" . "169d3fad59e32180e3f5a08182cc1b0bf96146d2") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"racket-machine" #"grammar.rkt") (collects #"redex" #"examples" #"racket-machine" #"verification.rkt") (collects #"redex" #"reduction-semantics.rkt"))
