("5.3.4.10" ("b7147618748888b87d64288da5be7d270812d574" . "e814efbcb803bd1e123a8713f7180d21c24cf11b") (collects #"mzlib" #"kw.rkt") (collects #"mzlib" #"deflate.rkt") (collects #"mzscheme" #"main.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"racket" #"file.rkt"))