CF120I Luck is in Numbers

Vasya 收藏交通票据已经有一段时间了。他的收藏中有数千张有轨电车、无轨电车和公交车票。Vasya 已经厌倦了传统的幸运票定义，因此他正在寻找新的视角。此外，Vasya 不明白为什么所有的票据只能分为幸运和不幸运两类。他认为所有的票都是幸运的，只是幸运程度不同。经过一番思考，Vasya 制定了票据幸运度的定义。设一张票由 $2n$ 位数字组成。我们将每一位数字视为如下图所示的方式书写：  你在电子钟上见过这样的数字：每个数字由七段组成，每段可以点亮或不点亮。点亮的段形成一个数字。Vasya 就是以这种方式看待数字的，并将票据的右半部分叠放在左半部分，使得第 $n+1$ 位与第 $1$ 位重合，第 $n+2$ 位与第 $2$ 位重合，……，第 $2n$ 位与第 $n$ 位重合。对于每一对重合的数字，他统计两位数字中同时点亮的段数，并将这些数相加。最终得到的值称为该票据的幸运度。例如，票据 03 的幸运度为 4，票据 2345 的幸运度为 6。 现在给定一个由 $2n$ 位数字组成的票据号码。你的任务是在所有比该票据号码大的、且同样由 $2n$ 位数字组成的票据中，找到幸运度严格大于给定票据幸运度的最小号码。如果有多个这样的票据，只需输出号码最小的那一个。

第一行包含一个长度为 $k$ 的票据号码（$k=2n,\,1\leq n\leq 10^{5}$）。

输出所求票据的号码。如果不存在这样的票据，输出 $-1$。

由 ChatGPT 4.1 翻译