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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc_1__2746_17.min1.thm1.tptp	2017-02-06 16:58	443
	bvfunc_2__542_17.min1.thm1.tptp	2017-02-06 16:58	433
	bvfunc_2__582_17.min1.thm1.tptp	2017-02-06 16:58	433
	finseq_4__2707_70.min1.thm1.tptp	2017-02-06 16:58	389
	finseq_4__2758_70.min1.thm1.tptp	2017-02-06 16:58	389
	partit1__251_22.min1.thm1.tptp	2017-02-06 16:58	399
	partit1__749_45.min1.thm1.tptp	2017-02-06 16:58	505
	partit1__763_42.min1.thm1.tptp	2017-02-06 16:58	505
	partit1__804_38.min1.thm1.tptp	2017-02-06 16:58	545
	partit1__832_34.min1.thm1.tptp	2017-02-06 16:58	545
	partit1__850_28.min1.thm1.tptp	2017-02-06 16:58	461
	partit1__1056_19.min1.thm1.tptp	2017-02-06 16:58	477
	partit1__1098_26.min1.thm1.tptp	2017-02-06 16:58	461
	partit1__1292_17.min1.thm1.tptp	2017-02-06 16:58	377
	pcomps_1__515_17.min1.thm1.tptp	2017-02-06 16:58	441
	pcomps_2__997_30.min1.thm1.tptp	2017-02-06 16:58	387
	pua2mss1__2618_4.min1.thm1.tptp	2017-02-06 16:58	445
	taxonom1__935_23.min1.thm1.tptp	2017-02-06 16:58	468
	taxonom1__951_23.min1.thm1.tptp	2017-02-06 16:58	468
	yellow15__894_17.min1.thm1.tptp	2017-02-06 16:58	499