(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C D)
(RULES
  f0(A, B, C, D) -> Com_1(f14(E, E, 0, D)) [ 0 >= E ]
  f0(A, B, C, D) -> Com_1(f14(E, E, 0, D)) [ E >= 1024 ]
  f0(A, B, C, D) -> Com_1(f14(E, E, 0, F)) [ 1023 >= E /\ E >= 1 ]
  f14(A, B, C, D) -> Com_1(f14(A, B, C + 1, D)) [ C >= 0 /\ E >= C + 1 ]
  f14(A, B, C, D) -> Com_1(f22(A, B, C, D)) [ C >= 0 /\ C >= E ]
)