Index of /users/cek/lemma_mining

	Name	Last modified	Size	Description
	Parent Directory		-
	data1.tgz	22-Jul-2024 05:48	345M
	data2.tgz	22-Jul-2024 02:01	1.6G
	proofmine/	08-Oct-2014 09:34	-
	tables/	08-Oct-2014 08:59	-
	traces/	06-Feb-2014 19:03	-