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

	Name	Last modified	Size	Description
	Parent Directory		-
	latsubgr__t1_latsubgr	2013-09-04 12:30	14K
	latsubgr__t2_latsubgr	2013-09-04 12:30	11K
	latsubgr__t3_latsubgr	2013-09-04 12:30	12K
	latsubgr__t4_latsubgr	2013-09-04 12:30	14K
	latsubgr__t5_latsubgr	2013-09-04 12:30	15K
	latsubgr__t6_latsubgr	2013-09-04 12:30	17K
	latsubgr__t7_latsubgr	2013-09-04 12:30	16K
	latsubgr__t8_latsubgr	2013-09-04 12:30	12K
	latsubgr__t9_latsubgr	2013-09-04 12:30	12K
	latsubgr__t10_latsubgr	2013-09-04 12:30	12K
	latsubgr__t11_latsubgr	2013-09-04 12:30	15K
	latsubgr__t12_latsubgr	2013-09-04 12:30	13K
	latsubgr__t13_latsubgr	2013-09-04 12:30	12K
	latsubgr__t14_latsubgr	2013-09-04 12:30	12K
	latsubgr__t15_latsubgr	2013-09-04 12:30	12K
	latsubgr__t16_latsubgr	2013-09-04 12:30	13K
	latsubgr__t17_latsubgr	2013-09-04 12:30	13K
	latsubgr__t18_latsubgr	2013-09-04 12:30	14K
	latsubgr__t19_latsubgr	2013-09-04 12:30	14K
	latsubgr__t20_latsubgr	2013-09-04 12:30	18K
	latsubgr__t21_latsubgr	2013-09-04 12:30	16K
	latsubgr__t22_latsubgr	2013-09-04 12:30	22K
	latsubgr__t23_latsubgr	2013-09-04 12:30	21K
	latsubgr__t24_latsubgr	2013-09-04 12:30	17K
	latsubgr__t25_latsubgr	2013-09-04 12:30	24K
	latsubgr__t26_latsubgr	2013-09-04 12:30	23K
	latsubgr__t27_latsubgr	2013-09-04 12:30	24K
	latsubgr__t28_latsubgr	2013-09-04 12:30	25K
	latsubgr__t29_latsubgr	2013-09-04 12:30	28K
	latsubgr__t30_latsubgr	2013-09-04 12:30	23K
	latsubgr__t31_latsubgr	2013-09-04 12:30	32K
	latsubgr__t32_latsubgr	2013-09-04 12:30	37K
	latsubgr__t33_latsubgr	2013-09-04 12:30	20K