Marked_quot0logMarked_predsMarked_logminusquotMarked_minuspredyxpred(s(x))xminus(x,0)xminus(x,s(y))pred(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))pred(s(x))xminus(x,0)xminus(x,s(y))pred(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_minus(x,s(y))Marked_pred(minus(x,y))Marked_minus(x,s(y))Marked_minus(x,y)Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))Marked_quot(s(x),s(y))Marked_minus(x,y)Marked_log(s(s(x)))Marked_log(s(quot(x,s(s(0)))))Marked_log(s(s(x)))Marked_quot(x,s(s(0)))pred(s(x))xminus(x,0)xminus(x,s(y))pred(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_log(s(s(x)))Marked_log(s(quot(x,s(s(0)))))pred10quot10minus10Marked_log20s220log1000pred(s(x))xminus(x,0)xminus(x,s(y))pred(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))pred10quot10minus10s320log2000Marked_quot20pred(s(x))xminus(x,0)xminus(x,s(y))pred(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_minus(x,s(y))Marked_minus(x,y)Marked_minus2Marked_minus(x,s(y))Marked_minus(x,y)pred(s(x))xminus(x,0)xminus(x,s(y))pred(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))