("5.3.1" ("786922eb7338ef334842b29d2e9c937a7dfa64d7" . "4d383cccfe4eacb6bea5313cba09040b1a730c55") (collects #"racket" #"contract.rkt") (collects #"racket" #"base.rkt") (collects #"xml" #"private" #"structures.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
