Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/functor0

	Name	Last modified	Size	Description
	Parent Directory		-
	functor0__s1_functor0	2017-01-13 00:42	39K
	functor0__t1_functor0	2017-01-13 00:42	34K
	functor0__t2_functor0	2017-01-13 00:42	49K
	functor0__t3_functor0	2017-01-13 00:42	50K
	functor0__t4_functor0	2017-01-13 00:42	43K
	functor0__t5_functor0	2017-01-13 00:42	49K
	functor0__t6_functor0	2017-01-13 00:42	64K
	functor0__t7_functor0	2017-01-13 00:42	20K
	functor0__t8_functor0	2017-01-13 00:42	43K
	functor0__t9_functor0	2017-01-13 00:42	46K
	functor0__t10_functor0	2017-01-13 00:42	61K
	functor0__t11_functor0	2017-01-13 00:42	58K
	functor0__t12_functor0	2017-01-13 00:42	21K
	functor0__t13_functor0	2017-01-13 00:42	41K
	functor0__t14_functor0	2017-01-13 00:42	55K
	functor0__t15_functor0	2017-01-13 00:42	56K
	functor0__t16_functor0	2017-01-13 00:42	67K
	functor0__t17_functor0	2017-01-13 00:42	51K
	functor0__t18_functor0	2017-01-13 00:42	68K
	functor0__t19_functor0	2017-01-13 00:42	63K
	functor0__t20_functor0	2017-01-13 00:42	60K
	functor0__t21_functor0	2017-01-13 00:42	65K
	functor0__t22_functor0	2017-01-13 00:42	60K
	functor0__t23_functor0	2017-01-13 00:42	69K
	functor0__t24_functor0	2017-01-13 00:42	65K
	functor0__t25_functor0	2017-01-13 00:42	71K
	functor0__t26_functor0	2017-01-13 00:42	71K
	functor0__t27_functor0	2017-01-13 00:42	71K
	functor0__t28_functor0	2017-01-13 00:42	70K
	functor0__t29_functor0	2017-01-13 00:42	71K
	functor0__t30_functor0	2017-01-13 00:42	71K
	functor0__t31_functor0	2017-01-13 00:42	66K
	functor0__t32_functor0	2017-01-13 00:42	72K
	functor0__t33_functor0	2017-01-13 00:42	85K
	functor0__t34_functor0	2017-01-13 00:42	94K
	functor0__t35_functor0	2017-01-13 00:42	108K
	functor0__t36_functor0	2017-01-13 00:42	109K
	functor0__t37_functor0	2017-01-13 00:42	130K
	functor0__t38_functor0	2017-01-13 00:42	95K
	functor0__t39_functor0	2017-01-13 00:42	101K
	functor0__t40_functor0	2017-01-13 00:42	113K
	functor0__t41_functor0	2017-01-13 00:42	113K
	functor0__t42_functor0	2017-01-13 00:42	140K
	functor0__t43_functor0	2017-01-13 00:42	145K
	functor0__t44_functor0	2017-01-13 00:42	52K
	functor0__t45_functor0	2017-01-13 00:42	58K
	functor0__t46_functor0	2017-01-13 00:42	22K
	functor0__t47_functor0	2017-01-13 00:42	22K
	functor0__t48_functor0	2017-01-13 00:42	107K
	functor0__t49_functor0	2017-01-13 00:42	114K