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