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

	Name	Last modified	Size	Description
	Parent Directory		-
	cardfin2__e1_18_1_1	2017-01-12 23:28	62K
	cardfin2__e4_23	2017-01-12 23:28	62K
	cardfin2__e5_27	2017-01-12 23:28	55K
	cardfin2__e8_13_1	2017-01-12 23:28	75K
	cardfin2__e9_18_1_2	2017-01-12 23:28	66K