("9.1" tla64le ("7b745cd30db801c7f171da7e7ec05ae0f831b909" . "24e7134a38f750e30a0bca1c8c28bbacb5e76f4d") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"provide-structs.rkt"))
