("7.2" racket ("2959e77b95b6523fd7568f9003bcd3b3d20c18e6" . "c68e0ef85df70f305938ad131763894fb84a949c") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"small-scheme.rkt"))
