("8.15" tarm32nb ("93562b51377e339cf8a7102d039626ce8e943072" . "e5a7922de00b958ad4f7ffb59aa98c2ccecb8a50") (collects #"htdp" #"bsl" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
