A regular expression and a finite automata for the language of all strings of even length that is not divisible by 6