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

	Name	Last modified	Size	Description
	Parent Directory		-
	fib_num3__183_37.min1.thm1.tptp	2017-02-06 16:58	261
	fib_num3__184_50.min1.thm1.tptp	2017-02-06 16:58	293
	fib_num3__187_46.min1.thm1.tptp	2017-02-06 16:58	269
	fib_num3__203_8.min1.thm1.tptp	2017-02-06 16:58	325
	fib_num3__205_47.min1.thm1.tptp	2017-02-06 16:58	341
	fib_num3__206_32.min1.thm1.tptp	2017-02-06 16:58	309
	fib_num3__434_27.min1.thm1.tptp	2017-02-06 16:58	219
	fib_num3__1451_63.min1.thm1.tptp	2017-02-06 16:58	679
	fib_num3__1467_20.min1.thm1.tptp	2017-02-06 16:58	319
	fib_num3__1478_39.min1.thm1.tptp	2017-02-06 16:58	263
	fib_num3__1479_52.min1.thm1.tptp	2017-02-06 16:58	295
	fib_num4__497_34.min1.thm1.tptp	2017-02-06 16:58	303
	fib_num4__507_35.min1.thm1.tptp	2017-02-06 16:58	303
	fib_num4__850_36.min1.thm1.tptp	2017-02-06 16:58	277
	fib_num4__865_6.min1.thm1.tptp	2017-02-06 16:58	603
	fib_num4__882_61.min1.thm1.tptp	2017-02-06 16:58	470
	fib_num4__2088_54.min1.thm1.tptp	2017-02-06 16:58	739
	fib_num__542_16.min1.thm1.tptp	2017-02-06 16:58	292
	fib_num__593_35.min1.thm1.tptp	2017-02-06 16:58	210
	fib_num__594_27.min1.thm1.tptp	2017-02-06 16:58	218