("9.3" ta6le ("5b6c40f37f6e6ce1328858937e0fefa7fe9ddf25" . "05ad8a5035b0746805efd80471e0665285f5b398") (collects #"racket" #"base.rkt") (collects #"racket" #"bool.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark" #"models" #"rvm" #"verif-jdg.rkt") (collects #"redex" #"benchmark.rkt") (collects #"redex" #"examples" #"racket-machine" #"grammar.rkt") (collects #"redex" #"examples" #"racket-machine" #"randomized-tests.rkt") (collects #"redex" #"examples" #"racket-machine" #"verification.rkt") (collects #"redex" #"private" #"generate-term.rkt") (collects #"redex" #"reduction-semantics.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
