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

	Name	Last modified	Size	Description
	Parent Directory		-
	nagata_2__e1_7_1_1	2017-01-13 00:14	81K
	nagata_2__e2_2_1_1	2017-01-13 00:14	89K
	nagata_2__e2_4_1_1	2017-01-13 00:14	77K
	nagata_2__e2_19	2017-01-13 00:14	109K
	nagata_2__e2_24_1_1	2017-01-13 00:14	96K
	nagata_2__e2_24_1_1_7	2017-01-13 00:14	104K
	nagata_2__e3_24_1_1_8	2017-01-13 00:14	98K
	nagata_2__e4_17	2017-01-13 00:14	93K
	nagata_2__e4_21	2017-01-13 00:14	112K
	nagata_2__e5_1	2017-01-13 00:14	70K
	nagata_2__e5_16	2017-01-13 00:14	88K
	nagata_2__e5_24_1_1_9	2017-01-13 00:14	117K
	nagata_2__e5_25_3	2017-01-13 00:14	74K
	nagata_2__e6_19_4	2017-01-13 00:14	103K
	nagata_2__e7_24_1_1	2017-01-13 00:14	106K
	nagata_2__e7_26	2017-01-13 00:14	98K
	nagata_2__e9_24_1_1_16_3_1_1_2	2017-01-13 00:14	113K
	nagata_2__e9_24_1_1_16_5_1_2	2017-01-13 00:14	116K
	nagata_2__e9_24_1_1_17_1_1_1_2	2017-01-13 00:14	113K
	nagata_2__e9_24_1_1_17_2_1_1_2	2017-01-13 00:14	119K
	nagata_2__e10_24_1	2017-01-13 00:14	116K
	nagata_2__e11_24_1_1	2017-01-13 00:14	96K
	nagata_2__e12_26	2017-01-13 00:14	101K
	nagata_2__e14_24_1_1	2017-01-13 00:14	103K
	nagata_2__e14_25	2017-01-13 00:14	116K
	nagata_2__e15_18_1_1	2017-01-13 00:14	125K
	nagata_2__e15_26	2017-01-13 00:14	102K
	nagata_2__e18_24_1_1	2017-01-13 00:14	119K
	nagata_2__e19_25_3	2017-01-13 00:14	63K
	nagata_2__e21_24_1_1	2017-01-13 00:14	109K
	nagata_2__e26_24_1_1	2017-01-13 00:14	124K
	nagata_2__e29_24_1_1	2017-01-13 00:14	106K
	nagata_2__e45_24_1_1_13	2017-01-13 00:14	119K