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

	Name	Last modified	Size	Description
	Parent Directory		-
	cantor_1__466_17.min1.thm1.tptp	2017-02-06 16:58	469
	interva1__760_37.min1.thm1.tptp	2017-02-06 16:58	595
	interva1__773_37.min1.thm1.tptp	2017-02-06 16:58	595
	interva1__793_37.min1.thm1.tptp	2017-02-06 16:58	579
	interva1__962_57.min1.thm1.tptp	2017-02-06 16:58	593
	interva1__1005_47.min1.thm1.tptp	2017-02-06 16:58	527
	interva1__1031_41.min1.thm1.tptp	2017-02-06 16:58	624
	interva1__1033_41.min1.thm1.tptp	2017-02-06 16:58	624
	interva1__1077_53.min1.thm1.tptp	2017-02-06 16:58	631
	interva1__1128_48.min1.thm1.tptp	2017-02-06 16:58	535
	lopclset__774_23.min1.thm1.tptp	2017-02-06 16:58	541
	nagata_1__222_17.min1.thm1.tptp	2017-02-06 16:58	477
	nagata_1__229_17.min1.thm1.tptp	2017-02-06 16:58	477
	openlatt__1111_19.min1.thm1.tptp	2017-02-06 16:58	509
	partit1__679_61.min1.thm1.tptp	2017-02-06 16:58	485
	partit1__714_20.min1.thm1.tptp	2017-02-06 16:58	493
	partit1__717_21.min1.thm1.tptp	2017-02-06 16:58	487
	setfam_1__536_19.min1.thm1.tptp	2017-02-06 16:58	469
	setfam_1__603_21.min1.thm1.tptp	2017-02-06 16:58	485
	setfam_1__800_17.min1.thm1.tptp	2017-02-06 16:58	477
	topgen_4__719_19.min1.thm1.tptp	2017-02-06 16:58	493
	topgen_4__1102_21.min1.thm1.tptp	2017-02-06 16:58	485
	waybel19__1615_19.min1.thm1.tptp	2017-02-06 16:58	485