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

	Name	Last modified	Size	Description
	Parent Directory		-
	nat_3__e1_12_1_1	2017-01-12 23:14	48K
	nat_3__e1_25_1_1	2017-01-12 23:14	46K
	nat_3__e1_31_1_1	2017-01-12 23:14	46K
	nat_3__e1_36_1_1	2017-01-12 23:14	46K
	nat_3__e2_63_1_1	2017-01-12 23:14	45K
	nat_3__e2_92_1_1	2017-01-12 23:14	51K
	nat_3__e3_10	2017-01-12 23:14	62K
	nat_3__e3_11	2017-01-12 23:14	63K
	nat_3__e3_22	2017-01-12 23:14	62K
	nat_3__e3_71_1_1	2017-01-12 23:14	41K
	nat_3__e4_23	2017-01-12 23:14	53K
	nat_3__e4_45_1_1	2017-01-12 23:14	48K
	nat_3__e4_49_1_1_1_2	2017-01-12 23:14	42K
	nat_3__e4_101	2017-01-12 23:14	49K
	nat_3__e5_5	2017-01-12 23:14	44K
	nat_3__e5_62	2017-01-12 23:14	47K
	nat_3__e8_8	2017-01-12 23:14	45K