HOA: v1
States: 2
Start: 0
acc-name: parity min even 3
Acceptance: 2 Inf(0) | (Fin(1) & Inf(2))
AP: 1 "a"
--BODY--
State: 0 "a U b"   /* An example of named state */
[0] 0 {1}
[!0] 1 {2}
State: 1
[0] 1 {0}
[!0] 0 {2}
--END--