("8.15" tarm32nb ("1a1f8dc4cf6dda448e6c3ffba30024127bdcfa66" . "086d0597080eee8116ef325139382fbbc04b6e7d") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"reduction-semantics.rkt"))
