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