("8.15" tarm32nb ("220cd0082b7a853b9a3c311b0acefb9d87b5b050" . "ec7b984c15f7b9ac3a3a38cd1f7dea1627ed3d78") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzscheme" #"main.rkt"))
