("5.0.1.5" ("47bcb737106c22d09fd4c4387d0e56fa7570bec1" . "b4e4f2cb475453f7b1f2452cf0a7c8f1b86c48a3") (collects #"racket" #"main.rkt") (collects #"xml" #"private" #"structures.rkt") (collects #"racket" #"lang" #"reader.rkt"))
