Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d13_xtuple_0

	Name	Last modified	Size	Description
	Parent Directory		-
	e_siec__573_32.min1.thm1.tptp	2017-02-06 16:58	365
	e_siec__593_32.min1.thm1.tptp	2017-02-06 16:58	365
	ff_siec__194_44.min1.thm1.tptp	2017-02-06 16:58	445
	ff_siec__205_45.min1.thm1.tptp	2017-02-06 16:58	469
	ff_siec__217_43.min1.thm1.tptp	2017-02-06 16:58	445
	ff_siec__228_45.min1.thm1.tptp	2017-02-06 16:58	469
	ff_siec__769_46.min1.thm1.tptp	2017-02-06 16:58	449
	ff_siec__805_47.min1.thm1.tptp	2017-02-06 16:58	473
	ff_siec__1158_45.min1.thm1.tptp	2017-02-06 16:58	449
	ff_siec__1194_46.min1.thm1.tptp	2017-02-06 16:58	473
	fomodel0__1562_18.min1.thm1.tptp	2017-02-06 16:58	387
	glib_001__4788_44.min1.thm1.tptp	2017-02-06 16:58	648
	int_3__242_31.min1.thm1.tptp	2017-02-06 16:58	389
	int_3__1141_19.min1.thm1.tptp	2017-02-06 16:58	357
	polyred__1185_25.min1.thm1.tptp	2017-02-06 16:58	378
	quofield__2846_19.min1.thm1.tptp	2017-02-06 16:58	375
	quofield__3185_20.min1.thm1.tptp	2017-02-06 16:58	363
	quofield__3287_19.min1.thm1.tptp	2017-02-06 16:58	367
	relat_2__265_19.min1.thm1.tptp	2017-02-06 16:58	365
	relat_2__392_25.min1.thm1.tptp	2017-02-06 16:58	354
	relat_2__399_27.min1.thm1.tptp	2017-02-06 16:58	378
	relat_2__545_23.min1.thm1.tptp	2017-02-06 16:58	413
	termord__171_23.min1.thm1.tptp	2017-02-06 16:58	387