---
---
------------------------
------------------------
1 : p0(a):-[p10(a)]
1 : p0(a):-[undefined]
1 : p0(b):-[p10(b)]
1 : p0(b):-[undefined]
1 : p10(a):-[p9(a)]
1 : p10(b):-[p9(b)]
1 : p1(a):-[p0(a)]
1 : p1(b):-[p0(b)]
1 : p2(a):-[p1(a)]
1 : p2(b):-[p1(b)]
1 : p3(a):-[p2(a)]
1 : p3(b):-[p2(b)]
1 : p4(a):-[p3(a)]
1 : p4(b):-[p3(b)]
1 : p5(a):-[p4(a)]
1 : p5(b):-[p4(b)]
1 : p6(a):-[p5(a)]
1 : p6(b):-[p5(b)]
1 : p7(a):-[p6(a)]
1 : p7(b):-[p6(b)]
1 : p8(a):-[p7(a)]
1 : p8(b):-[p7(b)]
1 : p9(a):-[p8(a)]
1 : p9(b):-[p8(b)]
1 : undefined:-[tnot undefined]
2 : undefined:-[tnot undefined]
