("5.0.1.5" ("fb760b644dfe6222cbcbf727f7c8cfafaf6b7fb6" . "f6f37dcd3d390a8d7bb0ca0c2f162a58aaa07bc5") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
