("8.17" ta6le ("e98a994a34af2a9580208380679b2593d06eeea8" . "709ed7e0a029b342b4a4c2edb0c79617a0f7d786") (collects #"mred" #"mred-sig.rkt") (collects #"mred" #"mred.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mzscheme" #"main.rkt"))
