("7.0" ("9c1d19dfc15f40ee4b2ac525cfb089f5de670f1e" . "57c9dbb5a809cc323a9ee7f22bde1a4ea4f9541d") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"runtime-config.rkt"))
