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

	Name	Last modified	Size	Description
	Parent Directory		-
	rlaffin3__l1_rlaffin3	2017-01-13 19:06	80K
	rlaffin3__l4_rlaffin3	2017-01-13 19:06	75K
	rlaffin3__l10_rlaffin3	2017-01-13 19:06	103K
	rlaffin3__l15_rlaffin3	2017-01-13 19:06	46K
	rlaffin3__l30_rlaffin3	2017-01-13 19:06	36K
	rlaffin3__l32_rlaffin3	2017-01-13 19:06	107K
	rlaffin3__l33_rlaffin3	2017-01-13 19:06	219K
	rlaffin3__l34_rlaffin3	2017-01-13 19:06	274K
	rlaffin3__l44_rlaffin3	2017-01-13 19:06	146K
	rlaffin3__t1_rlaffin3	2017-01-13 19:06	88K
	rlaffin3__t2_rlaffin3	2017-01-13 19:06	91K
	rlaffin3__t3_rlaffin3	2017-01-13 19:06	64K
	rlaffin3__t4_rlaffin3	2017-01-13 19:06	91K
	rlaffin3__t5_rlaffin3	2017-01-13 19:06	117K
	rlaffin3__t6_rlaffin3	2017-01-13 19:06	105K
	rlaffin3__t7_rlaffin3	2017-01-13 19:06	163K
	rlaffin3__t8_rlaffin3	2017-01-13 19:06	147K
	rlaffin3__t9_rlaffin3	2017-01-13 19:06	77K
	rlaffin3__t10_rlaffin3	2017-01-13 19:06	58K
	rlaffin3__t11_rlaffin3	2017-01-13 19:06	92K
	rlaffin3__t12_rlaffin3	2017-01-13 19:06	90K
	rlaffin3__t13_rlaffin3	2017-01-13 19:06	74K
	rlaffin3__t14_rlaffin3	2017-01-13 19:06	89K
	rlaffin3__t15_rlaffin3	2017-01-13 19:06	107K
	rlaffin3__t16_rlaffin3	2017-01-13 19:06	77K
	rlaffin3__t17_rlaffin3	2017-01-13 19:06	109K
	rlaffin3__t18_rlaffin3	2017-01-13 19:06	104K
	rlaffin3__t19_rlaffin3	2017-01-13 19:06	123K
	rlaffin3__t20_rlaffin3	2017-01-13 19:06	98K
	rlaffin3__t21_rlaffin3	2017-01-13 19:06	147K
	rlaffin3__t22_rlaffin3	2017-01-13 19:06	111K
	rlaffin3__t23_rlaffin3	2017-01-13 19:06	185K
	rlaffin3__t24_rlaffin3	2017-01-13 19:06	215K
	rlaffin3__t25_rlaffin3	2017-01-13 19:06	173K
	rlaffin3__t26_rlaffin3	2017-01-13 19:06	138K
	rlaffin3__t27_rlaffin3	2017-01-13 19:06	145K
	rlaffin3__t28_rlaffin3	2017-01-13 19:06	114K
	rlaffin3__t29_rlaffin3	2017-01-13 19:06	85K
	rlaffin3__t30_rlaffin3	2017-01-13 19:06	82K
	rlaffin3__t31_rlaffin3	2017-01-13 19:06	178K
	rlaffin3__t32_rlaffin3	2017-01-13 19:06	121K
	rlaffin3__t33_rlaffin3	2017-01-13 19:06	163K