("9.3" ta6le ("0d92d9fcaa6130591b4b27f47e10c85111b12827" . "0dc0d8431aec80a81a37cb31556d06bc10732a3c") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"reduction-semantics.rkt"))
