{"raw_statement":[{"iden":"statement","content":"D-- 是 2077 年的一种新兴语言。在 D-- 语言中，引入了一种「枚举结构」。具体的，这一种结构可以使用以下表达式表示：\n\n```plaintext\nX Y Z W\n```\n\n其中，$X, Z$ 为单个小写字母，代表变量名；$Y, W$ 为整数，代表枚举的起始值和终止值。其代表，将变量 $X$ 从 $Y$ 枚举到 $W$。\n\n由于 D-- 追求极致的安全性，因此为了进行确认，**如果想要成功对 $X$ 变量进行枚举，那么 $Z$ 必须与 $X$ 相同**。 \n\n例如，一个合法的枚举结构表达式如下：\n\n```plaintext\ni 1 i 100\n```\n\n其代表，将 $i$ 变量从 $1$ 枚举到 $100$。\n\n---\n\n现在你收到了一个 D-- 枚举结构表达式 `X Y Z W`，请你判断和计算以下内容：\n\n1. 表达式的合法性  \n\t一个枚举结构表达式，只有满足以下全部条件，方可算作合法：  \n    \n    - $X$ 与 $Z$ 均为小写字母。\n    - $X$ 与 $Z$ 相同。\n    - $Y$ 与 $W$ 均为整数。在给定的表达式中，我们保证这一条总是成立。\n    \n2. 如果合法，表达式将枚举的次数  \n\t对于一个合法的枚举表达式，如果 $Y \\le W$，其将会枚举 $W - Y + 1$ 次；否则，其将会枚举 $Y - W + 1$ 次。"},{"iden":"input","content":"输入共一行一个表达式 `X Y Z W`，其中 $X,Z$ 为单个大小写字母或一位数字，$Y, W$ 为整数。"},{"iden":"output","content":"输出共两行。\n\n第一行为一个字符串。如果给定的表达式合法，输出 `valid`；否则输出 `Invalid`。  \n第二行为一个整数，如果给定的表达式不合法，输出 $-1$；否则输出表达式的枚举次数。"},{"iden":"note","content":"### 数据规模与约定\n\n对于一个表达式 `X Y Z W`，对于 $100\\%$ 的数据，$-2 \\times 10 ^ 9 \\leq Y, W \\leq 2 \\times 10 ^ 9$，$X, Z$ 均为单个小写字母或单个大写字母或一位数字。"}],"translated_statement":null,"sample_group":[["i 1 i 100","valid\n100"],["I 1 j 100","Invalid\n-1"]],"show_order":[],"formal_statement":null,"simple_statement":null,"has_page_source":false}