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

	Name	Last modified	Size	Description
	Parent Directory		-
	circcmb3__2149_41.min1.thm1.tptp	2017-02-06 16:58	529
	combgras__377_45.min1.thm1.tptp	2017-02-06 16:58	596
	combgras__401_49.min1.thm1.tptp	2017-02-06 16:58	646
	enumset1__729_22.min1.thm1.tptp	2017-02-06 16:58	402
	facirc_1__1946_55.min1.thm1.tptp	2017-02-06 16:58	744
	facirc_1__2157_55.min1.thm1.tptp	2017-02-06 16:58	744
	facirc_2__960_53.min1.thm1.tptp	2017-02-06 16:58	731
	facirc_2__1167_44.min1.thm1.tptp	2017-02-06 16:58	1.2K
	finseq_2__2007_35.min1.thm1.tptp	2017-02-06 16:58	506
	fscirc_2__763_4.min1.thm1.tptp	2017-02-06 16:58	731
	fscirc_2__971_44.min1.thm1.tptp	2017-02-06 16:58	1.2K
	gfacirc1__584_22.min1.thm1.tptp	2017-02-06 16:58	731
	gfacirc1__623_44.min1.thm1.tptp	2017-02-06 16:58	1.2K
	gfacirc1__760_22.min1.thm1.tptp	2017-02-06 16:58	731
	gfacirc1__876_22.min1.thm1.tptp	2017-02-06 16:58	731
	gfacirc1__1640_22.min1.thm1.tptp	2017-02-06 16:58	731
	gfacirc1__1679_44.min1.thm1.tptp	2017-02-06 16:58	1.2K
	gfacirc1__1816_22.min1.thm1.tptp	2017-02-06 16:58	731
	gfacirc1__1932_22.min1.thm1.tptp	2017-02-06 16:58	731
	gfacirc1__2717_22.min1.thm1.tptp	2017-02-06 16:58	744
	gfacirc1__2756_44.min1.thm1.tptp	2017-02-06 16:58	1.3K
	gfacirc1__2894_22.min1.thm1.tptp	2017-02-06 16:58	744
	gfacirc1__3010_22.min1.thm1.tptp	2017-02-06 16:58	744
	gfacirc1__3777_22.min1.thm1.tptp	2017-02-06 16:58	744
	gfacirc1__3816_44.min1.thm1.tptp	2017-02-06 16:58	1.3K
	gfacirc1__3954_22.min1.thm1.tptp	2017-02-06 16:58	744
	gfacirc1__4070_22.min1.thm1.tptp	2017-02-06 16:58	744
	zfmisc_1__1997_24.min1.thm1.tptp	2017-02-06 16:58	464
	zfmisc_1__2004_19.min1.thm1.tptp	2017-02-06 16:58	408
	zfmisc_1__2009_19.min1.thm1.tptp	2017-02-06 16:58	408
	zfmisc_1__2343_17.min1.thm1.tptp	2017-02-06 16:58	400