("8.17" tarm64le ("0d92d9fcaa6130591b4b27f47e10c85111b12827" . "370b97ccbe4c5d6a287581a851e8dce9cefa0d0c") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"reduction-semantics.rkt"))
