该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

一个字符串如果满足依次由左括号'$\red{[}$'，一个冒号':'，若干个（可以为$\red{0}$个）竖线‘$\red{|}$’，一个冒号':'，一个右括 号'$\red{]}$'组成，则我们定义其是手风琴的一段旋律。如$\red{[::]}$、$\red{[:||:]}$和$\red{[:|||:]，}$分别是长度为$\red{4,6,7}$的手风琴旋律，而$\red{(:|:)}$、:$\red{||:}$、$\red{[:]}$和$\red{]:||:[}$都不是手风琴旋律。

现在给你一个字符串$\red{s,}$你可以移除一些字符（可以移除$\red{0}$个），问最后能形成手风琴旋律最大长度。

如果形成不了手风琴旋律则输出$\red{-1}$

输入格式

共一行，一个字符串$\red{s,}$仅包含小写字母和'$\red{[}$','$\red{]}$',':' 和'$\red{|}$'。

输出格式

一个整数，代表最后能形成手风琴旋律最大长度。

如果形成不了手风琴旋律则输出$\red{-1}$

样例

输入样例

|[a:b:|]

输出样例

4

提示

对于$\red{50\%}$的数据，有$\red{1<=|s|<=10^3}$；

对于$\red{100\%}$的数据，有$\red{1<=|s|<=5\times 10^5}$。