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

	Name	Last modified	Size	Description
	Parent Directory		-
	euclid__l6_euclid	2013-09-04 12:49	27K
	euclid__l14_euclid	2013-09-04 12:49	55K
	euclid__l35_euclid	2013-09-04 12:49	58K
	euclid__l36_euclid	2013-09-04 12:49	60K
	euclid__t4_euclid	2013-09-04 12:49	44K
	euclid__t5_euclid	2013-09-04 12:49	29K
	euclid__t6_euclid	2013-09-04 12:49	38K
	euclid__t7_euclid	2013-09-04 12:49	51K
	euclid__t8_euclid	2013-09-04 12:49	56K
	euclid__t9_euclid	2013-09-04 12:49	42K
	euclid__t10_euclid	2013-09-04 12:49	50K
	euclid__t11_euclid	2013-09-04 12:49	65K
	euclid__t12_euclid	2013-09-04 12:49	182K
	euclid__t13_euclid	2013-09-04 12:49	64K
	euclid__t14_euclid	2013-09-04 12:49	66K
	euclid__t15_euclid	2013-09-04 12:49	66K
	euclid__t16_euclid	2013-09-04 12:49	66K
	euclid__t17_euclid	2013-09-04 12:49	61K
	euclid__t18_euclid	2013-09-04 12:49	65K
	euclid__t19_euclid	2013-09-04 12:49	70K
	euclid__t20_euclid	2013-09-04 12:49	63K
	euclid__t21_euclid	2013-09-04 12:49	66K
	euclid__t22_euclid	2013-09-04 12:49	45K
	euclid__t23_euclid	2013-09-04 12:49	45K
	euclid__t24_euclid	2013-09-04 12:49	34K
	euclid__t25_euclid	2013-09-04 12:49	45K
	euclid__t26_euclid	2013-09-04 12:49	41K
	euclid__t27_euclid	2013-09-04 12:49	41K
	euclid__t28_euclid	2013-09-04 12:49	45K
	euclid__t29_euclid	2013-09-04 12:49	45K
	euclid__t30_euclid	2013-09-04 12:49	46K
	euclid__t31_euclid	2013-09-04 12:49	45K
	euclid__t32_euclid	2013-09-04 12:49	52K
	euclid__t33_euclid	2013-09-04 12:49	54K
	euclid__t34_euclid	2013-09-04 12:49	45K
	euclid__t36_euclid	2013-09-04 12:49	54K
	euclid__t37_euclid	2013-09-04 12:49	54K
	euclid__t38_euclid	2013-09-04 12:49	62K
	euclid__t39_euclid	2013-09-04 12:49	49K
	euclid__t40_euclid	2013-09-04 12:49	50K
	euclid__t41_euclid	2013-09-04 12:49	62K
	euclid__t42_euclid	2013-09-04 12:49	60K
	euclid__t43_euclid	2013-09-04 12:49	61K
	euclid__t44_euclid	2013-09-04 12:49	62K
	euclid__t45_euclid	2013-09-04 12:49	62K
	euclid__t46_euclid	2013-09-04 12:49	62K
	euclid__t47_euclid	2013-09-04 12:49	62K
	euclid__t48_euclid	2013-09-04 12:49	62K
	euclid__t49_euclid	2013-09-04 12:49	63K
	euclid__t50_euclid	2013-09-04 12:49	64K
	euclid__t51_euclid	2013-09-04 12:49	53K
	euclid__t52_euclid	2013-09-04 12:49	43K
	euclid__t53_euclid	2013-09-04 12:49	57K
	euclid__t54_euclid	2013-09-04 12:49	58K
	euclid__t55_euclid	2013-09-04 12:49	80K
	euclid__t56_euclid	2013-09-04 12:49	53K
	euclid__t57_euclid	2013-09-04 12:49	62K
	euclid__t58_euclid	2013-09-04 12:49	56K
	euclid__t59_euclid	2013-09-04 12:49	62K
	euclid__t60_euclid	2013-09-04 12:49	58K
	euclid__t61_euclid	2013-09-04 12:49	84K
	euclid__t62_euclid	2013-09-04 12:49	75K
	euclid__t63_euclid	2013-09-04 12:49	50K
	euclid__t64_euclid	2013-09-04 12:49	40K
	euclid__t65_euclid	2013-09-04 12:49	44K
	euclid__t66_euclid	2013-09-04 12:49	50K
	euclid__t67_euclid	2013-09-04 12:49	46K
	euclid__t68_euclid	2013-09-04 12:49	45K
	euclid__t69_euclid	2013-09-04 12:49	60K
	euclid__t70_euclid	2013-09-04 12:49	43K
	euclid__t71_euclid	2013-09-04 12:49	57K
	euclid__t72_euclid	2013-09-04 12:49	46K
	euclid__t73_euclid	2013-09-04 12:49	50K
	euclid__t74_euclid	2013-09-04 12:49	58K
	euclid__t75_euclid	2013-09-04 12:49	58K
	euclid__t76_euclid	2013-09-04 12:49	38K
	euclid__t77_euclid	2013-09-04 12:49	37K