Index of /~mptp/1147/MPTP2/problems_thf_tls1/jordan16

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan16__t1_jordan16	2017-01-13 19:13	60K
	jordan16__t2_jordan16	2017-01-13 19:13	39K
	jordan16__t3_jordan16	2017-01-13 19:13	34K
	jordan16__t4_jordan16	2017-01-13 19:13	34K
	jordan16__t5_jordan16	2017-01-13 19:13	52K
	jordan16__t6_jordan16	2017-01-13 19:13	59K
	jordan16__t7_jordan16	2017-01-13 19:13	59K
	jordan16__t8_jordan16	2017-01-13 19:13	39K
	jordan16__t9_jordan16	2017-01-13 19:13	41K
	jordan16__t10_jordan16	2017-01-13 19:13	74K
	jordan16__t11_jordan16	2017-01-13 19:13	45K
	jordan16__t12_jordan16	2017-01-13 19:13	39K
	jordan16__t13_jordan16	2017-01-13 19:13	44K
	jordan16__t14_jordan16	2017-01-13 19:13	44K
	jordan16__t15_jordan16	2017-01-13 19:13	35K
	jordan16__t16_jordan16	2017-01-13 19:13	53K
	jordan16__t17_jordan16	2017-01-13 19:13	45K
	jordan16__t18_jordan16	2017-01-13 19:13	45K
	jordan16__t19_jordan16	2017-01-13 19:13	35K
	jordan16__t20_jordan16	2017-01-13 19:13	57K
	jordan16__t21_jordan16	2017-01-13 19:13	129K
	jordan16__t22_jordan16	2017-01-13 19:13	39K
	jordan16__t23_jordan16	2017-01-13 19:13	42K
	jordan16__t24_jordan16	2017-01-13 19:13	34K