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

	Name	Last modified	Size	Description
	Parent Directory		-
	clvect_1__941_39.min1.thm1.tptp	2017-02-06 16:58	439
	clvect_1__962_41.min1.thm1.tptp	2017-02-06 16:58	439
	finset_1__729_34.min1.thm1.tptp	2017-02-06 16:58	443
	hahnban1__1174_4.min1.thm1.tptp	2017-02-06 16:58	495
	lattice5__165_27.min1.thm1.tptp	2017-02-06 16:58	413
	lattice5__171_27.min1.thm1.tptp	2017-02-06 16:58	413
	matrix15__752_25.min1.thm1.tptp	2017-02-06 16:58	397
	mesfunc3__79_52.min1.thm1.tptp	2017-02-06 16:58	529
	numbers__259_34.min1.thm1.tptp	2017-02-06 16:58	383
	pcs_0__2794_27.min1.thm1.tptp	2017-02-06 16:58	615
	pcs_0__2800_27.min1.thm1.tptp	2017-02-06 16:58	615
	pzfmisc1__1561_38.min1.thm1.tptp	2017-02-06 16:58	581
	pzfmisc1__1569_36.min1.thm1.tptp	2017-02-06 16:58	565
	relat_1__1286_37.min1.thm1.tptp	2017-02-06 16:58	443
	relat_1__1644_37.min1.thm1.tptp	2017-02-06 16:58	451
	rlsub_1__545_33.min1.thm1.tptp	2017-02-06 16:58	433
	rlsub_1__566_35.min1.thm1.tptp	2017-02-06 16:58	433
	rmod_2__483_71.min1.thm1.tptp	2017-02-06 16:58	459
	rmod_2__513_57.min1.thm1.tptp	2017-02-06 16:58	459
	rusub_1__552_33.min1.thm1.tptp	2017-02-06 16:58	437
	rusub_1__589_35.min1.thm1.tptp	2017-02-06 16:58	433
	vectsp_4__528_73.min1.thm1.tptp	2017-02-06 16:58	475
	vectsp_4__557_59.min1.thm1.tptp	2017-02-06 16:58	475
	zfmisc_1__1400_57.min1.thm1.tptp	2017-02-06 16:58	545
	zmodul01__935_35.min1.thm1.tptp	2017-02-06 16:58	439
	zmodul01__957_37.min1.thm1.tptp	2017-02-06 16:58	439