YES
0 QTRS
↳1 AAECC Innermost (⇔, 0 ms)
↳2 QTRS
↳3 DependencyPairsProof (⇔, 0 ms)
↳4 QDP
↳5 DependencyGraphProof (⇔, 0 ms)
↳6 AND
↳7 QDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 QDP
↳10 QReductionProof (⇔, 0 ms)
↳11 QDP
↳12 QDPSizeChangeProof (⇔, 0 ms)
↳13 YES
↳14 QDP
↳15 UsableRulesProof (⇔, 0 ms)
↳16 QDP
↳17 QReductionProof (⇔, 0 ms)
↳18 QDP
↳19 QDPSizeChangeProof (⇔, 0 ms)
↳20 YES
↳21 QDP
↳22 UsableRulesProof (⇔, 0 ms)
↳23 QDP
↳24 QReductionProof (⇔, 0 ms)
↳25 QDP
↳26 QDPSizeChangeProof (⇔, 0 ms)
↳27 YES
↳28 QDP
↳29 UsableRulesProof (⇔, 0 ms)
↳30 QDP
↳31 QReductionProof (⇔, 0 ms)
↳32 QDP
↳33 TransformationProof (⇔, 0 ms)
↳34 QDP
↳35 DependencyGraphProof (⇔, 0 ms)
↳36 QDP
↳37 TransformationProof (⇔, 0 ms)
↳38 QDP
↳39 TransformationProof (⇔, 0 ms)
↳40 QDP
↳41 TransformationProof (⇔, 0 ms)
↳42 QDP
↳43 DependencyGraphProof (⇔, 0 ms)
↳44 QDP
↳45 UsableRulesProof (⇔, 0 ms)
↳46 QDP
↳47 TransformationProof (⇔, 0 ms)
↳48 QDP
↳49 UsableRulesProof (⇔, 0 ms)
↳50 QDP
↳51 QReductionProof (⇔, 0 ms)
↳52 QDP
↳53 TransformationProof (⇔, 0 ms)
↳54 QDP
↳55 TransformationProof (⇔, 0 ms)
↳56 QDP
↳57 TransformationProof (⇔, 0 ms)
↳58 QDP
↳59 TransformationProof (⇔, 0 ms)
↳60 QDP
↳61 DependencyGraphProof (⇔, 0 ms)
↳62 QDP
↳63 MRRProof (⇔, 0 ms)
↳64 QDP
↳65 PisEmptyProof (⇔, 0 ms)
↳66 YES
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
inc(s(x)) → s(inc(x))
inc(0) → s(0)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
f → g
f → h
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
half(0) → 0
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
f → g
f → h
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
inc(s(x)) → s(inc(x))
inc(0) → s(0)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
f → g
f → h
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
HALF(s(s(x))) → HALF(x)
LE(s(x), s(y)) → LE(x, y)
INC(s(x)) → INC(x)
LOGARITHM(x) → LOGITER(x, 0)
LOGITER(x, y) → IF(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
LOGITER(x, y) → LE(s(0), x)
LOGITER(x, y) → LE(s(s(0)), x)
LOGITER(x, y) → HALF(x)
LOGITER(x, y) → INC(y)
IF(true, true, x, y) → LOGITER(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
inc(s(x)) → s(inc(x))
inc(0) → s(0)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
f → g
f → h
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
INC(s(x)) → INC(x)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
inc(s(x)) → s(inc(x))
inc(0) → s(0)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
f → g
f → h
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
INC(s(x)) → INC(x)
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
INC(s(x)) → INC(x)
From the DPs we obtained the following set of size-change graphs:
LE(s(x), s(y)) → LE(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
inc(s(x)) → s(inc(x))
inc(0) → s(0)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
f → g
f → h
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
LE(s(x), s(y)) → LE(x, y)
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
LE(s(x), s(y)) → LE(x, y)
From the DPs we obtained the following set of size-change graphs:
HALF(s(s(x))) → HALF(x)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
inc(s(x)) → s(inc(x))
inc(0) → s(0)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
f → g
f → h
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
HALF(s(s(x))) → HALF(x)
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
HALF(s(s(x))) → HALF(x)
From the DPs we obtained the following set of size-change graphs:
LOGITER(x, y) → IF(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
IF(true, true, x, y) → LOGITER(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
le(0, y) → true
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
inc(s(x)) → s(inc(x))
inc(0) → s(0)
logarithm(x) → logIter(x, 0)
logIter(x, y) → if(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
if(false, b, x, y) → logZeroError
if(true, false, x, s(y)) → y
if(true, true, x, y) → logIter(x, y)
f → g
f → h
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
LOGITER(x, y) → IF(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
IF(true, true, x, y) → LOGITER(x, y)
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
logarithm(x0)
logIter(x0, x1)
if(false, x0, x1, x2)
if(true, false, x0, s(x1))
if(true, true, x0, x1)
f
LOGITER(x, y) → IF(le(s(0), x), le(s(s(0)), x), half(x), inc(y))
IF(true, true, x, y) → LOGITER(x, y)
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(0, y1) → IF(false, le(s(s(0)), 0), half(0), inc(y1)) → LOGITER(0, y1) → IF(false, le(s(s(0)), 0), half(0), inc(y1))
LOGITER(s(x1), y1) → IF(le(0, x1), le(s(s(0)), s(x1)), half(s(x1)), inc(y1)) → LOGITER(s(x1), y1) → IF(le(0, x1), le(s(s(0)), s(x1)), half(s(x1)), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(0, y1) → IF(false, le(s(s(0)), 0), half(0), inc(y1))
LOGITER(s(x1), y1) → IF(le(0, x1), le(s(s(0)), s(x1)), half(s(x1)), inc(y1))
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(s(x1), y1) → IF(le(0, x1), le(s(s(0)), s(x1)), half(s(x1)), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(s(x1), y1) → IF(true, le(s(s(0)), s(x1)), half(s(x1)), inc(y1)) → LOGITER(s(x1), y1) → IF(true, le(s(s(0)), s(x1)), half(s(x1)), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(s(x1), y1) → IF(true, le(s(s(0)), s(x1)), half(s(x1)), inc(y1))
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(s(x1), y1) → IF(true, le(s(0), x1), half(s(x1)), inc(y1)) → LOGITER(s(x1), y1) → IF(true, le(s(0), x1), half(s(x1)), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(s(x1), y1) → IF(true, le(s(0), x1), half(s(x1)), inc(y1))
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(s(0), y1) → IF(true, false, half(s(0)), inc(y1)) → LOGITER(s(0), y1) → IF(true, false, half(s(0)), inc(y1))
LOGITER(s(s(x1)), y1) → IF(true, le(0, x1), half(s(s(x1))), inc(y1)) → LOGITER(s(s(x1)), y1) → IF(true, le(0, x1), half(s(s(x1))), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(s(0), y1) → IF(true, false, half(s(0)), inc(y1))
LOGITER(s(s(x1)), y1) → IF(true, le(0, x1), half(s(s(x1))), inc(y1))
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(s(s(x1)), y1) → IF(true, le(0, x1), half(s(s(x1))), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
le(s(x), 0) → false
le(s(x), s(y)) → le(x, y)
half(0) → 0
half(s(0)) → 0
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
le(0, y) → true
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(s(s(x1)), y1) → IF(true, le(0, x1), half(s(s(x1))), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
le(0, y) → true
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
LOGITER(s(s(x1)), y1) → IF(true, true, half(s(s(x1))), inc(y1)) → LOGITER(s(s(x1)), y1) → IF(true, true, half(s(s(x1))), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(s(s(x1)), y1) → IF(true, true, half(s(s(x1))), inc(y1))
le(0, y) → true
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(s(s(x1)), y1) → IF(true, true, half(s(s(x1))), inc(y1))
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
inc(s(x0))
inc(0)
le(0, x0)
le(s(x0), 0)
le(s(x0), s(x1))
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(s(s(x1)), y1) → IF(true, true, half(s(s(x1))), inc(y1))
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
inc(s(x0))
inc(0)
LOGITER(s(s(x1)), y1) → IF(true, true, s(half(x1)), inc(y1)) → LOGITER(s(s(x1)), y1) → IF(true, true, s(half(x1)), inc(y1))
IF(true, true, x, y) → LOGITER(x, y)
LOGITER(s(s(x1)), y1) → IF(true, true, s(half(x1)), inc(y1))
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
inc(s(x0))
inc(0)
IF(true, true, s(y_0), y_1) → LOGITER(s(y_0), y_1) → IF(true, true, s(y_0), y_1) → LOGITER(s(y_0), y_1)
LOGITER(s(s(x1)), y1) → IF(true, true, s(half(x1)), inc(y1))
IF(true, true, s(y_0), y_1) → LOGITER(s(y_0), y_1)
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
inc(s(x0))
inc(0)
IF(true, true, s(s(y_0)), x1) → LOGITER(s(s(y_0)), x1) → IF(true, true, s(s(y_0)), x1) → LOGITER(s(s(y_0)), x1)
LOGITER(s(s(x1)), y1) → IF(true, true, s(half(x1)), inc(y1))
IF(true, true, s(s(y_0)), x1) → LOGITER(s(s(y_0)), x1)
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
inc(s(x0))
inc(0)
LOGITER(s(s(s(s(x0)))), y1) → IF(true, true, s(s(half(x0))), inc(y1)) → LOGITER(s(s(s(s(x0)))), y1) → IF(true, true, s(s(half(x0))), inc(y1))
LOGITER(s(s(0)), y1) → IF(true, true, s(0), inc(y1)) → LOGITER(s(s(0)), y1) → IF(true, true, s(0), inc(y1))
LOGITER(s(s(s(0))), y1) → IF(true, true, s(0), inc(y1)) → LOGITER(s(s(s(0))), y1) → IF(true, true, s(0), inc(y1))
IF(true, true, s(s(y_0)), x1) → LOGITER(s(s(y_0)), x1)
LOGITER(s(s(s(s(x0)))), y1) → IF(true, true, s(s(half(x0))), inc(y1))
LOGITER(s(s(0)), y1) → IF(true, true, s(0), inc(y1))
LOGITER(s(s(s(0))), y1) → IF(true, true, s(0), inc(y1))
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
inc(s(x0))
inc(0)
LOGITER(s(s(s(s(x0)))), y1) → IF(true, true, s(s(half(x0))), inc(y1))
IF(true, true, s(s(y_0)), x1) → LOGITER(s(s(y_0)), x1)
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half(0)
half(s(0))
half(s(s(x0)))
inc(s(x0))
inc(0)
LOGITER(s(s(s(s(x0)))), y1) → IF(true, true, s(s(half(x0))), inc(y1))
IF(true, true, s(s(y_0)), x1) → LOGITER(s(s(y_0)), x1)
half(s(s(x))) → s(half(x))
inc(s(x)) → s(inc(x))
inc(0) → s(0)
half(0) → 0
half(s(0)) → 0
half1 > true > IF4 > LOGITER2 > 0 > inc1 > s1
0=1
true=10
half_1=0
s_1=2
inc_1=3
LOGITER_2=20
IF_4=0
half(0)
half(s(0))
half(s(s(x0)))
inc(s(x0))
inc(0)