Index of /~mptp/conj/conjecturing_standalone/hh2/translate/matching/o/self_match

	Name	Last modified	Size	Description
	Parent Directory		-
	cc_decided	2018-02-28 14:53	0
	cc_decided_graph	2018-02-28 14:53	15
	cc_neg	2018-02-28 14:53	0
	cc_neg_graph	2018-02-28 14:53	15
	cc_undecided	2018-02-28 14:53	0
	cc_undecided_graph	2018-02-28 14:53	15
	interactive_match	2018-02-28 14:53	212
	internal1	2018-02-28 14:53	0
	internal2	2018-02-28 14:53	0