("8.17" ta6le ("0d92d9fcaa6130591b4b27f47e10c85111b12827" . "62fbbc688ce2d9c2584fd02d32018043afca76bb") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"reduction-semantics.rkt"))
