Index of /~mptp/1147/MPTP2/problems_small_consist/catalan1

	Name	Last modified	Size	Description
	Parent Directory		-
	catalan1__t1_catalan1	2013-09-04 12:13	210K
	catalan1__t2_catalan1	2013-09-04 12:13	96K
	catalan1__t3_catalan1	2013-09-04 12:13	25K
	catalan1__t4_catalan1	2013-09-04 12:13	14K
	catalan1__t5_catalan1	2013-09-04 12:13	255K
	catalan1__t6_catalan1	2013-09-04 12:13	72K
	catalan1__t7_catalan1	2013-09-04 12:13	117K
	catalan1__t8_catalan1	2013-09-04 12:13	36K
	catalan1__t9_catalan1	2013-09-04 12:13	259K
	catalan1__t10_catalan1	2013-09-04 12:13	22K
	catalan1__t11_catalan1	2013-09-04 12:13	14K
	catalan1__t12_catalan1	2013-09-04 12:13	117K
	catalan1__t13_catalan1	2013-09-04 12:13	97K
	catalan1__t14_catalan1	2013-09-04 12:13	36K
	catalan1__t15_catalan1	2013-09-04 12:13	73K
	catalan1__t16_catalan1	2013-09-04 12:13	117K
	catalan1__t17_catalan1	2013-09-04 12:13	16K
	catalan1__t18_catalan1	2013-09-04 12:13	17K
	catalan1__t19_catalan1	2013-09-04 12:13	121K
	catalan1__t20_catalan1	2013-09-04 12:13	19K
	catalan1__t21_catalan1	2013-09-04 12:13	118K