("8.17" tarm64le ("81bba72e4016456f666115452ee7dd2877ec3539" . "7572fcb64c394b03150d7e6f2d1dfa28bbfaf386") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark.rkt"))
