("5.3.1" ("ed8480e0d0960e59c3d421d83915ce1e7bb5698a" . "2a138a60a4f4a890ea0644e35bb0c7da8bbdfe65") (collects #"racket" #"serialize.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
