("8.17" tarm64le ("81b49e157ee6a1b48aa6b2ad5a767b4f8fa4e029" . "a452cd3e0d3c5cd1d08477cdfb444b0b8aee01f0") (collects #"htdp" #"matrix.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
