("5.0.1.5" ("df4d433f3d1e19213f42d96454b145298428bfcb" . "4e408c29f2d19be8423df20635e93b8068b99549") (collects #"scheme" #"mzscheme.rkt") (collects #"stepper" #"private" #"shared.rkt") (collects #"mzscheme" #"main.rkt") (collects #"lang" #"private" #"firstorder.rkt"))
