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

	Name	Last modified	Size	Description
	Parent Directory		-
	euclid_7__e2_57_1_1	2017-01-05 21:14	88K
	euclid_7__e4_53	2017-01-05 21:14	77K
	euclid_7__e4_90_1_1_2	2017-01-05 21:14	81K
	euclid_7__e6_11	2017-01-05 21:14	70K
	euclid_7__e6_74_1_1_1	2017-01-05 21:14	112K
	euclid_7__e6_92_1_1_1	2017-01-05 21:14	113K
	euclid_7__e6_101_1_2_1_2	2017-01-05 21:15	88K
	euclid_7__e7_8_1_1_2	2017-01-05 21:14	72K
	euclid_7__e8_9	2017-01-05 21:14	72K
	euclid_7__e8_46_1_1_1_1_5_1_3	2017-01-05 21:14	107K
	euclid_7__e9_44_1_2	2017-01-05 21:14	84K
	euclid_7__e9_47_2_1	2017-01-05 21:14	90K
	euclid_7__e10_46_1_1_1_1_5_1_4	2017-01-05 21:14	100K
	euclid_7__e10_94	2017-01-05 21:14	105K
	euclid_7__e11_58_1_1_1	2017-01-05 21:14	89K
	euclid_7__e11_93	2017-01-05 21:14	104K
	euclid_7__e12_44_1_1_1_1	2017-01-05 21:14	90K
	euclid_7__e12_46_1_1_1_1_5_1_2	2017-01-05 21:14	97K
	euclid_7__e13_94	2017-01-05 21:14	108K
	euclid_7__e14_93	2017-01-05 21:14	108K
	euclid_7__e16_48_2_1_4_1	2017-01-05 21:14	85K
	euclid_7__e17_101_1_2_1	2017-01-05 21:15	100K
	euclid_7__e20_46_1_1	2017-01-05 21:14	100K
	euclid_7__e21_86	2017-01-05 21:14	106K
	euclid_7__e23_101_1_2_1_1_1_1_1_1	2017-01-05 21:15	112K
	euclid_7__e24_73	2017-01-05 21:14	105K
	euclid_7__e25_86	2017-01-05 21:14	122K
	euclid_7__e28_73	2017-01-05 21:14	122K
	euclid_7__e39_48_2_1	2017-01-05 21:14	84K
	euclid_7__e43_48_2_1	2017-01-05 21:14	86K
	euclid_7__e48_48_2_1	2017-01-05 21:14	86K