("8.17" tarm64nt ("c638adfc8ff3b103ab9d7cbe4ab034a4c5cb1511" "dab9279540793dac7ca8a94592a9f3a327193452" . "63c7b4a60d9cdf94d47f3224cb7f6788e2f7b8f1") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
