---
---
------------------------
------------------------
1 : p(0,10,a):-[p(10,10,a)]
1 : p(0,10,a):-[undefined]
1 : p(0,10,b):-[p(10,10,b)]
1 : p(0,10,b):-[undefined]
1 : p(10,10,a):-[p(9,10,a)]
1 : p(10,10,b):-[p(9,10,b)]
1 : p(1,10,a):-[p(0,10,a)]
1 : p(1,10,b):-[p(0,10,b)]
1 : p(2,10,a):-[p(1,10,a)]
1 : p(2,10,b):-[p(1,10,b)]
1 : p(3,10,a):-[p(2,10,a)]
1 : p(3,10,b):-[p(2,10,b)]
1 : p(4,10,a):-[p(3,10,a)]
1 : p(4,10,b):-[p(3,10,b)]
1 : p(5,10,a):-[p(4,10,a)]
1 : p(5,10,b):-[p(4,10,b)]
1 : p(6,10,a):-[p(5,10,a)]
1 : p(6,10,b):-[p(5,10,b)]
1 : p(7,10,a):-[p(6,10,a)]
1 : p(7,10,b):-[p(6,10,b)]
1 : p(8,10,a):-[p(7,10,a)]
1 : p(8,10,b):-[p(7,10,b)]
1 : p(9,10,a):-[p(8,10,a)]
1 : p(9,10,b):-[p(8,10,b)]
1 : undefined:-[tnot undefined]
2 : p(0,10,b):-[p(10,10,b)]
2 : p(0,10,b):-[undefined]
2 : p(10,10,b):-[p(9,10,b)]
2 : p(1,10,b):-[p(0,10,b)]
2 : p(2,10,b):-[p(1,10,b)]
2 : p(3,10,b):-[p(2,10,b)]
2 : p(4,10,b):-[p(3,10,b)]
2 : p(5,10,b):-[p(4,10,b)]
2 : p(6,10,b):-[p(5,10,b)]
2 : p(7,10,b):-[p(6,10,b)]
2 : p(8,10,b):-[p(7,10,b)]
2 : p(9,10,b):-[p(8,10,b)]
2 : undefined:-[tnot undefined]
