("6.12" ("00be4a29128c1c2931dc7a2a6c7118aa66cd54cd" . "710b61000d197e7aea7b1513be5249e76acb4f02") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"1.rkt"))
