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

	Name	Last modified	Size	Description
	Parent Directory		-
	arrow__655_23.min1.thm1.tptp	2017-02-06 16:58	415
	bhsp_5__130_22.min1.thm1.tptp	2017-02-06 16:58	441
	bhsp_5__199_22.min1.thm1.tptp	2017-02-06 16:58	441
	bhsp_5__281_23.min1.thm1.tptp	2017-02-06 16:58	454
	bhsp_6__59_22.min1.thm1.tptp	2017-02-06 16:58	454
	finseq_4__1833_22.min1.thm1.tptp	2017-02-06 16:58	395
	finseq_4__1841_22.min1.thm1.tptp	2017-02-06 16:58	396
	finseq_4__1932_22.min1.thm1.tptp	2017-02-06 16:58	395
	finseq_4__1939_22.min1.thm1.tptp	2017-02-06 16:58	396
	finseq_4__2120_22.min1.thm1.tptp	2017-02-06 16:58	395
	group_10__1984_24.min1.thm1.tptp	2017-02-06 16:58	490
	group_10__1988_24.min1.thm1.tptp	2017-02-06 16:58	490
	matrlin__291_22.min1.thm1.tptp	2017-02-06 16:58	482
	matrtop2__1426_26.min1.thm1.tptp	2017-02-06 16:58	392
	matrtop2__1432_26.min1.thm1.tptp	2017-02-06 16:58	394
	mesfunc3__1634_37.min1.thm1.tptp	2017-02-06 16:58	399
	rlaffin3__887_54.min1.thm1.tptp	2017-02-06 16:58	399
	rlvect_2__727_22.min1.thm1.tptp	2017-02-06 16:58	466
	rmod_4__179_22.min1.thm1.tptp	2017-02-06 16:58	454
	simplex2__99_22.min1.thm1.tptp	2017-02-06 16:58	408
	weddwitt__1262_25.min1.thm1.tptp	2017-02-06 16:58	474
	yellow15__408_22.min1.thm1.tptp	2017-02-06 16:58	472