("8.17" tarm64le ("8eba8840f814a33e800924c75f9e1ee1a1e8fb72" . "a2635c481a7bc663d94873ce2488908f9df17424") (collects #"2htdp" #"batch-io.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt"))
