half00halfs00halfssxshalfxle0ytruelesx0falselesxsylexyincsxsincxinc0s0logarithmxlogIterx0logIterxyifles0xless0xhalfxincyiffalsebxylogZeroErroriftruefalsexsyyiftruetruexylogIterxyfgfhhalf100s1le2true0false0inc1logarithm1logIter2if4logZeroError0f0g0h0FULL./TRS/secret06/aprove/logarithm.trs