Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/weddwitt

	Name	Last modified	Size	Description
	Parent Directory		-
	weddwitt__t1_weddwitt	2017-01-13 00:41	76K
	weddwitt__t2_weddwitt	2017-01-13 00:41	86K
	weddwitt__t3_weddwitt	2017-01-13 00:41	124K
	weddwitt__t4_weddwitt	2017-01-13 00:41	195K
	weddwitt__t5_weddwitt	2017-01-13 00:41	118K
	weddwitt__t6_weddwitt	2017-01-13 00:41	159K
	weddwitt__t7_weddwitt	2017-01-13 00:41	90K
	weddwitt__t8_weddwitt	2017-01-13 00:41	90K
	weddwitt__t9_weddwitt	2017-01-13 00:41	125K
	weddwitt__t10_weddwitt	2017-01-13 00:41	108K
	weddwitt__t11_weddwitt	2017-01-13 00:41	115K
	weddwitt__t12_weddwitt	2017-01-13 00:41	133K
	weddwitt__t13_weddwitt	2017-01-13 00:41	126K
	weddwitt__t14_weddwitt	2017-01-13 00:41	121K
	weddwitt__t15_weddwitt	2017-01-13 00:41	228K
	weddwitt__t16_weddwitt	2017-01-13 00:41	114K
	weddwitt__t17_weddwitt	2017-01-13 00:41	117K
	weddwitt__t18_weddwitt	2017-01-13 00:42	103K
	weddwitt__t19_weddwitt	2017-01-13 00:42	103K
	weddwitt__t20_weddwitt	2017-01-13 00:42	112K
	weddwitt__t21_weddwitt	2017-01-13 00:42	122K
	weddwitt__t22_weddwitt	2017-01-13 00:42	151K
	weddwitt__t23_weddwitt	2017-01-13 00:42	112K
	weddwitt__t24_weddwitt	2017-01-13 00:42	112K
	weddwitt__t25_weddwitt	2017-01-13 00:42	104K
	weddwitt__t26_weddwitt	2017-01-13 00:42	122K
	weddwitt__t27_weddwitt	2017-01-13 00:42	113K
	weddwitt__t28_weddwitt	2017-01-13 00:42	101K
	weddwitt__t29_weddwitt	2017-01-13 00:42	147K
	weddwitt__t30_weddwitt	2017-01-13 00:42	156K
	weddwitt__t31_weddwitt	2017-01-13 00:42	131K
	weddwitt__t32_weddwitt	2017-01-13 00:42	158K
	weddwitt__t33_weddwitt	2017-01-13 00:42	135K
	weddwitt__t34_weddwitt	2017-01-13 00:42	114K
	weddwitt__t35_weddwitt	2017-01-13 00:42	179K
	weddwitt__t36_weddwitt	2017-01-13 00:42	165K
	weddwitt__t37_weddwitt	2017-01-13 00:42	156K
	weddwitt__t38_weddwitt	2017-01-13 00:42	318K
	weddwitt__t39_weddwitt	2017-01-13 00:41	116K
	weddwitt__t40_weddwitt	2017-01-13 00:41	114K