Index of /~mptp/1147/MPTP2/problems_thf_tls/algstr_1

	Name	Last modified	Size	Description
	Parent Directory		-
	algstr_1__l7_algstr_1	2017-01-12 22:08	30K
	algstr_1__l8_algstr_1	2017-01-12 22:08	30K
	algstr_1__l9_algstr_1	2017-01-12 22:08	30K
	algstr_1__l10_algstr_1	2017-01-12 22:08	29K
	algstr_1__l16_algstr_1	2017-01-12 22:08	29K
	algstr_1__l17_algstr_1	2017-01-12 22:08	29K
	algstr_1__l22_algstr_1	2017-01-12 22:08	29K
	algstr_1__l23_algstr_1	2017-01-12 22:08	29K
	algstr_1__l24_algstr_1	2017-01-12 22:08	29K
	algstr_1__l26_algstr_1	2017-01-12 22:08	31K
	algstr_1__l27_algstr_1	2017-01-12 22:08	22K
	algstr_1__l28_algstr_1	2017-01-12 22:08	23K
	algstr_1__l29_algstr_1	2017-01-12 22:08	23K
	algstr_1__l31_algstr_1	2017-01-12 22:08	31K
	algstr_1__l36_algstr_1	2017-01-12 22:08	30K
	algstr_1__l37_algstr_1	2017-01-12 22:08	27K
	algstr_1__l38_algstr_1	2017-01-12 22:08	26K
	algstr_1__l41_algstr_1	2017-01-12 22:08	40K
	algstr_1__l42_algstr_1	2017-01-12 22:08	40K
	algstr_1__l43_algstr_1	2017-01-12 22:08	38K
	algstr_1__l44_algstr_1	2017-01-12 22:08	38K
	algstr_1__l45_algstr_1	2017-01-12 22:08	32K
	algstr_1__l46_algstr_1	2017-01-12 22:08	32K
	algstr_1__l50_algstr_1	2017-01-12 22:08	38K
	algstr_1__l51_algstr_1	2017-01-12 22:08	33K
	algstr_1__t1_algstr_1	2017-01-12 22:08	23K
	algstr_1__t2_algstr_1	2017-01-12 22:08	24K
	algstr_1__t3_algstr_1	2017-01-12 22:08	24K
	algstr_1__t4_algstr_1	2017-01-12 22:08	27K
	algstr_1__t5_algstr_1	2017-01-12 22:08	30K
	algstr_1__t6_algstr_1	2017-01-12 22:08	27K
	algstr_1__t7_algstr_1	2017-01-12 22:08	29K
	algstr_1__t8_algstr_1	2017-01-12 22:08	28K
	algstr_1__t9_algstr_1	2017-01-12 22:08	27K
	algstr_1__t10_algstr_1	2017-01-12 22:08	29K
	algstr_1__t11_algstr_1	2017-01-12 22:08	30K
	algstr_1__t12_algstr_1	2017-01-12 22:08	27K
	algstr_1__t13_algstr_1	2017-01-12 22:08	27K
	algstr_1__t14_algstr_1	2017-01-12 22:08	18K
	algstr_1__t15_algstr_1	2017-01-12 22:08	18K
	algstr_1__t16_algstr_1	2017-01-12 22:08	28K
	algstr_1__t17_algstr_1	2017-01-12 22:08	28K