("9.1" ti3le ("dd484ec62647d2da295819b13166564902b9572b" . "a8f86444119e41f5acad49d04b27c0b4bfa1fd4e") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"racket-machine" #"randomized-tests.rkt") (collects #"redex" #"reduction-semantics.rkt"))
