("8.17" tarm64nt ("7fbbf3de0ea50315719c694bade9d726f7ca8634" "dbf8952c9bc40144140d9a628d2fa8efd12faa4b" . "a3b787d7027db632ec8210497a1dff5298bfa3d1") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"intdef.rkt"))
