("8.15" tarm64nt ("bbade7c7dd0382917a8d6f6a5705e1c09fa9572f" "d2c2ba53f0b1ef4b5f4ce50e0e6785b4376f6b9d" . "6d2fe447016e391adfc1ddd1415e622fb9b14c45") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
