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

	Name	Last modified	Size	Description
	Parent Directory		-
	csspace2__l1_csspace2	2017-01-12 22:20	44K
	csspace2__l2_csspace2	2017-01-12 22:20	38K
	csspace2__l3_csspace2	2017-01-12 22:20	214K
	csspace2__l4_csspace2	2017-01-12 22:20	72K
	csspace2__l5_csspace2	2017-01-12 22:20	40K
	csspace2__l6_csspace2	2017-01-12 22:20	54K
	csspace2__l7_csspace2	2017-01-12 22:20	57K
	csspace2__l8_csspace2	2017-01-12 22:20	74K
	csspace2__l9_csspace2	2017-01-12 22:20	67K
	csspace2__l10_csspace2	2017-01-12 22:20	51K
	csspace2__l11_csspace2	2017-01-12 22:20	71K
	csspace2__l12_csspace2	2017-01-12 22:20	79K
	csspace2__l13_csspace2	2017-01-12 22:20	80K
	csspace2__l14_csspace2	2017-01-12 22:20	55K
	csspace2__l15_csspace2	2017-01-12 22:20	71K
	csspace2__l16_csspace2	2017-01-12 22:20	169K
	csspace2__l17_csspace2	2017-01-12 22:20	64K
	csspace2__l18_csspace2	2017-01-12 22:20	45K
	csspace2__l19_csspace2	2017-01-12 22:20	79K
	csspace2__l22_csspace2	2017-01-12 22:20	209K
	csspace2__l23_csspace2	2017-01-12 22:20	55K
	csspace2__l24_csspace2	2017-01-12 22:20	109K
	csspace2__l25_csspace2	2017-01-12 22:20	113K
	csspace2__t1_csspace2	2017-01-12 22:20	121K
	csspace2__t2_csspace2	2017-01-12 22:20	299K
	csspace2__t3_csspace2	2017-01-12 22:20	32K
	csspace2__t4_csspace2	2017-01-12 22:20	38K
	csspace2__t5_csspace2	2017-01-12 22:20	32K
	csspace2__t7_csspace2	2017-01-12 22:20	33K
	csspace2__t8_csspace2	2017-01-12 22:20	43K
	csspace2__t9_csspace2	2017-01-12 22:20	36K
	csspace2__t10_csspace2	2017-01-12 22:20	42K
	csspace2__t11_csspace2	2017-01-12 22:20	48K
	csspace2__t12_csspace2	2017-01-12 22:20	47K
	csspace2__t13_csspace2	2017-01-12 22:20	63K
	csspace2__t14_csspace2	2017-01-12 22:20	36K
	csspace2__t15_csspace2	2017-01-12 22:20	42K
	csspace2__t16_csspace2	2017-01-12 22:20	44K
	csspace2__t17_csspace2	2017-01-12 22:20	42K
	csspace2__t18_csspace2	2017-01-12 22:20	44K