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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc14__3271_27.min1.thm1.tptp	2017-02-06 16:58	561
	bvfunc14__4230_29.min1.thm1.tptp	2017-02-06 16:58	597
	bvfunc14__5125_33.min1.thm1.tptp	2017-02-06 16:58	631
	bvfunc14__5624_67.min1.thm1.tptp	2017-02-06 16:58	1.2K
	facirc_2__1119_46.min1.thm1.tptp	2017-02-06 16:58	759
	fscirc_2__923_48.min1.thm1.tptp	2017-02-06 16:58	759
	gfacirc1__700_35.min1.thm1.tptp	2017-02-06 16:58	759
	gfacirc1__1756_35.min1.thm1.tptp	2017-02-06 16:58	759
	gfacirc1__2834_35.min1.thm1.tptp	2017-02-06 16:58	776
	gfacirc1__3894_35.min1.thm1.tptp	2017-02-06 16:58	776
	matrix_9__713_20.min1.thm1.tptp	2017-02-06 16:58	905
	mcart_1__217_43.min1.thm1.tptp	2017-02-06 16:58	659
	mcart_1__396_57.min1.thm1.tptp	2017-02-06 16:58	737
	mcart_1__441_60.min1.thm1.tptp	2017-02-06 16:58	767
	necklace__74_14.min1.thm1.tptp	2017-02-06 16:58	1.1K
	quaterni__91_34.min1.thm1.tptp	2017-02-06 16:58	765
	quaterni__424_37.min1.thm1.tptp	2017-02-06 16:58	676
	quaterni__730_35.min1.thm1.tptp	2017-02-06 16:58	395
	sprect_3__74_35.min1.thm1.tptp	2017-02-06 16:58	515
	zfmisc_1__2128_43.min1.thm1.tptp	2017-02-06 16:58	693