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

	Name	Last modified	Size	Description
	Parent Directory		-
	jordan11__l1_jordan11	2017-01-13 00:42	251K
	jordan11__l2_jordan11	2017-01-13 00:42	466K
	jordan11__t1_jordan11	2017-01-13 00:42	97K
	jordan11__t2_jordan11	2017-01-13 00:42	167K
	jordan11__t3_jordan11	2017-01-13 00:42	234K
	jordan11__t4_jordan11	2017-01-13 00:42	304K
	jordan11__t5_jordan11	2017-01-13 00:42	457K
	jordan11__t6_jordan11	2017-01-13 00:42	138K
	jordan11__t7_jordan11	2017-01-13 00:42	176K
	jordan11__t8_jordan11	2017-01-13 00:42	142K
	jordan11__t9_jordan11	2017-01-13 00:42	135K
	jordan11__t10_jordan11	2017-01-13 00:42	261K
	jordan11__t11_jordan11	2017-01-13 00:42	122K
	jordan11__t12_jordan11	2017-01-13 00:42	135K
	jordan11__t13_jordan11	2017-01-13 00:42	124K
	jordan11__t14_jordan11	2017-01-13 00:42	118K
	jordan11__t15_jordan11	2017-01-13 00:42	105K
	jordan11__t16_jordan11	2017-01-13 00:42	98K
	jordan11__t17_jordan11	2017-01-13 00:42	102K