Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d7_xtuple_0

	Name	Last modified	Size	Description
	Parent Directory		-
	amistd_2__659_66.min1.thm1.tptp	2017-02-06 16:58	393
	compos_0__820_15.min1.thm1.tptp	2017-02-06 16:58	351
	compos_1__1608_64.min1.thm1.tptp	2017-02-06 16:58	318
	mcart_1__789_31.min1.thm1.tptp	2017-02-06 16:58	356
	mcart_1__800_29.min1.thm1.tptp	2017-02-06 16:58	368
	mcart_1__808_32.min1.thm1.tptp	2017-02-06 16:58	356
	recdef_2__109_26.min1.thm1.tptp	2017-02-06 16:58	332
	scm_inst__460_16.min1.thm1.tptp	2017-02-06 16:58	359
	scm_inst__464_16.min1.thm1.tptp	2017-02-06 16:58	399
	scm_inst__468_16.min1.thm1.tptp	2017-02-06 16:58	399
	scmfsa_i__474_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmfsa_i__478_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmpds_i__854_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmpds_i__858_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmpds_i__862_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmpds_i__866_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmpds_i__871_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmpds_i__876_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmringi__686_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmringi__690_18.min1.thm1.tptp	2017-02-06 16:58	359
	scmringi__694_18.min1.thm1.tptp	2017-02-06 16:58	399
	scmringi__698_18.min1.thm1.tptp	2017-02-06 16:58	399
	xtuple_0__230_41.min1.thm1.tptp	2017-02-06 16:58	409