HOA: v1
States: 3
Start: 2
AP: 2 "b" "a"
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--