Marked_pabpx3x2x1x0p(a(x0),p(b(x1),p(a(x2),x3)))p(x2,p(a(a(x0)),p(b(x1),x3)))p(a(x0),p(b(x1),p(a(x2),x3)))p(x2,p(a(a(x0)),p(b(x1),x3)))Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(x2,p(a(a(x0)),p(b(x1),x3)))Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(a(a(x0)),p(b(x1),x3))Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(b(x1),x3)p(a(x0),p(b(x1),p(a(x2),x3)))p(x2,p(a(a(x0)),p(b(x1),x3)))Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(x2,p(a(a(x0)),p(b(x1),x3)))Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(a(a(x0)),p(b(x1),x3))p220b0a0Marked_p20Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(a(a(x0)),p(b(x1),x3))p(a(x0),p(b(x1),p(a(x2),x3)))p(x2,p(a(a(x0)),p(b(x1),x3)))Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(x2,p(a(a(x0)),p(b(x1),x3)))p(a(x0),p(b(x1),p(a(x2),x3)))p(x2,p(a(a(x0)),p(b(x1),x3)))Marked_p(a(x0),p(b(x1),p(a(x2),x3)))Marked_p(x2,p(a(a(x0)),p(b(x1),x3)))p2210b0a220Marked_p210