Index of /users/cek/lemma_mining/traces

	Name	Last modified	Size	Description
	Parent Directory		-
	flyspeck-evaluated	04-Feb-2014 12:06	41K
	flyspeck-preserved	04-Feb-2014 12:03	332K
	human.gz	06-Feb-2014 14:58	47M