ARITH solution