Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/helly

	Name	Last modified	Size	Description
	Parent Directory		-
	helly__t54_helly	2017-01-13 00:42	125K
	helly__t53_helly	2017-01-13 00:42	104K
	helly__t52_helly	2017-01-13 00:42	101K
	helly__t51_helly	2017-01-13 00:42	107K
	helly__t50_helly	2017-01-13 00:42	63K
	helly__t49_helly	2017-01-13 00:42	63K
	helly__t48_helly	2017-01-13 00:42	99K
	helly__t47_helly	2017-01-13 00:42	92K
	helly__t46_helly	2017-01-13 00:42	98K
	helly__t45_helly	2017-01-13 00:42	63K
	helly__t44_helly	2017-01-13 00:42	63K
	helly__t43_helly	2017-01-13 00:42	63K
	helly__t42_helly	2017-01-13 00:42	98K
	helly__t41_helly	2017-01-13 00:42	98K
	helly__t40_helly	2017-01-13 00:42	183K
	helly__t39_helly	2017-01-13 00:42	173K
	helly__t38_helly	2017-01-13 00:42	107K
	helly__t37_helly	2017-01-13 00:42	92K
	helly__t36_helly	2017-01-13 00:42	134K
	helly__t35_helly	2017-01-13 00:42	100K
	helly__t34_helly	2017-01-13 00:42	94K
	helly__t33_helly	2017-01-13 00:42	98K
	helly__t32_helly	2017-01-13 00:42	94K
	helly__t31_helly	2017-01-13 00:42	88K
	helly__t30_helly	2017-01-13 00:42	107K
	helly__t29_helly	2017-01-13 00:42	91K
	helly__t28_helly	2017-01-13 00:42	85K
	helly__t27_helly	2017-01-13 00:42	276K
	helly__t26_helly	2017-01-13 00:42	93K
	helly__t25_helly	2017-01-13 00:42	80K
	helly__t24_helly	2017-01-13 00:42	93K
	helly__t23_helly	2017-01-13 00:42	89K
	helly__t22_helly	2017-01-13 00:42	190K
	helly__t21_helly	2017-01-13 00:42	204K
	helly__t20_helly	2017-01-13 00:42	110K
	helly__t19_helly	2017-01-13 00:42	122K
	helly__t18_helly	2017-01-13 00:42	165K
	helly__t17_helly	2017-01-13 00:42	137K
	helly__t16_helly	2017-01-13 00:42	131K
	helly__t15_helly	2017-01-13 00:42	87K
	helly__t14_helly	2017-01-13 00:42	88K
	helly__t13_helly	2017-01-13 00:42	88K
	helly__t12_helly	2017-01-13 00:42	135K
	helly__t11_helly	2017-01-13 00:42	73K
	helly__t10_helly	2017-01-13 00:42	78K
	helly__t9_helly	2017-01-13 00:42	94K
	helly__t8_helly	2017-01-13 00:42	66K
	helly__t7_helly	2017-01-13 00:42	61K
	helly__t6_helly	2017-01-13 00:42	81K
	helly__t5_helly	2017-01-13 00:42	68K
	helly__t4_helly	2017-01-13 00:42	77K
	helly__t3_helly	2017-01-13 00:42	61K
	helly__t2_helly	2017-01-13 00:42	54K
	helly__t1_helly	2017-01-13 00:42	107K
	helly__l44_helly	2017-01-13 00:42	172K
	helly__l43_helly	2017-01-13 00:42	97K