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

	Name	Last modified	Size	Description
	Parent Directory		-
	square_1__l16_square_1	2013-09-04 12:08	48K
	square_1__l19_square_1	2013-09-04 12:08	21K
	square_1__l23_square_1	2013-09-04 12:08	21K
	square_1__l25_square_1	2013-09-04 12:08	9.3K
	square_1__l42_square_1	2013-09-04 12:08	33K
	square_1__l62_square_1	2013-09-04 12:08	32K
	square_1__l65_square_1	2013-09-04 12:08	33K
	square_1__l66_square_1	2013-09-04 12:08	21K
	square_1__l67_square_1	2013-09-04 12:08	32K
	square_1__t1_square_1	2013-09-04 12:08	2.7K
	square_1__t2_square_1	2013-09-04 12:08	11K
	square_1__t3_square_1	2013-09-04 12:08	26K
	square_1__t4_square_1	2013-09-04 12:08	26K
	square_1__t5_square_1	2013-09-04 12:08	36K
	square_1__t6_square_1	2013-09-04 12:08	26K
	square_1__t7_square_1	2013-09-04 12:08	91K
	square_1__t8_square_1	2013-09-04 12:08	17K
	square_1__t9_square_1	2013-09-04 12:08	14K
	square_1__t10_square_1	2013-09-04 12:08	26K
	square_1__t11_square_1	2013-09-04 12:08	55K
	square_1__t12_square_1	2013-09-04 12:08	17K
	square_1__t13_square_1	2013-09-04 12:08	21K
	square_1__t14_square_1	2013-09-04 12:08	17K
	square_1__t15_square_1	2013-09-04 12:08	21K
	square_1__t16_square_1	2013-09-04 12:08	18K
	square_1__t17_square_1	2013-09-04 12:08	11K
	square_1__t18_square_1	2013-09-04 12:08	11K
	square_1__t19_square_1	2013-09-04 12:08	9.8K
	square_1__t20_square_1	2013-09-04 12:08	14K
	square_1__t21_square_1	2013-09-04 12:08	9.8K
	square_1__t22_square_1	2013-09-04 12:08	21K
	square_1__t23_square_1	2013-09-04 12:08	32K
	square_1__t24_square_1	2013-09-04 12:08	11K
	square_1__t25_square_1	2013-09-04 12:08	11K
	square_1__t26_square_1	2013-09-04 12:08	8.5K
	square_1__t27_square_1	2013-09-04 12:08	8.5K
	square_1__t28_square_1	2013-09-04 12:08	8.5K
	square_1__t29_square_1	2013-09-04 12:08	21K
	square_1__t30_square_1	2013-09-04 12:08	21K
	square_1__t31_square_1	2013-09-04 12:08	11K
	square_1__t32_square_1	2013-09-04 12:08	14K
	square_1__t33_square_1	2013-09-04 12:08	21K
	square_1__t34_square_1	2013-09-04 12:08	21K
	square_1__t35_square_1	2013-09-04 12:08	21K
	square_1__t36_square_1	2013-09-04 12:08	33K
	square_1__t37_square_1	2013-09-04 12:08	33K
	square_1__t38_square_1	2013-09-04 12:08	33K
	square_1__t39_square_1	2013-09-04 12:08	33K
	square_1__t40_square_1	2013-09-04 12:08	26K
	square_1__t41_square_1	2013-09-04 12:08	26K
	square_1__t42_square_1	2013-09-04 12:08	17K
	square_1__t43_square_1	2013-09-04 12:08	21K
	square_1__t44_square_1	2013-09-04 12:08	32K
	square_1__t45_square_1	2013-09-04 12:08	32K
	square_1__t46_square_1	2013-09-04 12:08	32K
	square_1__t47_square_1	2013-09-04 12:08	32K
	square_1__t48_square_1	2013-09-04 12:08	32K
	square_1__t49_square_1	2013-09-04 12:08	32K
	square_1__t50_square_1	2013-09-04 12:08	32K
	square_1__t51_square_1	2013-09-04 12:08	22K
	square_1__t52_square_1	2013-09-04 12:08	22K
	square_1__t53_square_1	2013-09-04 12:08	33K
	square_1__t54_square_1	2013-09-04 12:08	21K
	square_1__t55_square_1	2013-09-04 12:08	34K
	square_1__t56_square_1	2013-09-04 12:08	32K
	square_1__t57_square_1	2013-09-04 12:08	21K
	square_1__t58_square_1	2013-09-04 12:08	21K
	square_1__t59_square_1	2013-09-04 12:08	33K