n%{(5%2*\~,15/3<,+n}%