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

	Name	Last modified	Size	Description
	Parent Directory		-
	abcmiz_1__275_30.min1.thm1.tptp	2017-02-06 16:58	401
	abcmiz_1__871_28.min1.thm1.tptp	2017-02-06 16:58	397
	abcmiz_1__878_30.min1.thm1.tptp	2017-02-06 16:58	397
	classes1__1779_30.min1.thm1.tptp	2017-02-06 16:58	397
	classes1__1827_27.min1.thm1.tptp	2017-02-06 16:58	397
	classes1__1846_27.min1.thm1.tptp	2017-02-06 16:58	397
	classes1__1857_27.min1.thm1.tptp	2017-02-06 16:58	397
	classes1__1867_27.min1.thm1.tptp	2017-02-06 16:58	397
	classes1__1875_18.min1.thm1.tptp	2017-02-06 16:58	397
	classes1__1989_56.min1.thm1.tptp	2017-02-06 16:58	423
	classes1__2037_29.min1.thm1.tptp	2017-02-06 16:58	421
	classes2__716_30.min1.thm1.tptp	2017-02-06 16:58	403
	classes2__781_28.min1.thm1.tptp	2017-02-06 16:58	397
	classes2__959_30.min1.thm1.tptp	2017-02-06 16:58	404
	classes2__1104_28.min1.thm1.tptp	2017-02-06 16:58	397
	classes2__1428_34.min1.thm1.tptp	2017-02-06 16:58	371
	classes2__1521_32.min1.thm1.tptp	2017-02-06 16:58	405
	classes2__1531_32.min1.thm1.tptp	2017-02-06 16:58	422
	recdef_1__102_54.min1.thm1.tptp	2017-02-06 16:58	288
	recdef_1__449_31.min1.thm1.tptp	2017-02-06 16:58	409