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