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

	Name	Last modified	Size	Description
	Parent Directory		-
	borsuk_4__53_19.min1.thm1.tptp	2017-02-06 16:58	447
	chain_1__146_13.min1.thm1.tptp	2017-02-06 16:58	327
	chain_1__162_13.min1.thm1.tptp	2017-02-06 16:58	332
	chain_1__634_15.min1.thm1.tptp	2017-02-06 16:58	414
	compos_2__57_14.min1.thm1.tptp	2017-02-06 16:58	372
	dilworth__169_17.min1.thm1.tptp	2017-02-06 16:58	575
	dilworth__456_18.min1.thm1.tptp	2017-02-06 16:58	552
	finset_1__1509_36.min1.thm1.tptp	2017-02-06 16:58	337
	funct_1__3231_13.min1.thm1.tptp	2017-02-06 16:58	397
	hallmar1__1301_13.min1.thm1.tptp	2017-02-06 16:58	364
	jordan12__381_15.min1.thm1.tptp	2017-02-06 16:58	724
	neckla_3__169_15.min1.thm1.tptp	2017-02-06 16:58	345
	petri_2__205_13.min1.thm1.tptp	2017-02-06 16:58	325
	petri_2__264_13.min1.thm1.tptp	2017-02-06 16:58	325
	rcomp_3__931_59.min1.thm1.tptp	2017-02-06 16:58	353
	rlaffin2__596_29.min1.thm1.tptp	2017-02-06 16:58	339
	roughs_1__56_13.min1.thm1.tptp	2017-02-06 16:58	325
	setfam_1__1581_15.min1.thm1.tptp	2017-02-06 16:58	350
	sppol_2__3339_19.min1.thm1.tptp	2017-02-06 16:58	447
	subset_1__1150_15.min1.thm1.tptp	2017-02-06 16:58	330
	subset_1__1189_15.min1.thm1.tptp	2017-02-06 16:58	333
	wellfnd1__914_15.min1.thm1.tptp	2017-02-06 16:58	333