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

	Name	Last modified	Size	Description
	Parent Directory		-
	card_1__l24_card_1	2013-09-04 12:32	14K
	card_1__l43_card_1	2013-09-04 12:32	7.8K
	card_1__l56_card_1	2013-09-04 12:32	16K
	card_1__l57_card_1	2013-09-04 12:32	6.5K
	card_1__t1_card_1	2013-09-04 12:32	14K
	card_1__t2_card_1	2013-09-04 12:32	9.2K
	card_1__t3_card_1	2013-09-04 12:32	9.3K
	card_1__t4_card_1	2013-09-04 12:32	8.9K
	card_1__t5_card_1	2013-09-04 12:32	1.1K
	card_1__t6_card_1	2013-09-04 12:32	14K
	card_1__t7_card_1	2013-09-04 12:32	14K
	card_1__t8_card_1	2013-09-04 12:32	9.7K
	card_1__t9_card_1	2013-09-04 12:32	9.6K
	card_1__t10_card_1	2013-09-04 12:32	13K
	card_1__t11_card_1	2013-09-04 12:32	11K
	card_1__t12_card_1	2013-09-04 12:32	16K
	card_1__t13_card_1	2013-09-04 12:32	11K
	card_1__t14_card_1	2013-09-04 12:32	13K
	card_1__t15_card_1	2013-09-04 12:32	9.6K
	card_1__t16_card_1	2013-09-04 12:32	9.4K
	card_1__t17_card_1	2013-09-04 12:32	1.2K
	card_1__t18_card_1	2013-09-04 12:32	10K
	card_1__t19_card_1	2013-09-04 12:32	9.3K
	card_1__t20_card_1	2013-09-04 12:32	9.7K
	card_1__t21_card_1	2013-09-04 12:32	17K
	card_1__t22_card_1	2013-09-04 12:32	5.7K
	card_1__t23_card_1	2013-09-04 12:32	9.7K
	card_1__t24_card_1	2013-09-04 12:32	9.8K
	card_1__t25_card_1	2013-09-04 12:32	9.7K
	card_1__t26_card_1	2013-09-04 12:32	6.9K
	card_1__t27_card_1	2013-09-04 12:32	5.7K
	card_1__t28_card_1	2013-09-04 12:32	16K
	card_1__t29_card_1	2013-09-04 12:32	6.5K
	card_1__t30_card_1	2013-09-04 12:32	13K
	card_1__t31_card_1	2013-09-04 12:32	14K
	card_1__t32_card_1	2013-09-04 12:32	13K
	card_1__t33_card_1	2013-09-04 12:32	12K
	card_1__t34_card_1	2013-09-04 12:32	13K
	card_1__t35_card_1	2013-09-04 12:32	11K
	card_1__t36_card_1	2013-09-04 12:32	7.3K
	card_1__t37_card_1	2013-09-04 12:32	9.8K
	card_1__t38_card_1	2013-09-04 12:32	12K
	card_1__t39_card_1	2013-09-04 12:32	8.0K
	card_1__t40_card_1	2013-09-04 12:32	6.5K
	card_1__t41_card_1	2013-09-04 12:32	9.6K
	card_1__t42_card_1	2013-09-04 12:32	6.1K
	card_1__t43_card_1	2013-09-04 12:32	12K
	card_1__t44_card_1	2013-09-04 12:32	12K
	card_1__t45_card_1	2013-09-04 12:32	8.7K
	card_1__t46_card_1	2013-09-04 12:32	14K
	card_1__t47_card_1	2013-09-04 12:32	9.6K
	card_1__t48_card_1	2013-09-04 12:32	7.0K
	card_1__t49_card_1	2013-09-04 12:32	12K
	card_1__t50_card_1	2013-09-04 12:32	13K
	card_1__t51_card_1	2013-09-04 12:32	13K
	card_1__t52_card_1	2013-09-04 12:32	13K
	card_1__t53_card_1	2013-09-04 12:32	13K
	card_1__t54_card_1	2013-09-04 12:32	13K
	card_1__t55_card_1	2013-09-04 12:32	14K
	card_1__t56_card_1	2013-09-04 12:32	14K
	card_1__t57_card_1	2013-09-04 12:32	14K
	card_1__t58_card_1	2013-09-04 12:32	14K
	card_1__t59_card_1	2013-09-04 12:32	7.2K
	card_1__t60_card_1	2013-09-04 12:32	1.1K
	card_1__t61_card_1	2013-09-04 12:32	6.1K
	card_1__t62_card_1	2013-09-04 12:32	14K
	card_1__t63_card_1	2013-09-04 12:32	13K
	card_1__t64_card_1	2013-09-04 12:32	17K
	card_1__t65_card_1	2013-09-04 12:32	12K
	card_1__t66_card_1	2013-09-04 12:32	15K
	card_1__t67_card_1	2013-09-04 12:32	13K
	card_1__t68_card_1	2013-09-04 12:32	13K
	card_1__t69_card_1	2013-09-04 12:32	18K
	card_1__t70_card_1	2013-09-04 12:32	14K