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

	Name	Last modified	Size	Description
	Parent Directory		-
	euclid_9__l30_euclid_9	2013-09-04 12:53	62K
	euclid_9__t1_euclid_9	2013-09-04 12:53	36K
	euclid_9__t2_euclid_9	2013-09-04 12:53	42K
	euclid_9__t3_euclid_9	2013-09-04 12:53	43K
	euclid_9__t4_euclid_9	2013-09-04 12:53	86K
	euclid_9__t5_euclid_9	2013-09-04 12:53	98K
	euclid_9__t6_euclid_9	2013-09-04 12:53	59K
	euclid_9__t7_euclid_9	2013-09-04 12:53	51K
	euclid_9__t8_euclid_9	2013-09-04 12:53	116K
	euclid_9__t9_euclid_9	2013-09-04 12:53	143K
	euclid_9__t10_euclid_9	2013-09-04 12:53	84K
	euclid_9__t11_euclid_9	2013-09-04 12:53	65K
	euclid_9__t12_euclid_9	2013-09-04 12:53	49K
	euclid_9__t13_euclid_9	2013-09-04 12:53	62K
	euclid_9__t14_euclid_9	2013-09-04 12:53	117K
	euclid_9__t15_euclid_9	2013-09-04 12:53	136K
	euclid_9__t16_euclid_9	2013-09-04 12:53	114K
	euclid_9__t17_euclid_9	2013-09-04 12:53	67K
	euclid_9__t18_euclid_9	2013-09-04 12:53	63K
	euclid_9__t19_euclid_9	2013-09-04 12:53	72K
	euclid_9__t20_euclid_9	2013-09-04 12:53	107K
	euclid_9__t21_euclid_9	2013-09-04 12:53	117K
	euclid_9__t22_euclid_9	2013-09-04 12:53	95K
	euclid_9__t23_euclid_9	2013-09-04 12:53	59K
	euclid_9__t24_euclid_9	2013-09-04 12:53	52K
	euclid_9__t25_euclid_9	2013-09-04 12:53	61K
	euclid_9__t26_euclid_9	2013-09-04 12:53	94K
	euclid_9__t27_euclid_9	2013-09-04 12:53	113K
	euclid_9__t28_euclid_9	2013-09-04 12:53	60K