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