("9.3" ta6le ("f852c948108644efedfa797fdeca6015b17267eb" . "5d7fd4259da2edb88e5544c7ebf7ab8e6039650d") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt"))
