("9.1" tla64le ("bb87cd01c3851efe7ee4151ade7cd98e4425b8b6" . "cc042dfd08fc25c8a597d582c65c11770b9f7659") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"rackunit" #"text-ui.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"3.rkt"))
