HOA: v1
States: 5
Start: 0
AP: 1 "p"
acc-name: parity min even 2
Acceptance: 2 Inf(0) | Fin(1)
properties: trans-labels explicit-labels state-acc colored complete
properties: deterministic
--BODY--
State: 0 {1}
[!0] 0
[0] 1
State: 1 {1}
[!0] 0
[0] 2
State: 2 {0}
[!0] 3
[0] 4
State: 3 {0}
[!0] 0
[0] 1
State: 4 {0}
[!0] 0
[0] 2
--END--