Index of /~mptp/Ewatch1/problems_small_consist/symsp_1

	Name	Last modified	Size	Description
	Parent Directory		-
	symsp_1__l1_symsp_1	2013-09-04 12:46	3.7K
	symsp_1__l2_symsp_1	2013-09-04 12:46	5.5K
	symsp_1__l4_symsp_1	2013-09-04 12:46	11K
	symsp_1__l5_symsp_1	2013-09-04 12:46	20K
	symsp_1__l6_symsp_1	2013-09-04 12:46	26K
	symsp_1__l7_symsp_1	2013-09-04 12:46	23K
	symsp_1__t1_symsp_1	2013-09-04 12:46	18K
	symsp_1__t2_symsp_1	2013-09-04 12:46	18K
	symsp_1__t3_symsp_1	2013-09-04 12:46	19K
	symsp_1__t4_symsp_1	2013-09-04 12:46	19K
	symsp_1__t5_symsp_1	2013-09-04 12:46	21K
	symsp_1__t6_symsp_1	2013-09-04 12:46	18K
	symsp_1__t7_symsp_1	2013-09-04 12:46	17K
	symsp_1__t8_symsp_1	2013-09-04 12:46	19K
	symsp_1__t9_symsp_1	2013-09-04 12:46	18K
	symsp_1__t10_symsp_1	2013-09-04 12:46	21K
	symsp_1__t11_symsp_1	2013-09-04 12:46	19K
	symsp_1__t12_symsp_1	2013-09-04 12:46	23K
	symsp_1__t13_symsp_1	2013-09-04 12:46	25K
	symsp_1__t14_symsp_1	2013-09-04 12:46	19K
	symsp_1__t15_symsp_1	2013-09-04 12:46	22K
	symsp_1__t16_symsp_1	2013-09-04 12:46	24K
	symsp_1__t17_symsp_1	2013-09-04 12:46	22K
	symsp_1__t18_symsp_1	2013-09-04 12:46	24K
	symsp_1__t19_symsp_1	2013-09-04 12:46	23K
	symsp_1__t20_symsp_1	2013-09-04 12:46	22K
	symsp_1__t21_symsp_1	2013-09-04 12:46	18K
	symsp_1__t22_symsp_1	2013-09-04 12:46	18K
	symsp_1__t23_symsp_1	2013-09-04 12:46	20K
	symsp_1__t24_symsp_1	2013-09-04 12:46	25K
	symsp_1__t25_symsp_1	2013-09-04 12:46	20K
	symsp_1__t26_symsp_1	2013-09-04 12:46	22K
	symsp_1__t27_symsp_1	2013-09-04 12:46	26K
	symsp_1__t28_symsp_1	2013-09-04 12:46	25K
	symsp_1__t29_symsp_1	2013-09-04 12:46	22K
	symsp_1__t30_symsp_1	2013-09-04 12:46	23K
	symsp_1__t31_symsp_1	2013-09-04 12:46	22K
	symsp_1__t32_symsp_1	2013-09-04 12:46	21K
	symsp_1__t33_symsp_1	2013-09-04 12:46	23K
	symsp_1__t34_symsp_1	2013-09-04 12:46	26K
	symsp_1__t35_symsp_1	2013-09-04 12:46	27K
	symsp_1__t36_symsp_1	2013-09-04 12:46	25K