("9.2" tla64le ("8682a2631072d2298df4bc5c7fa090eaddfaf13a" . "0ab1e48d8a1dd9073a29611011f3ccb1f592e802") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"reader" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"literal.rkt"))
