("5.3.1" ("1c64e44781bd7d4b2ae7f69a47da4982696a7094" . "d42ba5d14beb7d22dbe5f719ac8d3e6f966f137d") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
