Index of /~mptp/1147/mptp/problems_thf_tls/topreal5

	Name	Last modified	Size	Description
	Parent Directory		-
	topreal5__l1_topreal5	2017-01-12 22:14	25K
	topreal5__t1_topreal5	2017-01-12 22:14	26K
	topreal5__t2_topreal5	2017-01-12 22:14	24K
	topreal5__t3_topreal5	2017-01-12 22:14	38K
	topreal5__t4_topreal5	2017-01-12 22:14	31K
	topreal5__t5_topreal5	2017-01-12 22:14	30K
	topreal5__t6_topreal5	2017-01-12 22:14	34K
	topreal5__t7_topreal5	2017-01-12 22:14	34K
	topreal5__t8_topreal5	2017-01-12 22:14	35K
	topreal5__t9_topreal5	2017-01-12 22:14	69K
	topreal5__t10_topreal5	2017-01-12 22:14	38K
	topreal5__t11_topreal5	2017-01-12 22:14	38K
	topreal5__t12_topreal5	2017-01-12 22:14	57K
	topreal5__t13_topreal5	2017-01-12 22:14	57K
	topreal5__t14_topreal5	2017-01-12 22:14	181K
	topreal5__t15_topreal5	2017-01-12 22:14	181K
	topreal5__t16_topreal5	2017-01-12 22:14	33K
	topreal5__t17_topreal5	2017-01-12 22:14	33K
	topreal5__t18_topreal5	2017-01-12 22:14	41K
	topreal5__t19_topreal5	2017-01-12 22:14	41K