("5.0.1.5" ("78f1888e0fef0fd2b04d5b6b4cb79e2ecccf8b5b" . "2b572cbe4c6e8c5e0a60bbdefb13d63c3e2a1c74") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
