In the START state,
the amount of
a's are EVEN
and
the amount of
b's are EVEN
.
To continue, select the letters:
a
OR
b