("8.17" tarm64nt ("06dc430a0f94037bfc2f4ff66b23ff730619f0e7" "79f3a3747ea744930be7123d6d0c36a26ceca2f3" . "eb7afa3b09f3b3d27f03abfe17d9468a24bf4be8") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define.rkt"))
