("8.15" tarm32nb ("1d4b1de7225e2736320ba542297e9e33c69b8bdd" . "98093e5065de77fe82d962489c7e6c3e514165d9") (collects #"r5rs" #"init.rkt") (collects #"r5rs" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
