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

	Name	Last modified	Size	Description
	Parent Directory		-
	sublemma__t1_sublemma	2013-09-04 12:47	24K
	sublemma__t2_sublemma	2013-09-04 12:47	35K
	sublemma__t3_sublemma	2013-09-04 12:47	28K
	sublemma__t4_sublemma	2013-09-04 12:47	35K
	sublemma__t5_sublemma	2013-09-04 12:47	25K
	sublemma__t6_sublemma	2013-09-04 12:47	28K
	sublemma__t7_sublemma	2013-09-04 12:47	31K
	sublemma__t8_sublemma	2013-09-04 12:47	32K
	sublemma__t9_sublemma	2013-09-04 12:47	26K
	sublemma__t10_sublemma	2013-09-04 12:47	27K
	sublemma__t11_sublemma	2013-09-04 12:47	32K
	sublemma__t12_sublemma	2013-09-04 12:47	33K
	sublemma__t13_sublemma	2013-09-04 12:47	46K
	sublemma__t14_sublemma	2013-09-04 12:47	29K
	sublemma__t15_sublemma	2013-09-04 12:47	41K
	sublemma__t16_sublemma	2013-09-04 12:47	26K
	sublemma__t17_sublemma	2013-09-04 12:47	32K
	sublemma__t18_sublemma	2013-09-04 12:47	32K
	sublemma__t19_sublemma	2013-09-04 12:47	33K
	sublemma__t20_sublemma	2013-09-04 12:47	27K
	sublemma__t21_sublemma	2013-09-04 12:47	27K
	sublemma__t22_sublemma	2013-09-04 12:47	27K
	sublemma__t23_sublemma	2013-09-04 12:47	21K
	sublemma__t24_sublemma	2013-09-04 12:47	33K
	sublemma__t25_sublemma	2013-09-04 12:47	33K
	sublemma__t26_sublemma	2013-09-04 12:47	27K
	sublemma__t27_sublemma	2013-09-04 12:47	23K
	sublemma__t28_sublemma	2013-09-04 12:47	20K
	sublemma__t29_sublemma	2013-09-04 12:47	24K
	sublemma__t30_sublemma	2013-09-04 12:47	27K
	sublemma__t31_sublemma	2013-09-04 12:47	29K
	sublemma__t32_sublemma	2013-09-04 12:47	32K
	sublemma__t33_sublemma	2013-09-04 12:47	25K
	sublemma__t34_sublemma	2013-09-04 12:47	27K
	sublemma__t35_sublemma	2013-09-04 12:47	29K
	sublemma__t36_sublemma	2013-09-04 12:47	24K
	sublemma__t37_sublemma	2013-09-04 12:47	27K
	sublemma__t38_sublemma	2013-09-04 12:47	42K
	sublemma__t39_sublemma	2013-09-04 12:47	34K
	sublemma__t40_sublemma	2013-09-04 12:47	30K
	sublemma__t41_sublemma	2013-09-04 12:47	34K
	sublemma__t42_sublemma	2013-09-04 12:47	19K
	sublemma__t43_sublemma	2013-09-04 12:47	31K
	sublemma__t44_sublemma	2013-09-04 12:47	20K
	sublemma__t45_sublemma	2013-09-04 12:47	23K
	sublemma__t46_sublemma	2013-09-04 12:47	25K
	sublemma__t47_sublemma	2013-09-04 12:47	28K
	sublemma__t48_sublemma	2013-09-04 12:47	32K
	sublemma__t49_sublemma	2013-09-04 12:47	34K
	sublemma__t50_sublemma	2013-09-04 12:47	38K
	sublemma__t51_sublemma	2013-09-04 12:47	34K
	sublemma__t52_sublemma	2013-09-04 12:47	33K
	sublemma__t53_sublemma	2013-09-04 12:47	61K
	sublemma__t54_sublemma	2013-09-04 12:47	44K
	sublemma__t55_sublemma	2013-09-04 12:47	45K
	sublemma__t56_sublemma	2013-09-04 12:47	42K
	sublemma__t57_sublemma	2013-09-04 12:47	29K
	sublemma__t58_sublemma	2013-09-04 12:47	29K
	sublemma__t59_sublemma	2013-09-04 12:47	44K
	sublemma__t60_sublemma	2013-09-04 12:47	36K
	sublemma__t61_sublemma	2013-09-04 12:47	28K
	sublemma__t62_sublemma	2013-09-04 12:47	31K
	sublemma__t63_sublemma	2013-09-04 12:47	38K
	sublemma__t64_sublemma	2013-09-04 12:47	38K
	sublemma__t65_sublemma	2013-09-04 12:47	24K
	sublemma__t66_sublemma	2013-09-04 12:47	41K
	sublemma__t67_sublemma	2013-09-04 12:47	39K
	sublemma__t68_sublemma	2013-09-04 12:47	39K
	sublemma__t69_sublemma	2013-09-04 12:47	56K
	sublemma__t70_sublemma	2013-09-04 12:47	46K
	sublemma__t71_sublemma	2013-09-04 12:47	37K
	sublemma__t72_sublemma	2013-09-04 12:47	40K
	sublemma__t73_sublemma	2013-09-04 12:47	39K
	sublemma__t74_sublemma	2013-09-04 12:47	40K
	sublemma__t75_sublemma	2013-09-04 12:47	40K
	sublemma__t76_sublemma	2013-09-04 12:47	32K
	sublemma__t77_sublemma	2013-09-04 12:47	36K
	sublemma__t78_sublemma	2013-09-04 12:47	29K
	sublemma__t79_sublemma	2013-09-04 12:47	36K
	sublemma__t80_sublemma	2013-09-04 12:47	47K
	sublemma__t81_sublemma	2013-09-04 12:47	53K
	sublemma__t82_sublemma	2013-09-04 12:47	31K
	sublemma__t83_sublemma	2013-09-04 12:47	47K
	sublemma__t84_sublemma	2013-09-04 12:47	35K
	sublemma__t85_sublemma	2013-09-04 12:47	46K
	sublemma__t86_sublemma	2013-09-04 12:47	57K
	sublemma__t87_sublemma	2013-09-04 12:47	46K
	sublemma__t88_sublemma	2013-09-04 12:47	49K
	sublemma__t89_sublemma	2013-09-04 12:47	44K