1---
2---
3------------------------
4------------------------
51 : p0(a):-[p10(a)]
61 : p0(a):-[undefined]
71 : p0(b):-[p10(b)]
81 : p0(b):-[undefined]
91 : p10(a):-[p9(a)]
101 : p10(b):-[p9(b)]
111 : p1(a):-[p0(a)]
121 : p1(b):-[p0(b)]
131 : p2(a):-[p1(a)]
141 : p2(b):-[p1(b)]
151 : p3(a):-[p2(a)]
161 : p3(b):-[p2(b)]
171 : p4(a):-[p3(a)]
181 : p4(b):-[p3(b)]
191 : p5(a):-[p4(a)]
201 : p5(b):-[p4(b)]
211 : p6(a):-[p5(a)]
221 : p6(b):-[p5(b)]
231 : p7(a):-[p6(a)]
241 : p7(b):-[p6(b)]
251 : p8(a):-[p7(a)]
261 : p8(b):-[p7(b)]
271 : p9(a):-[p8(a)]
281 : p9(b):-[p8(b)]
291 : undefined:-[tnot undefined]
302 : undefined:-[tnot undefined]
31