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