("8.17" ta6le ("68ceec0a323d61d637aa409d9250dfc26429e028" . "f6c4ea8feebcc24a49797c41fe6d81b52398ab08") (collects #"racket" #"base.rkt") (collects #"racket" #"bool.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"redex" #"benchmark" #"models" #"poly-stlc" #"util.rkt") (collects #"redex" #"benchmark.rkt") (collects #"redex" #"private" #"generate-term.rkt") (collects #"redex" #"reduction-semantics.rkt") (collects #"redex" #"tut-subst.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
