("8.17" tarm64nt ("4e3271f6dfa2f80cc2174a1de626a3578e7c6c37" "bfa0f38e3857ab5e97829006fe686f9411934aad" . "f370c0a149d3adf045e2ed1e232b50611ccf44a6") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"case.rkt") (collects #"racket" #"runtime-config.rkt"))
