("5.3.1" ("ad097d0b4b96d36cd6f71e1c7f4c4226132b2859" . "de953d3e58fc47da57f807b2a0ffdf606a957bbc") (collects #"racket" #"serialize.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"function.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
