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

	Name	Last modified	Size	Description
	Parent Directory		-
	aofa_000__2913_11.min1.thm1.tptp	2017-02-06 16:58	842
	combgras__601_55.min1.thm1.tptp	2017-02-06 16:58	551
	compts_1__711_46.min1.thm1.tptp	2017-02-06 16:58	460
	connsp_3__779_44.min1.thm1.tptp	2017-02-06 16:58	459
	fin_topo__542_11.min1.thm1.tptp	2017-02-06 16:58	452
	fintopo2__739_11.min1.thm1.tptp	2017-02-06 16:58	452
	fsm_1__3841_38.min1.thm1.tptp	2017-02-06 16:58	454
	fsm_1__3861_43.min1.thm1.tptp	2017-02-06 16:58	480
	fsm_1__3962_38.min1.thm1.tptp	2017-02-06 16:58	454
	fsm_1__3975_43.min1.thm1.tptp	2017-02-06 16:58	480
	glib_005__2591_60.min1.thm1.tptp	2017-02-06 16:58	841
	glib_005__2592_59.min1.thm1.tptp	2017-02-06 16:58	630
	glib_005__2594_60.min1.thm1.tptp	2017-02-06 16:58	841
	glib_005__2595_59.min1.thm1.tptp	2017-02-06 16:58	630
	jordan2c__3919_43.min1.thm1.tptp	2017-02-06 16:58	456
	mathmorp__1628_11.min1.thm1.tptp	2017-02-06 16:58	483
	mmlquery__615_22.min1.thm1.tptp	2017-02-06 16:58	385
	mmlquery__983_37.min1.thm1.tptp	2017-02-06 16:58	472
	neckla_2__521_40.min1.thm1.tptp	2017-02-06 16:58	370
	partit1__686_47.min1.thm1.tptp	2017-02-06 16:58	432
	rlvect_5__813_40.min1.thm1.tptp	2017-02-06 16:58	462
	rusub_3__1588_40.min1.thm1.tptp	2017-02-06 16:58	453
	tex_1__831_39.min1.thm1.tptp	2017-02-06 16:58	493
	tex_1__1340_31.min1.thm1.tptp	2017-02-06 16:58	391
	topreal4__2522_43.min1.thm1.tptp	2017-02-06 16:58	426
	vectsp_9__777_40.min1.thm1.tptp	2017-02-06 16:58	462
	waybel15__1245_47.min1.thm1.tptp	2017-02-06 16:58	475
	waybel18__81_49.min1.thm1.tptp	2017-02-06 16:58	428
	waybel18__100_48.min1.thm1.tptp	2017-02-06 16:58	459
	waybel30__1885_37.min1.thm1.tptp	2017-02-06 16:58	632