("8.17" ta6le ("220cd0082b7a853b9a3c311b0acefb9d87b5b050" . "2d3d8994fb435b2438acff026731149db87d62ac") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzscheme" #"main.rkt"))
