("7.2" racket ("3d1dcd8c0a028bb3558e7670fb6efb4db033ee17" . "be81b7cd5c5f66e79864be0df2f77956f3616a71") (collects #"htdp" #"bsl" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
