Index of /~mptp/Ewatch1/problems_small_consist/finset_1

	Name	Last modified	Size	Description
	Parent Directory		-
	finset_1__l2_finset_1	2013-09-04 12:45	17K
	finset_1__l3_finset_1	2013-09-04 12:45	14K
	finset_1__l10_finset_1	2013-09-04 12:45	9.6K
	finset_1__t1_finset_1	2013-09-04 12:45	7.4K
	finset_1__t2_finset_1	2013-09-04 12:45	490
	finset_1__t3_finset_1	2013-09-04 12:45	545
	finset_1__t4_finset_1	2013-09-04 12:45	7.9K
	finset_1__t5_finset_1	2013-09-04 12:45	435
	finset_1__t6_finset_1	2013-09-04 12:45	18K
	finset_1__t7_finset_1	2013-09-04 12:45	8.1K
	finset_1__t8_finset_1	2013-09-04 12:45	611
	finset_1__t9_finset_1	2013-09-04 12:45	9.2K
	finset_1__t10_finset_1	2013-09-04 12:45	14K
	finset_1__t11_finset_1	2013-09-04 12:45	10K
	finset_1__t12_finset_1	2013-09-04 12:45	10K
	finset_1__t13_finset_1	2013-09-04 12:45	16K
	finset_1__t14_finset_1	2013-09-04 12:45	16K
	finset_1__t15_finset_1	2013-09-04 12:45	6.6K