Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from/nat_5

	Name	Last modified	Size	Description
	Parent Directory		-
	nat_5__e1_43_1_1	2017-01-12 23:59	90K
	nat_5__e1_58_1_1	2017-01-12 23:59	90K
	nat_5__e1_58_1_2	2017-01-12 23:59	93K
	nat_5__e2_30	2017-01-12 23:58	105K
	nat_5__e2_39	2017-01-12 23:58	135K
	nat_5__e2_40	2017-01-12 23:59	127K
	nat_5__e2_41_1_1	2017-01-12 23:59	92K
	nat_5__e3_28	2017-01-12 23:58	97K
	nat_5__e3_46	2017-01-12 23:59	81K
	nat_5__e5_32_3	2017-01-12 23:58	102K
	nat_5__e5_59	2017-01-12 23:59	91K
	nat_5__e7_2	2017-01-12 23:58	78K
	nat_5__e10_59_3	2017-01-12 23:59	91K