Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/jordan12

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan12__l1_jordan12	2017-01-12 22:06	27K
	jordan12__l2_jordan12	2017-01-12 22:06	23K
	jordan12__l22_jordan12	2017-01-12 22:06	55K
	jordan12__l24_jordan12	2017-01-12 22:06	54K
	jordan12__l30_jordan12	2017-01-12 22:06	58K
	jordan12__t1_jordan12	2017-01-12 22:06	33K
	jordan12__t2_jordan12	2017-01-12 22:06	29K
	jordan12__t3_jordan12	2017-01-12 22:06	47K
	jordan12__t4_jordan12	2017-01-12 22:06	97K
	jordan12__t5_jordan12	2017-01-12 22:06	47K
	jordan12__t6_jordan12	2017-01-12 22:06	64K
	jordan12__t7_jordan12	2017-01-12 22:06	53K
	jordan12__t8_jordan12	2017-01-12 22:06	57K
	jordan12__t9_jordan12	2017-01-12 22:06	63K
	jordan12__t10_jordan12	2017-01-12 22:06	48K
	jordan12__t11_jordan12	2017-01-12 22:06	50K
	jordan12__t12_jordan12	2017-01-12 22:06	49K
	jordan12__t13_jordan12	2017-01-12 22:06	58K
	jordan12__t14_jordan12	2017-01-12 22:06	53K
	jordan12__t15_jordan12	2017-01-12 22:06	58K
	jordan12__t16_jordan12	2017-01-12 22:06	55K
	jordan12__t17_jordan12	2017-01-12 22:06	55K
	jordan12__t18_jordan12	2017-01-12 22:06	46K
	jordan12__t19_jordan12	2017-01-12 22:06	45K
	jordan12__t20_jordan12	2017-01-12 22:06	48K
	jordan12__t21_jordan12	2017-01-12 22:06	54K
	jordan12__t22_jordan12	2017-01-12 22:06	87K
	jordan12__t23_jordan12	2017-01-12 22:06	60K
	jordan12__t24_jordan12	2017-01-12 22:06	43K
	jordan12__t25_jordan12	2017-01-12 22:06	38K
	jordan12__t26_jordan12	2017-01-12 22:06	38K
	jordan12__t27_jordan12	2017-01-12 22:06	41K
	jordan12__t28_jordan12	2017-01-12 22:06	43K
	jordan12__t29_jordan12	2017-01-12 22:06	52K
	jordan12__t30_jordan12	2017-01-12 22:06	70K
	jordan12__t31_jordan12	2017-01-12 22:06	73K
	jordan12__t32_jordan12	2017-01-12 22:06	188K
	jordan12__t33_jordan12	2017-01-12 22:06	89K
	jordan12__t34_jordan12	2017-01-12 22:06	200K
	jordan12__t35_jordan12	2017-01-12 22:06	75K