P27328 [AtCoder] Three Substrings
提高
题目描述

Problem Statement

Snuke has a string s.
From this string, Anuke, Bnuke, and Cnuke obtained strings a, b, and c, respectively, as follows:

  • Choose a non-empty (contiguous) substring of s (possibly s itself). Then, replace some characters (possibly all or none) in it with ?s.

For example, if s is mississippi, we can choose the substring ssissip and replace its 1-st and 3-rd characters with ? to obtain ?s?ssip.
You are given the strings a, b, and c.
Find the minimum possible length of s.

Input

Input is given from Standard Input in the following format:
a
b
c

Output

Print the minimum possible length of s.

Constraints

  • $1 \leq |a|, |b|, |c| \leq 2000$
  • a, b, and c consists of lowercase English letters and ?s.

Sample Input 1

a?c
der
cod

Sample Output 1

7

For example, s could be atcoder.

Sample Input 2

atcoder
atcoder
???????

Sample Output 2

7

a, b, and c may not be distinct.

输入格式

见题面 Input 部分

输出格式

见题面 Output 部分

样例输入
a?c der cod
样例输出
7