("7.0" ("85cafaf525ba094da0edd6d550ce168e832d5aca" . "e60d462716d07d5529542f452d28e238a865ff37") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"system.rkt"))
