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