("7.0" ("1f5dffd6133d5a817d5610a8b6eb079f895e95ea" . "1528e6bf6e39531d809974973e0410499121170c") (collects #"racket" #"private" #"define.rkt") (collects #"racket" #"private" #"small-scheme.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt"))
