0 -> x0
x0 -> a
x0 -> 0
x0 -> y0
0 -> x1
x1 -> a
0 -> y0
y0 -> a
y0 -> 0
0 -> y1
y1 -> a
a -> 0
0 -> s
s -> 0
0 -> s