Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/index_1

	Name	Last modified	Size	Description
	Parent Directory		-
	index_1__l14_index_1	2013-09-04 12:42	33K
	index_1__l19_index_1	2013-09-04 12:42	20K
	index_1__l24_index_1	2013-09-04 12:42	37K
	index_1__l32_index_1	2013-09-04 12:42	28K
	index_1__l33_index_1	2013-09-04 12:42	28K
	index_1__l42_index_1	2013-09-04 12:42	20K
	index_1__t1_index_1	2013-09-04 12:42	33K
	index_1__t2_index_1	2013-09-04 12:42	23K
	index_1__t3_index_1	2013-09-04 12:42	22K
	index_1__t4_index_1	2013-09-04 12:42	24K
	index_1__t5_index_1	2013-09-04 12:42	23K
	index_1__t6_index_1	2013-09-04 12:42	41K
	index_1__t7_index_1	2013-09-04 12:42	44K
	index_1__t8_index_1	2013-09-04 12:42	19K
	index_1__t9_index_1	2013-09-04 12:42	31K
	index_1__t10_index_1	2013-09-04 12:42	32K
	index_1__t11_index_1	2013-09-04 12:42	35K
	index_1__t12_index_1	2013-09-04 12:42	25K
	index_1__t13_index_1	2013-09-04 12:42	29K
	index_1__t14_index_1	2013-09-04 12:42	35K
	index_1__t15_index_1	2013-09-04 12:42	46K
	index_1__t16_index_1	2013-09-04 12:42	51K
	index_1__t17_index_1	2013-09-04 12:42	45K
	index_1__t18_index_1	2013-09-04 12:42	47K
	index_1__t19_index_1	2013-09-04 12:42	24K
	index_1__t20_index_1	2013-09-04 12:42	33K
	index_1__t21_index_1	2013-09-04 12:42	31K
	index_1__t22_index_1	2013-09-04 12:42	32K
	index_1__t23_index_1	2013-09-04 12:42	33K
	index_1__t24_index_1	2013-09-04 12:42	34K
	index_1__t25_index_1	2013-09-04 12:42	23K
	index_1__t26_index_1	2013-09-04 12:42	31K
	index_1__t27_index_1	2013-09-04 12:42	28K
	index_1__t28_index_1	2013-09-04 12:42	36K
	index_1__t29_index_1	2013-09-04 12:42	24K
	index_1__t30_index_1	2013-09-04 12:42	23K
	index_1__t31_index_1	2013-09-04 12:42	29K
	index_1__t32_index_1	2013-09-04 12:42	29K
	index_1__t33_index_1	2013-09-04 12:42	37K
	index_1__t34_index_1	2013-09-04 12:42	36K
	index_1__t35_index_1	2013-09-04 12:42	39K
	index_1__t36_index_1	2013-09-04 12:42	25K
	index_1__t37_index_1	2013-09-04 12:42	37K
	index_1__t38_index_1	2013-09-04 12:42	24K
	index_1__t39_index_1	2013-09-04 12:42	17K