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

	Name	Last modified	Size	Description
	Parent Directory		-
	waybel15__l2_waybel15	2017-01-12 22:03	22K
	waybel15__l12_waybel15	2017-01-12 22:03	56K
	waybel15__l16_waybel15	2017-01-12 22:03	111K
	waybel15__l19_waybel15	2017-01-12 22:03	50K
	waybel15__l33_waybel15	2017-01-12 22:03	37K
	waybel15__l34_waybel15	2017-01-12 22:03	54K
	waybel15__t1_waybel15	2017-01-12 22:03	16K
	waybel15__t2_waybel15	2017-01-12 22:03	41K
	waybel15__t3_waybel15	2017-01-12 22:03	10K
	waybel15__t4_waybel15	2017-01-12 22:03	92K
	waybel15__t5_waybel15	2017-01-12 22:03	64K
	waybel15__t6_waybel15	2017-01-12 22:03	63K
	waybel15__t7_waybel15	2017-01-12 22:03	55K
	waybel15__t8_waybel15	2017-01-12 22:03	52K
	waybel15__t9_waybel15	2017-01-12 22:03	62K
	waybel15__t10_waybel15	2017-01-12 22:03	62K
	waybel15__t11_waybel15	2017-01-12 22:03	48K
	waybel15__t12_waybel15	2017-01-12 22:03	35K
	waybel15__t13_waybel15	2017-01-12 22:03	74K
	waybel15__t14_waybel15	2017-01-12 22:03	73K
	waybel15__t15_waybel15	2017-01-12 22:03	76K
	waybel15__t16_waybel15	2017-01-12 22:03	54K
	waybel15__t17_waybel15	2017-01-12 22:03	54K
	waybel15__t18_waybel15	2017-01-12 22:03	54K
	waybel15__t19_waybel15	2017-01-12 22:03	21K
	waybel15__t20_waybel15	2017-01-12 22:03	33K
	waybel15__t21_waybel15	2017-01-12 22:03	46K
	waybel15__t22_waybel15	2017-01-12 22:03	46K
	waybel15__t23_waybel15	2017-01-12 22:03	41K
	waybel15__t24_waybel15	2017-01-12 22:03	14K
	waybel15__t25_waybel15	2017-01-12 22:03	37K
	waybel15__t26_waybel15	2017-01-12 22:03	35K
	waybel15__t27_waybel15	2017-01-12 22:03	43K
	waybel15__t28_waybel15	2017-01-12 22:03	43K
	waybel15__t29_waybel15	2017-01-12 22:03	43K
	waybel15__t30_waybel15	2017-01-12 22:03	43K
	waybel15__t31_waybel15	2017-01-12 22:03	43K
	waybel15__t32_waybel15	2017-01-12 22:03	43K