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

	Name	Last modified	Size	Description
	Parent Directory		-
	fdiff_1__283_17.min1.thm1.tptp	2017-02-06 16:58	928
	fdiff_1__339_17.min1.thm1.tptp	2017-02-06 16:58	928
	fdiff_1__472_20.min1.thm1.tptp	2017-02-06 16:58	954
	fdiff_1__477_19.min1.thm1.tptp	2017-02-06 16:58	954
	fdiff_1__924_18.min1.thm1.tptp	2017-02-06 16:58	934
	fdiff_1__1071_18.min1.thm1.tptp	2017-02-06 16:58	929
	fdiff_1__1113_19.min1.thm1.tptp	2017-02-06 16:58	934
	fdiff_1__1118_20.min1.thm1.tptp	2017-02-06 16:58	934
	fdiff_1__1120_19.min1.thm1.tptp	2017-02-06 16:58	929
	fdiff_1__1124_19.min1.thm1.tptp	2017-02-06 16:58	929
	fdiff_1__1139_20.min1.thm1.tptp	2017-02-06 16:58	934
	integra8__341_18.min1.thm1.tptp	2017-02-06 16:58	934
	integra8__382_18.min1.thm1.tptp	2017-02-06 16:58	935
	ndiff_5__1456_41.min1.thm1.tptp	2017-02-06 16:58	1.0K
	pdiff_1__664_17.min1.thm1.tptp	2017-02-06 16:58	940
	pdiff_1__961_18.min1.thm1.tptp	2017-02-06 16:58	935
	pdiff_2__473_18.min1.thm1.tptp	2017-02-06 16:58	935
	pdiff_2__478_17.min1.thm1.tptp	2017-02-06 16:58	935
	pdiff_2__607_18.min1.thm1.tptp	2017-02-06 16:58	935
	pdiff_2__612_17.min1.thm1.tptp	2017-02-06 16:58	935
	pdiff_2__1081_18.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1294_18.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1387_19.min1.thm1.tptp	2017-02-06 16:58	929
	pdiff_2__1393_20.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1394_20.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1395_19.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1402_20.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1557_19.min1.thm1.tptp	2017-02-06 16:58	929
	pdiff_2__1567_20.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1568_20.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1569_20.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_2__1570_19.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_4__1040_18.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_4__1243_18.min1.thm1.tptp	2017-02-06 16:58	934
	pdiff_4__1447_18.min1.thm1.tptp	2017-02-06 16:58	934