A(0,
  A(C(0,
      C(D(1,
          D(%),
          2)),
      2)),
  3)