("9.2" tla64le ("00be4a29128c1c2931dc7a2a6c7118aa66cd54cd" . "69f90ab99e8d61c68ea5ccaeb77e3d6c694fd5f2") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"1.rkt"))
