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

	Name	Last modified	Size	Description
	Parent Directory		-
	calcul_1__84_13.min1.thm1.tptp	2017-02-06 16:58	223
	circcmb3__1327_17.min1.thm1.tptp	2017-02-06 16:58	274
	circuit1__145_32.min1.thm1.tptp	2017-02-06 16:58	239
	circuit1__187_30.min1.thm1.tptp	2017-02-06 16:58	232
	circuit2__1286_30.min1.thm1.tptp	2017-02-06 16:58	234
	entropy1__1978_13.min1.thm1.tptp	2017-02-06 16:58	227
	filerec1__59_21.min1.thm1.tptp	2017-02-06 16:58	141
	filerec1__323_20.min1.thm1.tptp	2017-02-06 16:58	141
	finseq_3__3827_15.min1.thm1.tptp	2017-02-06 16:58	255
	fsm_1__1239_11.min1.thm1.tptp	2017-02-06 16:58	254
	fsm_1__1471_13.min1.thm1.tptp	2017-02-06 16:58	259
	fsm_2__264_19.min1.thm1.tptp	2017-02-06 16:58	347
	group_4__897_29.min1.thm1.tptp	2017-02-06 16:58	234
	jordan9__2731_41.min1.thm1.tptp	2017-02-06 16:58	239
	jordan13__704_41.min1.thm1.tptp	2017-02-06 16:58	240
	monoid_0__2121_15.min1.thm1.tptp	2017-02-06 16:58	229
	pre_poly__71_16.min1.thm1.tptp	2017-02-06 16:58	316
	trees_1__530_16.min1.thm1.tptp	2017-02-06 16:58	215
	unialg_3__194_15.min1.thm1.tptp	2017-02-06 16:58	272
	unialg_3__261_17.min1.thm1.tptp	2017-02-06 16:58	279
	unialg_3__310_17.min1.thm1.tptp	2017-02-06 16:58	279