Marked_f''sf''Marked_gCMarked_fold0f'Marked_f'gMarked_fftripleMarked_foldBBfoldfoldBfoldCMarked_foldCAnxabctg(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_foldB(t,s(n))Marked_f(foldB(t,n),B)Marked_foldB(t,s(n))Marked_foldB(t,n)Marked_foldC(t,s(n))Marked_f(foldC(t,n),C)Marked_foldC(t,s(n))Marked_foldC(t,n)Marked_f(t,x)Marked_f'(t,g(x))Marked_f(t,x)Marked_g(x)Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)Marked_f'(triple(a,b,c),A)Marked_f''(foldB(triple(s(a),0,c),b))Marked_f'(triple(a,b,c),A)Marked_foldB(triple(s(a),0,c),b)Marked_f''(triple(a,b,c))Marked_foldC(triple(a,b,0),c)Marked_fold(t,x,s(n))Marked_f(fold(t,x,n),x)Marked_fold(t,x,s(n))Marked_fold(t,x,n)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_fold(t,x,s(n))Marked_fold(t,x,n)A0foldC10foldB2120fold3320B30triple0f0g130f'000Marked_fold30C20f''0s220g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_foldB(t,s(n))Marked_f(foldB(t,n),B)Marked_foldB(t,s(n))Marked_foldB(t,n)Marked_foldC(t,s(n))Marked_f(foldC(t,n),C)Marked_foldC(t,s(n))Marked_foldC(t,n)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)Marked_f'(triple(a,b,c),A)Marked_f''(foldB(triple(s(a),0,c),b))Marked_f'(triple(a,b,c),A)Marked_foldB(triple(s(a),0,c),b)Marked_f''(triple(a,b,c))Marked_foldC(triple(a,b,0),c)A0Marked_foldC10foldC10foldB210fold330B0Marked_foldB220triple20f10Marked_f10g10Marked_f'10f'1000C0f''20s220Marked_f''10Marked_foldB(t,s(n))Marked_f(foldB(t,n),B)Marked_foldB(t,s(n))Marked_foldB(t,n)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_foldC(t,s(n))Marked_f(foldC(t,n),C)Marked_foldC(t,s(n))Marked_foldC(t,n)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)Marked_f'(triple(a,b,c),A)Marked_f''(foldB(triple(s(a),0,c),b))Marked_f'(triple(a,b,c),A)Marked_foldB(triple(s(a),0,c),b)Marked_f''(triple(a,b,c))Marked_foldC(triple(a,b,0),c)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_foldC(t,s(n))Marked_f(foldC(t,n),C)Marked_foldC(t,s(n))Marked_foldC(t,n)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)Marked_f'(triple(a,b,c),A)Marked_f''(foldB(triple(s(a),0,c),b))Marked_f''(triple(a,b,c))Marked_foldC(triple(a,b,0),c)A0Marked_foldC220foldC110foldB120fold3310B0triple210f210Marked_f20g0Marked_f'20f'21000C0f''10s210Marked_f''20Marked_foldC(t,s(n))Marked_f(foldC(t,n),C)Marked_foldC(t,s(n))Marked_foldC(t,n)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)Marked_f'(triple(a,b,c),A)Marked_f''(foldB(triple(s(a),0,c),b))Marked_f''(triple(a,b,c))Marked_foldC(triple(a,b,0),c)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)A10foldC110foldB120fold23330B30triple210f210Marked_f130g10Marked_f'130f'21000C30f''210s210Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)CfoldB(t,0)tfoldB(t,s(n))f(foldB(t,n),B)foldC(t,0)tfoldC(t,s(n))f(foldC(t,n),C)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,s(c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldB(triple(s(a),0,c),b))f''(triple(a,b,c))foldC(triple(a,b,0),c)fold(t,x,0)tfold(t,x,s(n))f(fold(t,x,n),x)Marked_f(t,x)Marked_f'(t,g(x))