*** GEQ 0.55s --> Input: \f -> f 0 0 == 1 && (f 0 1 == 0) && (f 1 0 == 1) && (f 1 1 == 1) && (f 1 2 == 0) && (f 2 1 == 1) && (f 2 2 == 1) && (f 2 3 == 0) && (f 3 2 == 1) && (f 3 3 == 1)