*** ACK 5.65s--> Input: \f -> f 0 0 == 1 && (f 1 0 == 2) && (f 2 0 == 3) && (f 3 0 == 5) && (f 0 1 == 2) && (f 1 1 == 3) && (f 2 1 == 5) && (f 3 1 == 13) && (f 0 2 == 3) && (f 1 2 == 4) && (f 2 2 == 7)