("8.15" tarm32nb ("00be4a29128c1c2931dc7a2a6c7118aa66cd54cd" . "f949f2e6155b56602b7659d24f19ae111f66681f") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"1.rkt"))
