("8.15" tarm32nb ("d63d39bb7d2c48b248cfa9e89dd09ec3eecf9f93" . "c21ce5ea7641d075c6483ce6fa8fa2bcd2e7a70a") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt"))
