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

	Name	Last modified	Size	Description
	Parent Directory		-
	fib_num2__353_34.min1.thm1.tptp	2017-02-06 16:58	427
	fib_num2__483_21.min1.thm1.tptp	2017-02-06 16:58	427
	finseq_1__2068_21.min1.thm1.tptp	2017-02-06 16:58	431
	finseq_1__2077_21.min1.thm1.tptp	2017-02-06 16:58	431
	finseq_1__2088_29.min1.thm1.tptp	2017-02-06 16:58	451
	finseq_1__2518_28.min1.thm1.tptp	2017-02-06 16:58	427
	matrtop1__438_23.min1.thm1.tptp	2017-02-06 16:58	427
	pnproc_1__97_37.min1.thm1.tptp	2017-02-06 16:58	421
	pnproc_1__115_39.min1.thm1.tptp	2017-02-06 16:58	445
	pnproc_1__136_21.min1.thm1.tptp	2017-02-06 16:58	421
	pnproc_1__238_42.min1.thm1.tptp	2017-02-06 16:58	427
	pnproc_1__1663_21.min1.thm1.tptp	2017-02-06 16:58	431
	pnproc_1__1742_21.min1.thm1.tptp	2017-02-06 16:58	429
	pnproc_1__1897_21.min1.thm1.tptp	2017-02-06 16:58	427
	pnproc_1__2135_23.min1.thm1.tptp	2017-02-06 16:58	429
	pnproc_1__2221_24.min1.thm1.tptp	2017-02-06 16:58	440
	pnproc_1__2379_24.min1.thm1.tptp	2017-02-06 16:58	428
	pnproc_1__2867_45.min1.thm1.tptp	2017-02-06 16:58	436
	pnproc_1__2952_22.min1.thm1.tptp	2017-02-06 16:58	433
	pnproc_1__2975_42.min1.thm1.tptp	2017-02-06 16:58	433
	pnproc_1__3021_42.min1.thm1.tptp	2017-02-06 16:58	433
	pnproc_1__3146_46.min1.thm1.tptp	2017-02-06 16:58	437