("5.0.1.5" ("368e231bce0c7df2c9f7e2e4827099f4879c132e" . "6000d0474b2764fd90fb74e4f980d054f967343e") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"private" #"guts.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
