Marked_pabpx2x1x0p(a(x0),p(a(b(x1)),x2))p(a(b(a(x2))),p(a(a(x1)),x2))p(a(x0),p(a(b(x1)),x2))p(a(b(a(x2))),p(a(a(x1)),x2))Marked_p(a(x0),p(a(b(x1)),x2))Marked_p(a(b(a(x2))),p(a(a(x1)),x2))Marked_p(a(x0),p(a(b(x1)),x2))Marked_p(a(a(x1)),x2)p(a(x0),p(a(b(x1)),x2))p(a(b(a(x2))),p(a(a(x1)),x2))Marked_p(a(x0),p(a(b(x1)),x2))Marked_p(a(b(a(x2))),p(a(a(x1)),x2))Marked_p(a(x0),p(a(b(x1)),x2))Marked_p(a(a(x1)),x2)p1330b0a30Marked_p30Marked_p(a(x0),p(a(b(x1)),x2))Marked_p(a(a(x1)),x2)p(a(x0),p(a(b(x1)),x2))p(a(b(a(x2))),p(a(a(x1)),x2))Marked_p(a(x0),p(a(b(x1)),x2))Marked_p(a(b(a(x2))),p(a(a(x1)),x2))p(a(x0),p(a(b(x1)),x2))p(a(b(a(x2))),p(a(a(x1)),x2))Marked_p(a(x0),p(a(b(x1)),x2))Marked_p(a(b(a(x2))),p(a(a(x1)),x2))p000000000010000000000010000000000000b010000000000000000000000000a000000000000100000000000000Marked_p000000000000000000000111000000000000