HOA: v1
States: 3
Start: 2
AP: 2 "b" "a"
Alias: @0 0 & !1
Alias: @1 !0 & 1
Acceptance: 1 Inf(0)
acc-name: Buchi
tool: "Ultimate Automata Library"
--BODY--
State: 0 "f" {0}
[@0] 0
[@1] 1
State: 1 "s"
[@0] 1
[@1] 1
State: 2 "q"
[@0] 0
[@0] 2
[@1] 2
--END--