("8.17" tarm64nt ("bfc7dae8508b966a20459772c6fbc65d87a26ce7" "22b7bb15b82ca005fc0c90d9ab0857085cf37aa7" . "7c8552c8a4007177b5b1dc1374b80ce64ae2afe4") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"syntax.rkt"))
