("5.3.1" ("d8ad13e6768fe814d1690fe71ccfb7a457b3fb86" . "8a4fbd3ba4b94f4c3e2bd025c3e9dc2e3aad9d98") (collects #"racket" #"main.rkt") (collects #"scribblings" #"guide" #"dollar-racket.rkt") (collects #"reader" #"lang" #"reader.rkt"))
