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

	Name	Last modified	Size	Description
	Parent Directory		-
	complsp2__1082_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1083_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1084_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1108_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1109_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1110_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1304_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1306_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1397_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1399_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1432_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1434_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1557_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1558_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1559_25.min1.thm1.tptp	2017-02-06 16:58	357
	complsp2__1560_25.min1.thm1.tptp	2017-02-06 16:58	357
	matrixc1__1296_21.min1.thm1.tptp	2017-02-06 16:58	357
	matrixc1__1319_22.min1.thm1.tptp	2017-02-06 16:58	358
	matrixc1__1322_22.min1.thm1.tptp	2017-02-06 16:58	358
	matrixc1__1325_22.min1.thm1.tptp	2017-02-06 16:58	358
	mesfun7c__2179_23.min1.thm1.tptp	2017-02-06 16:58	359
	mesfun7c__2202_23.min1.thm1.tptp	2017-02-06 16:58	359
	mesfun7c__2260_21.min1.thm1.tptp	2017-02-06 16:58	358
	mesfun7c__2300_21.min1.thm1.tptp	2017-02-06 16:58	357
	mesfun7c__2304_21.min1.thm1.tptp	2017-02-06 16:58	358