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

	Name	Last modified	Size	Description
	Parent Directory		-
	fib_num3__136_31.min1.thm1.tptp	2017-02-06 16:58	261
	fib_num3__137_42.min1.thm1.tptp	2017-02-06 16:58	293
	fib_num3__140_35.min1.thm1.tptp	2017-02-06 16:58	251
	fib_num3__155_65.min1.thm1.tptp	2017-02-06 16:58	325
	fib_num3__157_37.min1.thm1.tptp	2017-02-06 16:58	341
	fib_num3__158_26.min1.thm1.tptp	2017-02-06 16:58	309
	fib_num3__1450_2.min1.thm1.tptp	2017-02-06 16:58	711
	fib_num3__1463_16.min1.thm1.tptp	2017-02-06 16:58	319
	fib_num3__1472_31.min1.thm1.tptp	2017-02-06 16:58	263
	fib_num3__1473_44.min1.thm1.tptp	2017-02-06 16:58	295
	fib_num3__1493_71.min1.thm1.tptp	2017-02-06 16:58	729
	fib_num4__495_31.min1.thm1.tptp	2017-02-06 16:58	303
	fib_num4__860_6.min1.thm1.tptp	2017-02-06 16:58	527
	fib_num4__895_69.min1.thm1.tptp	2017-02-06 16:58	529
	fib_num4__1952_70.min1.thm1.tptp	2017-02-06 16:58	463
	fib_num4__1973_68.min1.thm1.tptp	2017-02-06 16:58	461
	fib_num4__2086_64.min1.thm1.tptp	2017-02-06 16:58	729
	fib_num4__2229_63.min1.thm1.tptp	2017-02-06 16:58	811
	fib_num4__2245_68.min1.thm1.tptp	2017-02-06 16:58	879
	fib_num__541_23.min1.thm1.tptp	2017-02-06 16:58	292
	fib_num__849_16.min1.thm1.tptp	2017-02-06 16:58	207