("5.3" ("890ce1fac6af644a6394099133a0e16e82763c14" . "5d30636bfb52c5f5a6c1fc03e0e3acf04e7fb4ee") (collects #"scribble" #"struct.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
