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

	Name	Last modified	Size	Description
	Parent Directory		-
	facirc_2__l22_facirc_2	2017-01-13 00:31	76K
	facirc_2__l23_facirc_2	2017-01-13 00:31	87K
	facirc_2__l36_facirc_2	2017-01-13 00:31	161K
	facirc_2__l38_facirc_2	2017-01-13 00:31	176K
	facirc_2__l42_facirc_2	2017-01-13 00:31	70K
	facirc_2__t1_facirc_2	2017-01-13 00:31	54K
	facirc_2__t2_facirc_2	2017-01-13 00:31	58K
	facirc_2__t3_facirc_2	2017-01-13 00:31	78K
	facirc_2__t4_facirc_2	2017-01-13 00:31	95K
	facirc_2__t5_facirc_2	2017-01-13 00:31	135K
	facirc_2__t6_facirc_2	2017-01-13 00:31	190K
	facirc_2__t7_facirc_2	2017-01-13 00:31	171K
	facirc_2__t8_facirc_2	2017-01-13 00:31	173K
	facirc_2__t9_facirc_2	2017-01-13 00:31	163K
	facirc_2__t10_facirc_2	2017-01-13 00:31	200K
	facirc_2__t11_facirc_2	2017-01-13 00:31	182K
	facirc_2__t12_facirc_2	2017-01-13 00:31	172K
	facirc_2__t13_facirc_2	2017-01-13 00:31	248K
	facirc_2__t14_facirc_2	2017-01-13 00:31	166K
	facirc_2__t15_facirc_2	2017-01-13 00:31	137K
	facirc_2__t16_facirc_2	2017-01-13 00:31	167K
	facirc_2__t17_facirc_2	2017-01-13 00:31	110K
	facirc_2__t18_facirc_2	2017-01-13 00:31	148K
	facirc_2__t19_facirc_2	2017-01-13 00:31	115K
	facirc_2__t20_facirc_2	2017-01-13 00:31	136K
	facirc_2__t21_facirc_2	2017-01-13 00:31	93K
	facirc_2__t22_facirc_2	2017-01-13 00:31	114K
	facirc_2__t23_facirc_2	2017-01-13 00:31	121K
	facirc_2__t24_facirc_2	2017-01-13 00:31	177K
	facirc_2__t25_facirc_2	2017-01-13 00:31	106K
	facirc_2__t26_facirc_2	2017-01-13 00:31	186K
	facirc_2__t27_facirc_2	2017-01-13 00:31	189K
	facirc_2__t28_facirc_2	2017-01-13 00:31	163K
	facirc_2__t29_facirc_2	2017-01-13 00:31	189K
	facirc_2__t30_facirc_2	2017-01-13 00:31	201K
	facirc_2__t31_facirc_2	2017-01-13 00:31	215K
	facirc_2__t32_facirc_2	2017-01-13 00:31	219K
	facirc_2__t33_facirc_2	2017-01-13 00:31	62K
	facirc_2__t34_facirc_2	2017-01-13 00:31	62K
	facirc_2__t35_facirc_2	2017-01-13 00:31	62K