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

	Name	Last modified	Size	Description
	Parent Directory		-
	rlaffin3__l1_rlaffin3	2017-01-12 21:59	80K
	rlaffin3__l4_rlaffin3	2017-01-12 21:59	75K
	rlaffin3__l10_rlaffin3	2017-01-12 21:59	103K
	rlaffin3__l15_rlaffin3	2017-01-12 21:59	46K
	rlaffin3__l30_rlaffin3	2017-01-12 21:58	36K
	rlaffin3__l32_rlaffin3	2017-01-12 21:59	107K
	rlaffin3__l33_rlaffin3	2017-01-12 21:59	217K
	rlaffin3__l34_rlaffin3	2017-01-12 21:59	272K
	rlaffin3__l44_rlaffin3	2017-01-12 21:59	144K
	rlaffin3__t1_rlaffin3	2017-01-12 21:58	87K
	rlaffin3__t2_rlaffin3	2017-01-12 21:58	90K
	rlaffin3__t3_rlaffin3	2017-01-12 21:58	64K
	rlaffin3__t4_rlaffin3	2017-01-12 21:58	91K
	rlaffin3__t5_rlaffin3	2017-01-12 21:58	115K
	rlaffin3__t6_rlaffin3	2017-01-12 21:58	105K
	rlaffin3__t7_rlaffin3	2017-01-12 21:58	160K
	rlaffin3__t8_rlaffin3	2017-01-12 21:58	147K
	rlaffin3__t9_rlaffin3	2017-01-12 21:58	77K
	rlaffin3__t10_rlaffin3	2017-01-12 21:58	58K
	rlaffin3__t11_rlaffin3	2017-01-12 21:58	92K
	rlaffin3__t12_rlaffin3	2017-01-12 21:58	88K
	rlaffin3__t13_rlaffin3	2017-01-12 21:58	74K
	rlaffin3__t14_rlaffin3	2017-01-12 21:58	89K
	rlaffin3__t15_rlaffin3	2017-01-12 21:58	107K
	rlaffin3__t16_rlaffin3	2017-01-12 21:58	77K
	rlaffin3__t17_rlaffin3	2017-01-12 21:58	109K
	rlaffin3__t18_rlaffin3	2017-01-12 21:58	104K
	rlaffin3__t19_rlaffin3	2017-01-12 21:58	123K
	rlaffin3__t20_rlaffin3	2017-01-12 21:58	98K
	rlaffin3__t21_rlaffin3	2017-01-12 21:58	145K
	rlaffin3__t22_rlaffin3	2017-01-12 21:58	111K
	rlaffin3__t23_rlaffin3	2017-01-12 21:58	184K
	rlaffin3__t24_rlaffin3	2017-01-12 21:58	214K
	rlaffin3__t25_rlaffin3	2017-01-12 21:58	171K
	rlaffin3__t26_rlaffin3	2017-01-12 21:58	137K
	rlaffin3__t27_rlaffin3	2017-01-12 21:58	145K
	rlaffin3__t28_rlaffin3	2017-01-12 21:58	114K
	rlaffin3__t29_rlaffin3	2017-01-12 21:58	85K
	rlaffin3__t30_rlaffin3	2017-01-12 21:59	82K
	rlaffin3__t31_rlaffin3	2017-01-12 21:59	177K
	rlaffin3__t32_rlaffin3	2017-01-12 21:59	120K
	rlaffin3__t33_rlaffin3	2017-01-12 21:59	162K