("8.17" ta6le ("29589bdcea06651228e88942de166083053724d5" . "ff6eb7c1b1bc36e0b3e7e7d96448156586f6c025") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark" #"models" #"rvm" #"jdg-grammar.rkt") (collects #"redex" #"reduction-semantics.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
