2 2 5
0 1
0 1 
s0 s1 s2 s3 s4
s0 s1
s0 s2
s4 s0
s3 s1
s3 s2
0 1
0 1
0 1
0 1
1 1
END