题目背景

子序列：是指在序列中选择某些元素，按照序列中的顺序连接在一起形成的。比如 xzoj、xz、ax、axoj 都是 xazxoj 的子序列。但 axzx 这个序列不是。我们定义子序列长度为子序列中包含的元素数量，比如 xzoj 的长度为 $4$，xz 的长度为 $2$。如果没有特殊说明，空序列和整个序列都是原序列的一个子序列。我们一般会用非空子序列来排除空序列，用真子序列来排除整个序列，用非空真子序列来同时排除两个。

子串：是指在序列中选择连续的某些元素，按照序列中的顺序连接在一起形成的，所以子串也常被称作连续子序列。比如 xazx、zxo 都是 xazxoj 的子串。但 xzoj 不是。与子序列相同，子串包含的元素个数也被称为子串的长度，同时也有“非空”、“真”等描述方法。

题目描述

现在 Csvoner 得到了一个仅包含英文小写字母的字符串 $s$，Csvoner 想要在其中找到一个子串 $t$，使得 xazxoj 是 $t$ 的子序列。显然有可能有多个这样的 $t$，Csvoner 想要一个知道最短的 $t$ 的长度是多少。

比如当 $s$ 为 wwoxaxzxyojtojo 时，子串 woxaxzxyoj、woxaxzxyojtojo、xaxzxyoj 等都包含子序列 xazxoj。其中最短的是 xaxzxyoj，长度为 8。

wwoxaxzxyojtojo
   ** ** **
   ^^^^^^^^

输入格式

输入一行，即字符串 $s$。

输出格式

一行一个整数，表示 $t$ 最小长度。

wwoxaxzxyojtojo

8

数据规模与约定

对于 $100\%$ 的数据，保证：$s$ 中仅包含小写英文字母且包含子序列 xazxoj，$1\le |s|\le 1000$。其中 $|s|$ 表示字符串 $s$ 的长度。

• 子任务 1（$30$ 分）：保证 $|s|\le 20$
• 子任务 2（$30$ 分）：保证 $s$ 中 a、z、o、j 三个字符都只出现一次，x 只出现了两次。换言之，$s$ 中仅有一个子序列是 xazxoj。
• 子任务 3（$40$ 分）：无特殊限制