[NOI2000] 程序分析器

Tiny Basm语言(简称为TB语言)的巴科斯-瑙尔范式(BNF)为：  错误语句示例(在输入文件中不会出现任何错误语句)： - `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$。

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

11

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