Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/mathmorp

	Name	Last modified	Size	Description
	Parent Directory		-
	mathmorp__l9_mathmorp	2013-09-04 12:19	16K
	mathmorp__l17_mathmorp	2013-09-04 12:19	15K
	mathmorp__l28_mathmorp	2013-09-04 12:19	16K
	mathmorp__t1_mathmorp	2013-09-04 12:19	13K
	mathmorp__t2_mathmorp	2013-09-04 12:19	16K
	mathmorp__t3_mathmorp	2013-09-04 12:19	14K
	mathmorp__t4_mathmorp	2013-09-04 12:19	14K
	mathmorp__t5_mathmorp	2013-09-04 12:19	16K
	mathmorp__t6_mathmorp	2013-09-04 12:19	17K
	mathmorp__t7_mathmorp	2013-09-04 12:19	16K
	mathmorp__t8_mathmorp	2013-09-04 12:19	15K
	mathmorp__t9_mathmorp	2013-09-04 12:19	16K
	mathmorp__t10_mathmorp	2013-09-04 12:19	17K
	mathmorp__t11_mathmorp	2013-09-04 12:19	18K
	mathmorp__t12_mathmorp	2013-09-04 12:19	14K
	mathmorp__t13_mathmorp	2013-09-04 12:19	17K
	mathmorp__t14_mathmorp	2013-09-04 12:19	18K
	mathmorp__t15_mathmorp	2013-09-04 12:19	16K
	mathmorp__t16_mathmorp	2013-09-04 12:19	15K
	mathmorp__t17_mathmorp	2013-09-04 12:19	17K
	mathmorp__t18_mathmorp	2013-09-04 12:19	16K
	mathmorp__t19_mathmorp	2013-09-04 12:19	15K
	mathmorp__t20_mathmorp	2013-09-04 12:19	16K
	mathmorp__t21_mathmorp	2013-09-04 12:19	15K
	mathmorp__t22_mathmorp	2013-09-04 12:19	19K
	mathmorp__t23_mathmorp	2013-09-04 12:19	21K
	mathmorp__t24_mathmorp	2013-09-04 12:19	16K
	mathmorp__t25_mathmorp	2013-09-04 12:19	18K
	mathmorp__t26_mathmorp	2013-09-04 12:19	15K
	mathmorp__t27_mathmorp	2013-09-04 12:19	17K
	mathmorp__t28_mathmorp	2013-09-04 12:19	18K
	mathmorp__t29_mathmorp	2013-09-04 12:19	20K
	mathmorp__t30_mathmorp	2013-09-04 12:19	17K
	mathmorp__t31_mathmorp	2013-09-04 12:19	17K
	mathmorp__t32_mathmorp	2013-09-04 12:19	17K
	mathmorp__t33_mathmorp	2013-09-04 12:19	17K
	mathmorp__t34_mathmorp	2013-09-04 12:19	17K
	mathmorp__t35_mathmorp	2013-09-04 12:19	16K
	mathmorp__t36_mathmorp	2013-09-04 12:19	19K
	mathmorp__t37_mathmorp	2013-09-04 12:19	20K
	mathmorp__t38_mathmorp	2013-09-04 12:19	20K
	mathmorp__t39_mathmorp	2013-09-04 12:19	19K
	mathmorp__t40_mathmorp	2013-09-04 12:19	19K
	mathmorp__t41_mathmorp	2013-09-04 12:19	17K
	mathmorp__t42_mathmorp	2013-09-04 12:19	18K
	mathmorp__t43_mathmorp	2013-09-04 12:19	17K
	mathmorp__t44_mathmorp	2013-09-04 12:19	17K
	mathmorp__t45_mathmorp	2013-09-04 12:19	18K
	mathmorp__t46_mathmorp	2013-09-04 12:19	17K
	mathmorp__t47_mathmorp	2013-09-04 12:19	17K
	mathmorp__t48_mathmorp	2013-09-04 12:19	17K
	mathmorp__t49_mathmorp	2013-09-04 12:19	17K
	mathmorp__t50_mathmorp	2013-09-04 12:19	17K
	mathmorp__t51_mathmorp	2013-09-04 12:19	17K
	mathmorp__t52_mathmorp	2013-09-04 12:19	19K
	mathmorp__t53_mathmorp	2013-09-04 12:19	18K
	mathmorp__t54_mathmorp	2013-09-04 12:19	19K
	mathmorp__t55_mathmorp	2013-09-04 12:19	18K
	mathmorp__t56_mathmorp	2013-09-04 12:19	13K
	mathmorp__t57_mathmorp	2013-09-04 12:19	18K
	mathmorp__t58_mathmorp	2013-09-04 12:19	17K
	mathmorp__t59_mathmorp	2013-09-04 12:19	27K
	mathmorp__t60_mathmorp	2013-09-04 12:19	18K
	mathmorp__t61_mathmorp	2013-09-04 12:19	16K
	mathmorp__t62_mathmorp	2013-09-04 12:19	22K
	mathmorp__t63_mathmorp	2013-09-04 12:19	22K
	mathmorp__t64_mathmorp	2013-09-04 12:19	27K
	mathmorp__t65_mathmorp	2013-09-04 12:19	22K
	mathmorp__t66_mathmorp	2013-09-04 12:19	22K
	mathmorp__t67_mathmorp	2013-09-04 12:19	22K
	mathmorp__t68_mathmorp	2013-09-04 12:19	22K
	mathmorp__t69_mathmorp	2013-09-04 12:19	25K
	mathmorp__t70_mathmorp	2013-09-04 12:19	26K
	mathmorp__t71_mathmorp	2013-09-04 12:19	28K
	mathmorp__t72_mathmorp	2013-09-04 12:19	27K
	mathmorp__t73_mathmorp	2013-09-04 12:19	25K
	mathmorp__t74_mathmorp	2013-09-04 12:19	23K
	mathmorp__t75_mathmorp	2013-09-04 12:19	30K
	mathmorp__t76_mathmorp	2013-09-04 12:19	35K
	mathmorp__t77_mathmorp	2013-09-04 12:19	20K
	mathmorp__t78_mathmorp	2013-09-04 12:19	37K