*** EVENLIST   0.19s--> 
Input: \f -> f [] == 1 && (f [1] == 0) && (f [1,2] == 1)  && (f [1,2,3] == 0) && (f [2,3,4,5] == 1)