("5.0.1.5" ("340943f8d33f1d7e00a784dc589880316ac1a9fc" . "6a9df686c090d22952ecec7de2fba3ebb6f8a0dd") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"class.rkt") (collects #"mred" #"main.rkt"))
