("9.1" ti3le ("220cd0082b7a853b9a3c311b0acefb9d87b5b050" . "a1085f9c54a4b63604e8ecd66a7d7112888374f5") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzscheme" #"main.rkt"))
