("8.15" tarm64nt ("64daafff609660c6b88ef4527f5d0b8b2dcb8e21" "7e41f39c7ca571f1932ef53fd848697cdf8eba8a" . "78a13e6d5596aa23a632865e2575360001cc005b") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"runtime-config.rkt"))
