("5.0.1.5" ("e3db6a9d804bcae2171b12387830ed1d0001a193" . "b4dd4d2b3c4c83bd098220fac41925ad6ce4206a") (collects #"scheme" #"gui.rkt") (collects #"2htdp" #"private" #"timer.rkt") (collects #"scheme" #"gui" #"lang" #"reader.rkt"))
