("9.1" tla64le ("8682a2631072d2298df4bc5c7fa090eaddfaf13a" . "54cb6a7e604b75e0fc323de7b28a74047a41a09a") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"reader" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"literal.rkt"))
