("8.15" tarm32nb ("e11dbd9b3229774ae5cdd89da986b7c9d85be536" . "635fce5f6e0b9843f369573934e8b2372293dcf5") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"racket-machine" #"grammar.rkt") (collects #"redex" #"examples" #"racket-machine" #"util.rkt") (collects #"redex" #"reduction-semantics.rkt"))
