("8.17" ta6le ("9273ee57b9131a45220d477c3a22312c78ab44fb" . "2b4b65f4535494ee10b744da68959bedbc82cbd9") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"tue-mor.rkt"))
