Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/binari_3

	Name	Last modified	Size	Description
	Parent Directory		-
	binari_3__l29_binari_3	2017-01-13 17:56	125K
	binari_3__l30_binari_3	2017-01-13 17:56	79K
	binari_3__l31_binari_3	2017-01-13 17:56	113K
	binari_3__l32_binari_3	2017-01-13 17:56	204K
	binari_3__t1_binari_3	2017-01-13 17:56	87K
	binari_3__t2_binari_3	2017-01-13 17:56	95K
	binari_3__t3_binari_3	2017-01-13 17:56	19K
	binari_3__t4_binari_3	2017-01-13 17:56	43K
	binari_3__t5_binari_3	2017-01-13 17:56	76K
	binari_3__t6_binari_3	2017-01-13 17:56	65K
	binari_3__t7_binari_3	2017-01-13 17:56	68K
	binari_3__t8_binari_3	2017-01-13 17:56	60K
	binari_3__t9_binari_3	2017-01-13 17:56	63K
	binari_3__t10_binari_3	2017-01-13 17:56	35K
	binari_3__t11_binari_3	2017-01-13 17:56	51K
	binari_3__t12_binari_3	2017-01-13 17:56	64K
	binari_3__t13_binari_3	2017-01-13 17:56	95K
	binari_3__t14_binari_3	2017-01-13 17:56	74K
	binari_3__t15_binari_3	2017-01-13 17:56	74K
	binari_3__t16_binari_3	2017-01-13 17:56	47K
	binari_3__t17_binari_3	2017-01-13 17:56	44K
	binari_3__t18_binari_3	2017-01-13 17:56	64K
	binari_3__t19_binari_3	2017-01-13 17:56	100K
	binari_3__t20_binari_3	2017-01-13 17:56	82K
	binari_3__t21_binari_3	2017-01-13 17:56	113K
	binari_3__t22_binari_3	2017-01-13 17:56	113K
	binari_3__t23_binari_3	2017-01-13 17:56	107K
	binari_3__t24_binari_3	2017-01-13 17:56	75K
	binari_3__t25_binari_3	2017-01-13 17:56	58K
	binari_3__t26_binari_3	2017-01-13 17:56	72K
	binari_3__t27_binari_3	2017-01-13 17:56	84K
	binari_3__t28_binari_3	2017-01-13 17:56	149K
	binari_3__t29_binari_3	2017-01-13 17:56	41K
	binari_3__t30_binari_3	2017-01-13 17:56	50K
	binari_3__t31_binari_3	2017-01-13 17:56	72K
	binari_3__t32_binari_3	2017-01-13 17:56	71K
	binari_3__t33_binari_3	2017-01-13 17:56	200K
	binari_3__t34_binari_3	2017-01-13 17:56	182K
	binari_3__t35_binari_3	2017-01-13 17:56	83K
	binari_3__t36_binari_3	2017-01-13 17:56	35K