aMarked_ffxf(f(a,x),a)f(f(f(a,f(a,a)),x),a)f(f(a,x),a)f(f(f(a,f(a,a)),x),a)Marked_f(f(a,x),a)Marked_f(f(f(a,f(a,a)),x),a)Marked_f(f(a,x),a)Marked_f(f(a,f(a,a)),x)Marked_f(f(a,x),a)Marked_f(a,f(a,a))Marked_f(f(a,x),a)Marked_f(a,a)f(f(a,x),a)f(f(f(a,f(a,a)),x),a)Marked_f(f(a,x),a)Marked_f(f(f(a,f(a,a)),x),a)Marked_f(f(a,x),a)Marked_f(f(a,f(a,a)),x)f000000000000100000000000000000000000Marked_f000000000100000000000000000000000000a010000000000000000Marked_f(f(a,x),a)Marked_f(f(f(a,f(a,a)),x),a)f(f(a,x),a)f(f(f(a,f(a,a)),x),a)Marked_f(f(a,x),a)Marked_f(f(a,f(a,a)),x)f(f(a,x),a)f(f(f(a,f(a,a)),x),a)Marked_f(f(a,x),a)Marked_f(f(a,f(a,a)),x)f000000000000000000000000100000000000Marked_f000000000100000000000000100000000000a001000000000000000