Dfa divisible by 6