卓哥哥与黄学长去MIT蹭饭

卓哥哥与黄学长手牵着手去MIT蹭饭。MIT的食堂高端的不行，他们的菜单由一串长度为n的数字（0~9）串组成，其中的每一个子串都是一道菜名。卓哥哥和黄学长都有些特殊的嗜好：1.他们每个人点的若干道菜在菜单中必须是一段连续且不重叠的字串（一个人点的所有菜在菜单中也必须是一段连续的子串）；2.他们点的所有（两个人的）菜的菜名的首数字必须相同；3.他们点的任何菜的菜名中不能包含该菜名的首数字（比如菜名09209是不合法的）；4.卓哥哥点的菜的菜名长度总和黄学长相同，点的菜的数量也相同；5.卓哥哥与黄学长点菜的顺序为菜单上的顺序；6.卓哥哥点的第k道菜的菜名的长度与黄学长点的第k道菜的菜名的长度必须相同；7.卓哥哥点的第k道菜的菜名与黄学长点的第k道菜的菜名除了菜名的首数字外必须完全不同（比如菜名09238与菜名02983是合法的，但菜名09237与菜名03298是不合法的）；8.最后，卓哥哥与黄学长点的菜不能完全相同；

一个合法的方案为： 

菜单为：123142125

卓哥哥点了两道菜，第一道菜为123，第二道菜为142

黄学长点了两道菜，第一道菜为142，第二道菜为125

卓哥哥与黄学长想让他们点的菜的菜名长度总和最长（如上方案菜名长度总和为6同时也是最长的方案）。

第一行为一个整数n，表示菜单的长度为n

第二行为一个长度为n的数字串，表示菜单

输出最长的菜名长度总和

9
123142125

6

n <= 100000，菜名由“0”“1”“2”三个数字组成

数据保证随机