("6.5" ("8c2cd3fa574f957c496f454bf301f9b7c7966b15" . "1893a7ac0eaef6246fedfd42a3310f634f5964c1") (collects #"htdp" #"bsl" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
