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

	Name	Last modified	Size	Description
	Parent Directory		-
	waybel31__e2_4_1_1	2017-01-12 23:14	34K
	waybel31__e2_6	2017-01-12 23:14	34K
	waybel31__e2_12	2017-01-12 23:14	45K
	waybel31__e4_15	2017-01-12 23:14	50K
	waybel31__e4_23	2017-01-12 23:14	31K
	waybel31__e6_31	2017-01-12 23:14	51K
	waybel31__e6_32	2017-01-12 23:14	49K
	waybel31__e9_26	2017-01-12 23:14	47K
	waybel31__e10_12_3	2017-01-12 23:14	14K
	waybel31__e11_27	2017-01-12 23:14	43K
	waybel31__e17_27	2017-01-12 23:14	43K
	waybel31__e20_14_2	2017-01-12 23:14	47K
	waybel31__e37_28_2	2017-01-12 23:14	39K