("8.17" ta6le ("0fc719e578682ea5fd2faee3825442371e67013c" . "9830eeb823e1798c655fd0d2dd4cdfa2daabed57") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mzscheme" #"main.rkt") (collects #"trace" #"stacktrace.rkt"))
