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