read N
read -d "" AA
ans1=0
ans2=0
for i in $AA
do
	if [ $i -eq 0 ]
	then
		ans2=0
	fi
	if [ $ans2 -eq 1 ]
	then
		i=$((i - 1))
		ans1=$((1 + ans1))
	fi
	if [ $i -ne 0 ]
	then
		ans1=$(( (i / 2) + ans1))
		ans2=$((i % 2))
	fi
done
echo $ans1
