("9.1" tla64le ("abf1ec1d5752ead63f536e2372a5b031077cee5f" . "d21207012801beb4f7543c39977f2a5c183b7c39") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribblings" #"guide" #"arith.rkt") (collects #"syntax" #"readerr.rkt"))
