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

	Name	Last modified	Size	Description
	Parent Directory		-
	aofa_000__5206_17.min1.thm1.tptp	2017-02-06 16:58	556
	aofa_000__5301_17.min1.thm1.tptp	2017-02-06 16:58	556
	circcmb3__2456_32.min1.thm1.tptp	2017-02-06 16:58	401
	circcmb3__2476_32.min1.thm1.tptp	2017-02-06 16:58	401
	circcmb3__2495_32.min1.thm1.tptp	2017-02-06 16:58	401
	coh_sp__191_19.min1.thm1.tptp	2017-02-06 16:58	363
	coh_sp__213_17.min1.thm1.tptp	2017-02-06 16:58	353
	coh_sp__230_22.min1.thm1.tptp	2017-02-06 16:58	347
	cohsp_1__364_20.min1.thm1.tptp	2017-02-06 16:58	353
	cohsp_1__836_15.min1.thm1.tptp	2017-02-06 16:58	392
	cohsp_1__1539_24.min1.thm1.tptp	2017-02-06 16:58	524
	finseq_3__2094_19.min1.thm1.tptp	2017-02-06 16:58	366
	hilbert3__280_19.min1.thm1.tptp	2017-02-06 16:58	401
	jordan1h__194_28.min1.thm1.tptp	2017-02-06 16:58	491
	pencil_2__983_17.min1.thm1.tptp	2017-02-06 16:58	375
	pencil_3__131_15.min1.thm1.tptp	2017-02-06 16:58	346
	pencil_4__1362_18.min1.thm1.tptp	2017-02-06 16:58	384
	pzfmisc1__858_21.min1.thm1.tptp	2017-02-06 16:58	485
	rolle__532_20.min1.thm1.tptp	2017-02-06 16:58	339
	scmyciel__2220_30.min1.thm1.tptp	2017-02-06 16:58	421
	scmyciel__2365_20.min1.thm1.tptp	2017-02-06 16:58	459
	zf_fund1__124_24.min1.thm1.tptp	2017-02-06 16:58	415
	zf_fund1__127_15.min1.thm1.tptp	2017-02-06 16:58	340
	zf_fund1__130_22.min1.thm1.tptp	2017-02-06 16:58	396
	zfmisc_1__838_17.min1.thm1.tptp	2017-02-06 16:58	546
	zfmisc_1__1166_27.min1.thm1.tptp	2017-02-06 16:58	453