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

	Name	Last modified	Size	Description
	Parent Directory		-
	fintopo4__533_43.min1.thm1.tptp	2017-02-06 16:58	642
	funct_2__731_45.min1.thm1.tptp	2017-02-06 16:58	484
	funct_2__2210_37.min1.thm1.tptp	2017-02-06 16:58	546
	jordan1k__885_40.min1.thm1.tptp	2017-02-06 16:58	640
	latsubgr__810_9.min1.thm1.tptp	2017-02-06 16:58	891
	latsubgr__919_32.min1.thm1.tptp	2017-02-06 16:58	747
	lopban_6__593_46.min1.thm1.tptp	2017-02-06 16:58	809
	lopban_6__685_52.min1.thm1.tptp	2017-02-06 16:58	877
	lopban_6__696_51.min1.thm1.tptp	2017-02-06 16:58	878
	lopban_6__697_52.min1.thm1.tptp	2017-02-06 16:58	890
	lopban_6__1008_52.min1.thm1.tptp	2017-02-06 16:58	877
	lopban_6__1145_52.min1.thm1.tptp	2017-02-06 16:58	878
	lopban_6__1153_56.min1.thm1.tptp	2017-02-06 16:58	906
	lopban_6__1208_52.min1.thm1.tptp	2017-02-06 16:58	880
	lopban_6__1230_52.min1.thm1.tptp	2017-02-06 16:58	895
	mmlquery__112_28.min1.thm1.tptp	2017-02-06 16:58	448
	rlaffin3__1973_44.min1.thm1.tptp	2017-02-06 16:58	1.9K
	rlaffin3__1974_44.min1.thm1.tptp	2017-02-06 16:58	1.9K
	rlaffin3__2169_42.min1.thm1.tptp	2017-02-06 16:58	1.9K
	setwiseo__1805_15.min1.thm1.tptp	2017-02-06 16:58	510
	topreal5__235_73.min1.thm1.tptp	2017-02-06 16:58	813
	unialg_3__851_31.min1.thm1.tptp	2017-02-06 16:58	685
	vectsp_8__535_53.min1.thm1.tptp	2017-02-06 16:58	662
	vectsp_8__569_58.min1.thm1.tptp	2017-02-06 16:58	662
	waybel20__547_37.min1.thm1.tptp	2017-02-06 16:58	637
	waybel26__2130_38.min1.thm1.tptp	2017-02-06 16:58	530