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