("5.3.1" ("27a46f46824d0b70fb9a74d30e98febafab8f3fc" . "20dc1e7f2b365994133bd2ed765f0c15f46e8c47") (collects #"racket" #"serialize.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
