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

	Name	Last modified	Size	Description
	Parent Directory		-
	facirc_2__719_17.min1.thm1.tptp	2017-02-06 16:58	437
	facirc_2__720_17.min1.thm1.tptp	2017-02-06 16:58	437
	facirc_2__1533_18.min1.thm1.tptp	2017-02-06 16:58	488
	facirc_2__1534_17.min1.thm1.tptp	2017-02-06 16:58	488
	finseq_1__1573_20.min1.thm1.tptp	2017-02-06 16:58	407
	finseq_1__1598_17.min1.thm1.tptp	2017-02-06 16:58	409
	finseq_3__1697_30.min1.thm1.tptp	2017-02-06 16:58	451
	finseq_5__1311_28.min1.thm1.tptp	2017-02-06 16:58	421
	fscirc_2__554_17.min1.thm1.tptp	2017-02-06 16:58	428
	fscirc_2__555_17.min1.thm1.tptp	2017-02-06 16:58	428
	fscirc_2__1294_18.min1.thm1.tptp	2017-02-06 16:58	488
	fscirc_2__1295_17.min1.thm1.tptp	2017-02-06 16:58	488
	funct_7__1665_35.min1.thm1.tptp	2017-02-06 16:58	470
	funct_7__1743_31.min1.thm1.tptp	2017-02-06 16:58	470
	gfacirc2__577_17.min1.thm1.tptp	2017-02-06 16:58	428
	gfacirc2__578_17.min1.thm1.tptp	2017-02-06 16:58	428
	gfacirc2__979_18.min1.thm1.tptp	2017-02-06 16:58	488
	gfacirc2__980_17.min1.thm1.tptp	2017-02-06 16:58	488
	gfacirc2__1690_17.min1.thm1.tptp	2017-02-06 16:58	437
	gfacirc2__1691_17.min1.thm1.tptp	2017-02-06 16:58	437
	gfacirc2__2092_18.min1.thm1.tptp	2017-02-06 16:58	488
	gfacirc2__2093_17.min1.thm1.tptp	2017-02-06 16:58	488
	graph_2__4652_11.min1.thm1.tptp	2017-02-06 16:58	386
	pua2mss1__1591_20.min1.thm1.tptp	2017-02-06 16:58	387
	pua2mss1__1592_17.min1.thm1.tptp	2017-02-06 16:58	387
	rewrite1__100_24.min1.thm1.tptp	2017-02-06 16:58	443
	trees_2__117_12.min1.thm1.tptp	2017-02-06 16:58	377
	wsierp_1__761_13.min1.thm1.tptp	2017-02-06 16:58	391