Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from.bad_dt_f/pencil_3

	Name	Last modified	Size	Description
	Parent Directory		-
	pencil_3__e3_25_1	2017-01-05 21:22	103K
	pencil_3__e3_33	2017-01-05 21:22	79K
	pencil_3__e6_27	2017-01-05 21:22	93K
	pencil_3__e9_31_2_1	2017-01-05 21:22	108K
	pencil_3__e10_26_2_1	2017-01-05 21:22	81K
	pencil_3__e10_29_1_1	2017-01-05 21:22	94K
	pencil_3__e13_25	2017-01-05 21:22	87K
	pencil_3__e18_24	2017-01-05 21:22	87K
	pencil_3__e21_24	2017-01-05 21:22	89K