("7.0" ("048d58eca56da4288828fb614765780a1575cc28" . "d5731a707fec56f3b2930b834759028ef135a95f") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt"))
