Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/int_7

	Name	Last modified	Size	Description
	Parent Directory		-
	int_7__l1_int_7	2016-03-08 13:06	68K
	int_7__l6_int_7	2016-03-08 13:06	98K
	int_7__l7_int_7	2016-03-08 13:06	107K
	int_7__l10_int_7	2016-03-08 13:06	90K
	int_7__l11_int_7	2017-01-05 20:54	172K
	int_7__l12_int_7	2017-01-05 20:54	133K
	int_7__l14_int_7	2016-03-08 13:06	80K
	int_7__l21_int_7	2016-03-08 13:06	97K
	int_7__l22_int_7	2016-03-08 13:06	111K
	int_7__l23_int_7	2016-03-08 13:06	130K
	int_7__l26_int_7	2016-03-08 13:06	127K
	int_7__l33_int_7	2016-03-08 13:06	106K
	int_7__l42_int_7	2016-03-08 13:06	225K
	int_7__l46_int_7	2016-03-08 13:06	184K
	int_7__t1_int_7	2016-03-08 13:06	68K
	int_7__t2_int_7	2016-03-08 13:06	72K
	int_7__t3_int_7	2016-03-08 13:06	64K
	int_7__t4_int_7	2016-03-08 13:06	65K
	int_7__t5_int_7	2016-03-08 13:06	47K
	int_7__t6_int_7	2016-03-08 13:06	73K
	int_7__t7_int_7	2016-03-08 13:06	71K
	int_7__t8_int_7	2016-03-08 13:06	49K
	int_7__t9_int_7	2016-03-08 13:06	66K
	int_7__t10_int_7	2016-03-08 13:06	59K
	int_7__t11_int_7	2016-03-08 13:06	60K
	int_7__t12_int_7	2016-03-08 13:06	49K
	int_7__t13_int_7	2016-03-08 13:06	85K
	int_7__t14_int_7	2016-03-08 13:06	77K
	int_7__t15_int_7	2016-03-08 13:06	51K
	int_7__t16_int_7	2016-03-08 13:06	47K
	int_7__t17_int_7	2016-03-08 13:06	108K
	int_7__t18_int_7	2016-03-08 13:06	60K
	int_7__t19_int_7	2016-03-08 13:06	118K
	int_7__t20_int_7	2016-03-08 13:06	105K
	int_7__t21_int_7	2016-03-08 13:06	116K
	int_7__t22_int_7	2016-03-08 13:06	119K
	int_7__t23_int_7	2016-03-08 13:06	83K
	int_7__t24_int_7	2016-03-08 13:06	100K
	int_7__t25_int_7	2016-03-08 13:06	92K
	int_7__t26_int_7	2016-03-08 13:06	97K
	int_7__t27_int_7	2016-03-08 13:06	87K
	int_7__t28_int_7	2016-03-08 13:06	114K
	int_7__t29_int_7	2016-03-08 13:06	161K
	int_7__t30_int_7	2016-03-08 13:06	88K
	int_7__t31_int_7	2016-03-08 13:06	180K