Index of /~mptp/1147/MPTP2/problems_small_consist/fib_num

	Name	Last modified	Size	Description
	Parent Directory		-
	fib_num__l4_fib_num	2013-09-04 12:09	14K
	fib_num__l5_fib_num	2013-09-04 12:09	12K
	fib_num__l6_fib_num	2013-09-04 12:09	13K
	fib_num__l7_fib_num	2013-09-04 12:09	72K
	fib_num__l8_fib_num	2013-09-04 12:09	25K
	fib_num__l9_fib_num	2013-09-04 12:09	18K
	fib_num__l10_fib_num	2013-09-04 12:09	14K
	fib_num__l12_fib_num	2013-09-04 12:09	13K
	fib_num__l17_fib_num	2013-09-04 12:09	265K
	fib_num__l18_fib_num	2013-09-04 12:09	12K
	fib_num__l19_fib_num	2013-09-04 12:09	12K
	fib_num__l20_fib_num	2013-09-04 12:09	16K
	fib_num__l21_fib_num	2013-09-04 12:09	205K
	fib_num__l22_fib_num	2013-09-04 12:09	204K
	fib_num__l23_fib_num	2013-09-04 12:09	205K
	fib_num__l24_fib_num	2013-09-04 12:09	265K
	fib_num__l26_fib_num	2013-09-04 12:09	26K
	fib_num__l27_fib_num	2013-09-04 12:09	207K
	fib_num__t1_fib_num	2013-09-04 12:09	11K
	fib_num__t2_fib_num	2013-09-04 12:09	29K
	fib_num__t3_fib_num	2013-09-04 12:09	16K
	fib_num__t4_fib_num	2013-09-04 12:09	59K
	fib_num__t5_fib_num	2013-09-04 12:09	26K
	fib_num__t6_fib_num	2013-09-04 12:09	120K
	fib_num__t7_fib_num	2013-09-04 12:09	292K
	fib_num__t8_fib_num	2013-09-04 12:09	248K
	fib_num__t9_fib_num	2013-09-04 12:09	47K
	fib_num__t10_fib_num	2013-09-04 12:09	45K
	fib_num__t11_fib_num	2013-09-04 12:09	319K