Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/int_7

	Name	Last modified	Size	Description
	Parent Directory		-
	int_7__e3_13	2017-01-05 21:08	125K
	int_7__e3_26	2017-01-05 21:08	85K
	int_7__e3_42	2017-01-05 21:08	121K
	int_7__e3_49_4	2017-01-05 21:08	92K
	int_7__e4_6	2017-01-05 21:08	95K
	int_7__e4_49	2017-01-05 21:08	107K
	int_7__e5_45	2017-01-05 21:08	135K
	int_7__e6_49	2017-01-05 21:08	100K
	int_7__e20_12	2017-01-05 21:08	87K