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