Name	Size	Modified	Perms	Actions
filtdef	437 bytes	October 13 2019 09:48:19.	0644
filtinf	470 bytes	October 13 2019 09:48:19.	0644
gzcat	495 bytes	October 13 2019 09:48:19.	0644
gzgrep	463 bytes	October 13 2019 09:48:19.	0644
gzstream	314 bytes	October 13 2019 09:48:19.	0644