*** ODDPOS  4.01s --> 
Input: \f -> f [] == [] && (f [1] == [1]) && (f [1,2] == [1])  && (f [1,2,3] == [1,3]) && (f [1,2,3,4] == [1,3])