("8.15" tarm32nb ("8d22cc22f00c09a6bd4a0eedbc323b580eae6a6a" . "b13f7f01d3be48e466bf1c92df8d2f6f7c6d9052") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"string-constants" #"main.rkt"))
