("5.3.1" ("37c8eed027d9f1f67939d120f9c2ccb6240e751a" . "bf60cf9536ffcc5f3571a35716a7cec3f33ff7d5") (collects #"file" #"gif.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
