CF145B Lucky Number 2

Petya 非常喜欢幸运数。众所周知，幸运数是指其十进制表示中只包含幸运数字 $4$ 和 $7$ 的正整数。例如，$47$、$744$、$4$ 是幸运数，$5$、$17$、$467$ 不是。 Petya 更加喜欢很长的幸运数。他对满足某些条件的最小幸运数 $d$ 感兴趣。记 $cnt(x)$ 为数字 $x$ 作为子串在数字 $d$ 中出现的次数。例如，如果 $d=747747$，则 $cnt(4)=2$，$cnt(7)=4$，$cnt(47)=2$，$cnt(74)=2$。Petya 希望以下条件同时满足：$cnt(4)=a_{1}$，$cnt(7)=a_{2}$，$cnt(47)=a_{3}$，$cnt(74)=a_{4}$。Petya 对其他数字的出现次数不感兴趣。请帮助他完成这个任务。

一行包含四个整数 $a_{1}$、$a_{2}$、$a_{3}$ 和 $a_{4}$，表示 $cnt(4)=a_{1}$，$cnt(7)=a_{2}$，$cnt(47)=a_{3}$，$cnt(74)=a_{4}$。$(1 \leq a_{1},a_{2},a_{3},a_{4} \leq 10^{6})$。

输出一行，不含前导零，表示满足条件的最小幸运数 $d$。如果不存在这样的幸运数，则输出“-1”。

由 ChatGPT 5 翻译