("8.17" ta6le ("9cd8943c7ee136aa7e0853c6be1bd1f5512820ee" . "e428897c599f55ab61485b51e0c83ef27e599fca") (collects #"htdp" #"bsl" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
