Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/fib_num2

	Name	Last modified	Size	Description
	Parent Directory		-
	fib_num2__l29_fib_num2	2013-09-04 12:44	36K
	fib_num2__t1_fib_num2	2013-09-04 12:44	43K
	fib_num2__t2_fib_num2	2013-09-04 12:44	28K
	fib_num2__t3_fib_num2	2013-09-04 12:44	28K
	fib_num2__t4_fib_num2	2013-09-04 12:44	35K
	fib_num2__t5_fib_num2	2013-09-04 12:44	30K
	fib_num2__t6_fib_num2	2013-09-04 12:44	31K
	fib_num2__t7_fib_num2	2013-09-04 12:44	93K
	fib_num2__t8_fib_num2	2013-09-04 12:44	35K
	fib_num2__t9_fib_num2	2013-09-04 12:44	51K
	fib_num2__t10_fib_num2	2013-09-04 12:44	34K
	fib_num2__t11_fib_num2	2013-09-04 12:44	28K
	fib_num2__t12_fib_num2	2013-09-04 12:44	31K
	fib_num2__t13_fib_num2	2013-09-04 12:44	37K
	fib_num2__t14_fib_num2	2013-09-04 12:44	46K
	fib_num2__t15_fib_num2	2013-09-04 12:44	39K
	fib_num2__t16_fib_num2	2013-09-04 12:44	58K
	fib_num2__t17_fib_num2	2013-09-04 12:44	35K
	fib_num2__t18_fib_num2	2013-09-04 12:44	44K
	fib_num2__t19_fib_num2	2013-09-04 12:44	41K
	fib_num2__t20_fib_num2	2013-09-04 12:44	41K
	fib_num2__t21_fib_num2	2013-09-04 12:44	29K
	fib_num2__t22_fib_num2	2013-09-04 12:44	34K
	fib_num2__t23_fib_num2	2013-09-04 12:44	29K
	fib_num2__t24_fib_num2	2013-09-04 12:44	51K
	fib_num2__t25_fib_num2	2013-09-04 12:44	29K
	fib_num2__t26_fib_num2	2013-09-04 12:44	42K
	fib_num2__t27_fib_num2	2013-09-04 12:44	47K
	fib_num2__t28_fib_num2	2013-09-04 12:44	38K
	fib_num2__t29_fib_num2	2013-09-04 12:44	35K
	fib_num2__t30_fib_num2	2013-09-04 12:44	34K
	fib_num2__t31_fib_num2	2013-09-04 12:44	115K
	fib_num2__t32_fib_num2	2013-09-04 12:44	52K
	fib_num2__t33_fib_num2	2013-09-04 12:44	223K
	fib_num2__t34_fib_num2	2013-09-04 12:44	328K
	fib_num2__t35_fib_num2	2013-09-04 12:44	34K
	fib_num2__t36_fib_num2	2013-09-04 12:44	326K
	fib_num2__t37_fib_num2	2013-09-04 12:44	141K
	fib_num2__t38_fib_num2	2013-09-04 12:44	270K
	fib_num2__t39_fib_num2	2013-09-04 12:44	159K
	fib_num2__t40_fib_num2	2013-09-04 12:44	48K
	fib_num2__t41_fib_num2	2013-09-04 12:44	37K
	fib_num2__t42_fib_num2	2013-09-04 12:44	29K
	fib_num2__t43_fib_num2	2013-09-04 12:44	39K
	fib_num2__t44_fib_num2	2013-09-04 12:44	38K
	fib_num2__t45_fib_num2	2013-09-04 12:44	35K
	fib_num2__t46_fib_num2	2013-09-04 12:44	36K
	fib_num2__t47_fib_num2	2013-09-04 12:44	32K
	fib_num2__t48_fib_num2	2013-09-04 12:44	36K
	fib_num2__t49_fib_num2	2013-09-04 12:44	61K
	fib_num2__t50_fib_num2	2013-09-04 12:44	30K
	fib_num2__t51_fib_num2	2013-09-04 12:44	76K
	fib_num2__t52_fib_num2	2013-09-04 12:44	76K
	fib_num2__t53_fib_num2	2013-09-04 12:44	57K
	fib_num2__t54_fib_num2	2013-09-04 12:44	56K
	fib_num2__t55_fib_num2	2013-09-04 12:44	71K
	fib_num2__t56_fib_num2	2013-09-04 12:44	80K
	fib_num2__t57_fib_num2	2013-09-04 12:44	48K
	fib_num2__t58_fib_num2	2013-09-04 12:44	61K
	fib_num2__t59_fib_num2	2013-09-04 12:44	100K
	fib_num2__t60_fib_num2	2013-09-04 12:44	70K
	fib_num2__t61_fib_num2	2013-09-04 12:44	79K
	fib_num2__t62_fib_num2	2013-09-04 12:44	49K
	fib_num2__t63_fib_num2	2013-09-04 12:44	62K
	fib_num2__t64_fib_num2	2013-09-04 12:44	108K
	fib_num2__t65_fib_num2	2013-09-04 12:44	108K
	fib_num2__t66_fib_num2	2013-09-04 12:44	72K
	fib_num2__t67_fib_num2	2013-09-04 12:44	29K
	fib_num2__t68_fib_num2	2013-09-04 12:44	36K
	fib_num2__t69_fib_num2	2013-09-04 12:44	147K
	fib_num2__t70_fib_num2	2013-09-04 12:44	160K