("5.0.1.5" ("cec9e090c1b9942005fe71b57f00d65e91d58d35" . "4bee2d4c6e4b037e2f269897a6ce2a33064df218") (collects #"scheme" #"mzscheme.rkt") (collects #"lang" #"private" #"firstorder.rkt") (collects #"stepper" #"private" #"shared.rkt") (collects #"mzscheme" #"main.rkt") (collects #"lang" #"error.rkt") (collects #"lang" #"htdp-beginner.rkt"))
