("9.1" tla64le ("9ef72a7300fbdc469a0be034ae19823570110f26" . "4fc29bb4cc22601bc757f64df0619bfcab69051d") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"dollar.rkt") (collects #"syntax" #"module-reader.rkt"))
