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

	Name	Last modified	Size	Description
	Parent Directory		-
	ali2__99_8.min1.thm1.tptp	2017-02-06 16:58	432
	ali2__150_73.min1.thm1.tptp	2017-02-06 16:58	430
	borsuk_1__2133_32.min1.thm1.tptp	2017-02-06 16:58	330
	compl_sp__289_70.min1.thm1.tptp	2017-02-06 16:58	330
	goboard6__134_70.min1.thm1.tptp	2017-02-06 16:58	472
	jordan1k__192_72.min1.thm1.tptp	2017-02-06 16:58	472
	jordan1k__224_72.min1.thm1.tptp	2017-02-06 16:58	483
	jordan1k__277_70.min1.thm1.tptp	2017-02-06 16:58	483
	nagata_2__3359_63.min1.thm1.tptp	2017-02-06 16:58	483
	tbsp_1__550_63.min1.thm1.tptp	2017-02-06 16:58	432
	tbsp_1__721_63.min1.thm1.tptp	2017-02-06 16:58	345
	topreal7__790_73.min1.thm1.tptp	2017-02-06 16:58	483
	topreal7__792_73.min1.thm1.tptp	2017-02-06 16:58	483
	topreal7__999_71.min1.thm1.tptp	2017-02-06 16:58	483
	uniform1__254_63.min1.thm1.tptp	2017-02-06 16:58	474
	weierstr__982_72.min1.thm1.tptp	2017-02-06 16:58	487
	weierstr__999_8.min1.thm1.tptp	2017-02-06 16:58	489
	weierstr__1101_72.min1.thm1.tptp	2017-02-06 16:58	487
	weierstr__1118_8.min1.thm1.tptp	2017-02-06 16:58	489
	weierstr__1147_72.min1.thm1.tptp	2017-02-06 16:58	487
	weierstr__1164_8.min1.thm1.tptp	2017-02-06 16:58	489
	weierstr__1214_72.min1.thm1.tptp	2017-02-06 16:58	483
	weierstr__1274_72.min1.thm1.tptp	2017-02-06 16:58	483
	weierstr__1495_72.min1.thm1.tptp	2017-02-06 16:58	483
	weierstr__1522_72.min1.thm1.tptp	2017-02-06 16:58	483
	weierstr__1549_72.min1.thm1.tptp	2017-02-06 16:58	483
	weierstr__1576_72.min1.thm1.tptp	2017-02-06 16:58	483