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

	Name	Last modified	Size	Description
	Parent Directory		-
	armstrng__l1_armstrng	2013-09-04 12:53	27K
	armstrng__l2_armstrng	2013-09-04 12:53	30K
	armstrng__l74_armstrng	2013-09-04 12:53	26K
	armstrng__t1_armstrng	2013-09-04 12:53	25K
	armstrng__t2_armstrng	2013-09-04 12:53	30K
	armstrng__t3_armstrng	2013-09-04 12:53	24K
	armstrng__t4_armstrng	2013-09-04 12:53	25K
	armstrng__t5_armstrng	2013-09-04 12:53	42K
	armstrng__t6_armstrng	2013-09-04 12:53	53K
	armstrng__t7_armstrng	2013-09-04 12:53	98K
	armstrng__t8_armstrng	2013-09-04 12:53	25K
	armstrng__t9_armstrng	2013-09-04 12:53	24K
	armstrng__t10_armstrng	2013-09-04 12:53	25K
	armstrng__t11_armstrng	2013-09-04 12:53	26K
	armstrng__t12_armstrng	2013-09-04 12:53	24K
	armstrng__t13_armstrng	2013-09-04 12:53	26K
	armstrng__t14_armstrng	2013-09-04 12:53	26K
	armstrng__t15_armstrng	2013-09-04 12:53	27K
	armstrng__t16_armstrng	2013-09-04 12:53	27K
	armstrng__t17_armstrng	2013-09-04 12:53	31K
	armstrng__t18_armstrng	2013-09-04 12:53	28K
	armstrng__t19_armstrng	2013-09-04 12:53	31K
	armstrng__t20_armstrng	2013-09-04 12:53	22K
	armstrng__t21_armstrng	2013-09-04 12:53	23K
	armstrng__t22_armstrng	2013-09-04 12:53	23K
	armstrng__t23_armstrng	2013-09-04 12:53	40K
	armstrng__t24_armstrng	2013-09-04 12:53	32K
	armstrng__t25_armstrng	2013-09-04 12:53	28K
	armstrng__t26_armstrng	2013-09-04 12:53	30K
	armstrng__t27_armstrng	2013-09-04 12:53	29K
	armstrng__t28_armstrng	2013-09-04 12:53	38K
	armstrng__t29_armstrng	2013-09-04 12:53	39K
	armstrng__t30_armstrng	2013-09-04 12:53	37K
	armstrng__t31_armstrng	2013-09-04 12:53	24K
	armstrng__t32_armstrng	2013-09-04 12:53	35K
	armstrng__t33_armstrng	2013-09-04 12:53	34K
	armstrng__t34_armstrng	2013-09-04 12:53	33K
	armstrng__t35_armstrng	2013-09-04 12:53	39K
	armstrng__t36_armstrng	2013-09-04 12:53	28K
	armstrng__t37_armstrng	2013-09-04 12:53	33K
	armstrng__t38_armstrng	2013-09-04 12:53	31K
	armstrng__t39_armstrng	2013-09-04 12:53	23K
	armstrng__t40_armstrng	2013-09-04 12:53	34K
	armstrng__t41_armstrng	2013-09-04 12:53	32K
	armstrng__t42_armstrng	2013-09-04 12:53	36K
	armstrng__t43_armstrng	2013-09-04 12:53	33K
	armstrng__t44_armstrng	2013-09-04 12:53	22K
	armstrng__t45_armstrng	2013-09-04 12:53	23K
	armstrng__t46_armstrng	2013-09-04 12:53	95K
	armstrng__t47_armstrng	2013-09-04 12:53	31K
	armstrng__t48_armstrng	2013-09-04 12:53	35K
	armstrng__t49_armstrng	2013-09-04 12:53	35K
	armstrng__t50_armstrng	2013-09-04 12:53	32K
	armstrng__t51_armstrng	2013-09-04 12:53	57K
	armstrng__t52_armstrng	2013-09-04 12:53	25K
	armstrng__t53_armstrng	2013-09-04 12:53	31K
	armstrng__t54_armstrng	2013-09-04 12:53	34K
	armstrng__t55_armstrng	2013-09-04 12:53	26K
	armstrng__t56_armstrng	2013-09-04 12:53	27K
	armstrng__t57_armstrng	2013-09-04 12:53	37K
	armstrng__t58_armstrng	2013-09-04 12:53	32K
	armstrng__t59_armstrng	2013-09-04 12:53	33K
	armstrng__t60_armstrng	2013-09-04 12:53	41K