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

	Name	Last modified	Size	Description
	Parent Directory		-
	funcsdom__l6_funcsdom	2017-01-12 22:14	20K
	funcsdom__l21_funcsdom	2017-01-12 22:14	64K
	funcsdom__l33_funcsdom	2017-01-12 22:14	56K
	funcsdom__l38_funcsdom	2017-01-12 22:14	55K
	funcsdom__t1_funcsdom	2017-01-12 22:14	43K
	funcsdom__t2_funcsdom	2017-01-12 22:14	53K
	funcsdom__t3_funcsdom	2017-01-12 22:14	36K
	funcsdom__t4_funcsdom	2017-01-12 22:14	61K
	funcsdom__t5_funcsdom	2017-01-12 22:14	38K
	funcsdom__t6_funcsdom	2017-01-12 22:14	38K
	funcsdom__t7_funcsdom	2017-01-12 22:14	38K
	funcsdom__t8_funcsdom	2017-01-12 22:14	38K
	funcsdom__t9_funcsdom	2017-01-12 22:14	56K
	funcsdom__t10_funcsdom	2017-01-12 22:14	55K
	funcsdom__t11_funcsdom	2017-01-12 22:14	56K
	funcsdom__t12_funcsdom	2017-01-12 22:14	57K
	funcsdom__t13_funcsdom	2017-01-12 22:14	58K
	funcsdom__t14_funcsdom	2017-01-12 22:14	64K
	funcsdom__t15_funcsdom	2017-01-12 22:14	59K
	funcsdom__t16_funcsdom	2017-01-12 22:14	59K
	funcsdom__t17_funcsdom	2017-01-12 22:14	29K
	funcsdom__t18_funcsdom	2017-01-12 22:14	51K
	funcsdom__t19_funcsdom	2017-01-12 22:14	44K
	funcsdom__t20_funcsdom	2017-01-12 22:14	47K
	funcsdom__t21_funcsdom	2017-01-12 22:14	38K
	funcsdom__t22_funcsdom	2017-01-12 22:14	47K
	funcsdom__t23_funcsdom	2017-01-12 22:14	63K
	funcsdom__t24_funcsdom	2017-01-12 22:14	48K
	funcsdom__t25_funcsdom	2017-01-12 22:14	69K
	funcsdom__t26_funcsdom	2017-01-12 22:14	65K
	funcsdom__t27_funcsdom	2017-01-12 22:14	48K