("7.3" racket ("2959e77b95b6523fd7568f9003bcd3b3d20c18e6" . "0eee37308f59e49a0ac8cf54516d3f99ab34fc0c") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"small-scheme.rkt"))
