*** FIB 96.19s --> Input: \f -> f 1 == 0 && (f 2 == 1) && (f 3 == 1) && (f 4 == 2) && (f 5 == 3) && (f 6 == 5) && (f 7 == 8)