p
q
r
({T0_init}, {})
241
96
({T0_init, accept_all}, {accept_all})
146
191
({accept_all}, {accept_all})
241
286
({}, {})
336
191
0
0
1
0
1
0
1
0
0
0
2
0
2
0
2
0
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
2
1
2
1
2
1
2
0
3
201112061323162639512_1
4
282
32