("8.17" tarm64nt ("89f7ade2903259720d033c764681e4ddbf5bdb1f" "ef12e96791ed0e0e7b2830ceefcdca2082821c5e" . "4d4a68e7ad0ff624ab1a08f50990aa9e62915d1b") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"name.rkt") (collects #"racket" #"runtime-config.rkt"))
