("7.8" ta6nt ("64daafff609660c6b88ef4527f5d0b8b2dcb8e21" "fc557487e4f2edcb75ebfabdb7fb9b6ec1f340f9" . "c733cf3e2a2ced7c750391edba76f5f846a0d737") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"runtime-config.rkt"))
