("8.17" tarm64le ("86502f5002295301424f171cdad0e86cd9a82b4f" . "1864de70d134f5f00ea839bd26e0ce9f45a3d523") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"main.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"common.rkt") (collects #"redex" #"scribblings" #"long-tut" #"code" #"mon-aft.rkt"))
