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