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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan12__l1_jordan12	2017-01-13 19:03	27K
	jordan12__l2_jordan12	2017-01-13 19:03	23K
	jordan12__l22_jordan12	2017-01-13 19:03	55K
	jordan12__l24_jordan12	2017-01-13 19:03	54K
	jordan12__l30_jordan12	2017-01-13 19:03	58K
	jordan12__t1_jordan12	2017-01-13 19:03	33K
	jordan12__t2_jordan12	2017-01-13 19:03	29K
	jordan12__t3_jordan12	2017-01-13 19:03	47K
	jordan12__t4_jordan12	2017-01-13 19:03	99K
	jordan12__t5_jordan12	2017-01-13 19:03	47K
	jordan12__t6_jordan12	2017-01-13 19:03	65K
	jordan12__t7_jordan12	2017-01-13 19:03	53K
	jordan12__t8_jordan12	2017-01-13 19:03	58K
	jordan12__t9_jordan12	2017-01-13 19:03	63K
	jordan12__t10_jordan12	2017-01-13 19:03	48K
	jordan12__t11_jordan12	2017-01-13 19:03	50K
	jordan12__t12_jordan12	2017-01-13 19:03	49K
	jordan12__t13_jordan12	2017-01-13 19:03	58K
	jordan12__t14_jordan12	2017-01-13 19:03	53K
	jordan12__t15_jordan12	2017-01-13 19:03	58K
	jordan12__t16_jordan12	2017-01-13 19:03	55K
	jordan12__t17_jordan12	2017-01-13 19:03	56K
	jordan12__t18_jordan12	2017-01-13 19:03	46K
	jordan12__t19_jordan12	2017-01-13 19:03	45K
	jordan12__t20_jordan12	2017-01-13 19:03	49K
	jordan12__t21_jordan12	2017-01-13 19:03	54K
	jordan12__t22_jordan12	2017-01-13 19:03	89K
	jordan12__t23_jordan12	2017-01-13 19:03	60K
	jordan12__t24_jordan12	2017-01-13 19:03	43K
	jordan12__t25_jordan12	2017-01-13 19:03	39K
	jordan12__t26_jordan12	2017-01-13 19:03	39K
	jordan12__t27_jordan12	2017-01-13 19:03	41K
	jordan12__t28_jordan12	2017-01-13 19:03	43K
	jordan12__t29_jordan12	2017-01-13 19:03	52K
	jordan12__t30_jordan12	2017-01-13 19:03	70K
	jordan12__t31_jordan12	2017-01-13 19:03	74K
	jordan12__t32_jordan12	2017-01-13 19:03	195K
	jordan12__t33_jordan12	2017-01-13 19:03	90K
	jordan12__t34_jordan12	2017-01-13 19:03	208K
	jordan12__t35_jordan12	2017-01-13 19:03	76K