("9.1" ti3le ("c164b93181c75c40be3f9e967c9aaf7f0591e2d8" . "3da4a3145a517499c2b36bf8959da4407eb38048") (collects #"racket" #"base.rkt") (collects #"racket" #"bool.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"rbtrees.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"))
