sMarked_pfacMarked_facp0 *zyxfac(s(x)) *(fac(p(s(x))),s(x))p(s(0))0p(s(s(x)))s(p(s(x)))fac(s(x)) *(fac(p(s(x))),s(x))p(s(0))0p(s(s(x)))s(p(s(x)))Marked_fac(s(x))Marked_fac(p(s(x)))Marked_fac(s(x))Marked_p(s(x))Marked_p(s(s(x)))Marked_p(s(x))fac(s(x)) *(fac(p(s(x))),s(x))p(s(0))0p(s(s(x)))s(p(s(x)))Marked_fac(s(x))Marked_fac(p(s(x))) *0000000000000000000000000000000000000000000000000000000p000000100101000110000000000Marked_fac000000000000100100000000000fac000000000000000000000000000s010000010000001110000000000fac(s(x)) *(fac(p(s(x))),s(x))p(s(0))0p(s(s(x)))s(p(s(x)))Marked_p(s(s(x)))Marked_p(s(x))Marked_p1Marked_p(s(s(x)))Marked_p(s(x))fac(s(x)) *(fac(p(s(x))),s(x))p(s(0))0p(s(s(x)))s(p(s(x)))