Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/zfrefle1

	Name	Last modified	Size	Description
	Parent Directory		-
	zfrefle1__e1_3_1_1	2017-01-12 23:14	22K
	zfrefle1__e1_31	2017-01-12 23:14	19K
	zfrefle1__e2_17	2017-01-12 23:14	31K
	zfrefle1__e3_3_1_2	2017-01-12 23:14	23K
	zfrefle1__e4_10	2017-01-12 23:14	23K
	zfrefle1__e4_26	2017-01-12 23:14	25K
	zfrefle1__e4_28	2017-01-12 23:14	32K
	zfrefle1__e5_27	2017-01-12 23:14	25K
	zfrefle1__e6_17_3	2017-01-12 23:14	20K
	zfrefle1__e6_27_1	2017-01-12 23:14	28K
	zfrefle1__e8_17_4	2017-01-12 23:14	26K
	zfrefle1__e32_28	2017-01-12 23:14	25K