<0> s : [ x , y , z ] <1> s : [ x , y , z ] K : 4 <2> s : [ x , y , z ] K : 4 i : 0 <3> s : [ x , y , z ] K : 4 i : 0 <5> s : [ x , y , z ] K : 4 i : 0 d : 3 <6> s : [ x , y , z ] K : 4 i : 0 d : 3 <7> s : [ a , y , z ] K : 4 i : 0 d : 3 <8> s : [ a , y , z ] K : 1 i : 0 d : 3 <2> s : [ a , y , z ] K : 1 i : 1 d : 3 <3> s : [ a , y , z ] K : 1 i : 1 d : 3 <5> s : [ a , y , z ] K : 1 i : 1 d : 2 <6> s : [ a , y , z ] K : 1 i : 1 d : 2 <2> s : [ a , y , z ] K : 1 i : 2 d : 2 <3> s : [ a , y , z ] K : 1 i : 2 d : 2 <5> s : [ a , y , z ] K : 1 i : 2 d : 3 <6> s : [ a , y , z ] K : 1 i : 2 d : 3 <2> s : [ a , y , z ] K : 1 i : 2 d : 3 <9> s : [ a , y , z ] K : 1 i : 2 d : 3 x : 2 <10> s : [ a , y , c ] K : 1 i : 2 d : 3 x : 2