Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from1/ami_4

	Name	Last modified	Size	Description
	Parent Directory		-
	ami_4__e2_13_1_1	2017-01-13 19:00	47K
	ami_4__e5_13_1_2	2017-01-13 19:00	49K
	ami_4__e6_9	2017-01-13 19:00	54K
	ami_4__e12_11	2017-01-13 19:00	55K
	ami_4__e14_18_5	2017-01-13 19:00	54K