("8.15" tarm32nb ("efe9c70ea1d0e0bbd5810abe3620faada4add043" . "8574a32200617fcf27b8c57518d21b5cdfd96a1d") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark.rkt"))
