("9.1" ti3le ("8548cc4fe8c1dcc2df15dd4579371c4f964b4809" . "a81e8b18fe7a49a6a5fcce7d94f24b3a514a409e") (collects #"racket" #"base.rkt") (collects #"racket" #"bool.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"redex" #"benchmark" #"models" #"stlc-subst" #"util.rkt") (collects #"redex" #"benchmark.rkt") (collects #"redex" #"examples" #"stlc-tests-lib.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"))
