3(0)->$->1
3(0)->$->4
1(0)->a->2
2(0)->$->1
2(0)->$->4
4(1)