HOA: v1
tool: "ROLL"
properties: explicit-labels state-acc trans-labels 
States: 30
Start: 0
acc-name: Buchi
Acceptance: 1 Inf(0)
AP: 2 "a0" "a1"
--BODY--
State: 0
[0&!1]  19
State: 1 {0}
[!0&!1]  19
[0&!1]  16
[0&!1]  25
State: 2 {0}
[!0&!1]  10
[!0&!1]  18
[!0&!1]  20
[0&!1]  6
[0&!1]  27
State: 3
[!0&!1]  0
[!0&!1]  3
[!0&!1]  7
[!0&!1]  16
[!0&!1]  18
[0&!1]  6
[0&!1]  13
[0&!1]  23
State: 4 {0}
[!0&!1]  2
[!0&!1]  20
[!0&!1]  24
[0&!1]  1
[0&!1]  13
State: 5 {0}
[!0&!1]  19
[0&!1]  13
[0&!1]  16
State: 6 {0}
[0&!1]  17
State: 7
[!0&!1]  5
State: 8
[!0&!1]  5
[!0&!1]  7
[!0&!1]  20
[!0&!1]  25
[0&!1]  12
[0&!1]  27
State: 9 {0}
[!0&!1]  9
[!0&!1]  10
[!0&!1]  22
[0&!1]  7
State: 10 {0}
[0&!1]  8
State: 11 {0}
[!0&!1]  9
[0&!1]  15
[0&!1]  22
State: 12
[0&!1]  2
State: 13
[!0&!1]  7
[0&!1]  0
[0&!1]  12
[0&!1]  16
[0&!1]  27
State: 14 {0}
[0&!1]  13
[0&!1]  16
State: 15 {0}
[!0&!1]  18
State: 16 {0}
[!0&!1]  2
[0&!1]  9
[0&!1]  15
State: 17
[!0&!1]  19
[0&!1]  24
State: 18 {0}
[!0&!1]  8
[!0&!1]  24
[0&!1]  9
State: 19 {0}
[!0&!1]  4
State: 20 {0}
[!0&!1]  7
[0&!1]  0
[0&!1]  28
State: 21 {0}
[!0&!1]  19
[0&!1]  18
State: 22 {0}
[!0&!1]  8
[!0&!1]  17
[0&!1]  5
[0&!1]  10
[0&!1]  20
[0&!1]  27
State: 23 {0}
[!0&!1]  11
[0&!1]  1
[0&!1]  18
State: 24
[!0&!1]  5
[!0&!1]  9
[!0&!1]  10
[!0&!1]  13
[0&!1]  3
[0&!1]  14
State: 25
[!0&!1]  7
[!0&!1]  14
[!0&!1]  23
State: 26
[!0&!1]  1
[!0&!1]  10
[0&!1]  19
[0&!1]  23
[0&!1]  26
State: 27
[!0&!1]  1
[!0&!1]  6
State: 28
State: 29
[0&!1]  27
--END--