("7.2" racket ("220cd0082b7a853b9a3c311b0acefb9d87b5b050" . "ddd09bdbef3cb2de72a4b1d87ae36d8dcd27385d") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzscheme" #"main.rkt"))
