("5.0.1.5" ("da51ac00c2fcdd5da759dc6cf1e35aed331daee8" . "8a21b22569a361cb3b315f896e9a940db9d14ec2") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"htdp" #"graphing.rkt"))
