Enviar por SMS: Permutative conversions in intuitionistic multiary sequent calculi with cuts