("8.17" tarm64le ("f043ab454d779d5fd0abb0a9391b477e0a1826ea" . "06dea351a5c470c3fa3b85061aaa9001c971b63c") (collects #"htdp" #"bsl" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
