("8.17" tarm64nt ("df0dfc4fc046c370a48ff52ec354f5011b5cde6d" "174a0020592496b18a5512ef1b9ad9ea668f63db" . "dd1de024f41ba2de23e8019d76485c8f5cc090b1") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
