#states
x
56
2456
012456
3
#initial
012456
#accepting
2456
012456
56
#alphabet
0
1
#transitions
012456:0>3
012456:1>012456
3:0>x
3:1>2456
2456:0>3
2456:1>56
56:0>x
56:1>56
x:0>x
x:1>x
