("352" (collects . #"web-server/servlet.ss") (collects . #"mzlib/list.ss") (collects . #"net/uri-codec.ss") (collects . #"setup/dirs.ss") (collects . #"help/servlets/private/util.ss") (collects . #"help/servlets/private/headelts.ss"))
