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

	Name	Last modified	Size	Description
	Parent Directory		-
	polynom3__e1_17_1_1	2017-01-12 23:14	45K
	polynom3__e1_22	2017-01-12 23:14	43K
	polynom3__e1_28_1_1	2017-01-12 23:14	66K
	polynom3__e1_54_1_1_1	2017-01-12 23:14	65K
	polynom3__e1_59_1	2017-01-12 23:14	61K
	polynom3__e2_9_1	2017-01-12 23:14	54K
	polynom3__e2_9_1_1	2017-01-12 23:14	48K
	polynom3__e2_19_1_1	2017-01-12 23:14	45K
	polynom3__e2_37_1	2017-01-12 23:14	56K
	polynom3__e2_54_1_1	2017-01-12 23:14	67K
	polynom3__e3_2	2017-01-12 23:14	61K
	polynom3__e3_3	2017-01-12 23:14	56K
	polynom3__e3_4	2017-01-12 23:14	60K
	polynom3__e3_15	2017-01-12 23:14	55K
	polynom3__e5_63_1_1	2017-01-12 23:14	57K
	polynom3__e6_59_1	2017-01-12 23:14	61K
	polynom3__e8_27	2017-01-12 23:14	55K
	polynom3__e10_63_1_1	2017-01-12 23:14	57K
	polynom3__e38_59_1	2017-01-12 23:14	70K
	polynom3__e43_59_1	2017-01-12 23:14	70K