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

	Name	Last modified	Size	Description
	Parent Directory		-
	waybel13__l26_waybel13	2017-01-12 22:10	72K
	waybel13__l28_waybel13	2017-01-12 22:10	53K
	waybel13__l29_waybel13	2017-01-12 22:10	53K
	waybel13__l30_waybel13	2017-01-12 22:10	53K
	waybel13__l37_waybel13	2017-01-12 22:10	53K
	waybel13__t1_waybel13	2017-01-12 22:10	27K
	waybel13__t2_waybel13	2017-01-12 22:10	36K
	waybel13__t3_waybel13	2017-01-12 22:10	15K
	waybel13__t4_waybel13	2017-01-12 22:10	28K
	waybel13__t5_waybel13	2017-01-12 22:10	37K
	waybel13__t6_waybel13	2017-01-12 22:10	49K
	waybel13__t7_waybel13	2017-01-12 22:10	84K
	waybel13__t8_waybel13	2017-01-12 22:10	62K
	waybel13__t9_waybel13	2017-01-12 22:10	49K
	waybel13__t10_waybel13	2017-01-12 22:10	50K
	waybel13__t11_waybel13	2017-01-12 22:10	57K
	waybel13__t12_waybel13	2017-01-12 22:10	36K
	waybel13__t13_waybel13	2017-01-12 22:10	52K
	waybel13__t14_waybel13	2017-01-12 22:10	54K
	waybel13__t15_waybel13	2017-01-12 22:10	38K
	waybel13__t16_waybel13	2017-01-12 22:10	56K
	waybel13__t17_waybel13	2017-01-12 22:10	44K
	waybel13__t18_waybel13	2017-01-12 22:10	34K
	waybel13__t19_waybel13	2017-01-12 22:10	34K
	waybel13__t20_waybel13	2017-01-12 22:10	37K
	waybel13__t21_waybel13	2017-01-12 22:10	33K
	waybel13__t22_waybel13	2017-01-12 22:10	34K
	waybel13__t23_waybel13	2017-01-12 22:10	43K
	waybel13__t24_waybel13	2017-01-12 22:10	63K
	waybel13__t25_waybel13	2017-01-12 22:10	61K
	waybel13__t26_waybel13	2017-01-12 22:10	30K
	waybel13__t27_waybel13	2017-01-12 22:10	43K
	waybel13__t28_waybel13	2017-01-12 22:10	36K
	waybel13__t29_waybel13	2017-01-12 22:10	49K
	waybel13__t30_waybel13	2017-01-12 22:10	51K
	waybel13__t31_waybel13	2017-01-12 22:10	48K
	waybel13__t32_waybel13	2017-01-12 22:10	53K
	waybel13__t33_waybel13	2017-01-12 22:10	46K
	waybel13__t34_waybel13	2017-01-12 22:10	52K
	waybel13__t35_waybel13	2017-01-12 22:10	53K