("5.0.1.5" ("605c5607b9eb70597245d527cce83e2b0c455ded" . "1b6a766ec594ac0017827232076ecc1df58e1664") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mred" #"private" #"kernel.rkt"))
