("5.0.1.5" ("97f747868722584072b72afbfbfd612f0acdfc7d" . "f6400c0fcc2b195b93009c9f4cd1887a5a0fcc4c") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"htdp" #"arrow-gui.rkt"))
