[NOI2000] 程序分析器

题目描述

Tiny Basm语言(简称为TB语言)的巴科斯-瑙尔范式(BNF)为: ![](https://cdn.luogu.com.cn/upload/image_hosting/37ipxplt.png) 错误语句示例(在输入文件中不会出现任何错误语句): - `10A+1.5`(不符合累加语句的定义,所加的不是整数) - `20A?`(不符合输出语句的定义,多加了一个空格) - `30IFA=BGO10`(不符合条件语句的定义,不应变量=变量) $\\$ TB程序的执行: - 程序从行号最小的一条语句开始执行,在未遇到条件语句时按行号由小至大顺序执行。 - 所有变量在程序执行前被自动初始化为 $0$。 - 累加语句将语句中变量的值加上语句中的整数送回该变量。 - 输出语句将语句中变量的值在监视器上显示出来。 - 执行条件语句时,当且仅当该语句中的变量与紧跟在等号后面的整数值相等,后面的转移语句才被执行。该语句中的所有整数值至多为 $4$ 位。 - 转移语句被执行后,程序将转去执行 $\tt GO$ 后面指定的行号的语句。 - 当程序执行结束语句后,结束整个程序的执行。 - 假设该系统能处理任意大小的整数,而不会发生溢出。 请编程,对于给定的 TB 语言程序 $P$,求该程序所执行的语句数(执行条件语句不论是否成功转移,仅记为执行一条语句)。

输入输出格式

输入格式


- 为一个TB语言程序 $P$ ,语句数不超过 $100$ 行。 - $P$ 中每条语句的长度不超过 $20$ 个字符。 - $P$ 中转移语句里 $\tt GO$ 后面的行号一定有对应的语句。 - $P$ 中可能有多个不同行号的结束语句。 - $P$ 中行号最大的语句一定是结束语句。 - $P$ 中的行号都不大于 $3000$。 - 输入文件不一定是按行号递增顺序给出 $P$ 的。

输出格式


- 有且仅有一行: 如果程序能够正常结束,输出该程序所执行的语句数; 如果程序不能正常结束,输出 $-1$。

输入输出样例

输入样例 #1

10 A+1
20 IF A=5 GO 60
60 END
30 A+2
40 A?
50 GO 20

输出样例 #1

11

说明

**样例说明** 执行语句行号按顺序为 $10→20→30→40→50→20→30→40→50→20→60$。 共 $11$ 条语句被执行。