("9.3" ta6le ("29589bdcea06651228e88942de166083053724d5" . "3f50e668b3c0b00fc9e4cc574c5d88bb22c42075") (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"))
