站外题求助

数据溢出 (overflow, 1s/256M)

数据溢出是程序员经常会遇到的 bug 之一。例如，32 位无符号整型的数据范围是

0∼2^{32}-1

而如果一个该类型的变量的取值超过了

2^{32}-1

，那么就会导致数据溢出，使得程序运行出不可预料的结果。

所幸的是，在 GCC 版本的 C++ 编译器中，有这样一个可以帮助检查代码中所有 “未定义行为（Undefined Behaviour）” 的检查器（Sanitizer），而数据溢出就是一类未定义行为。如果编译的时候开启这个检查器，那么一旦程序运行的时候出现了未定义行为，那么程序就会返回一个 Runtime Error 的结果。

在本题中，你的任务就是实现检查器中有关数据溢出的部分。具体来说，假设某种无符号数据类型的数据范围是

0∼M

，然后接下来会给出某段程序其中一个变量的变化情况（该变量初始值为

0

），你需要判断该变量是否发生了数据溢出。

输入格式

第一行输入一个正整数

T

，表示数据组数。

对于每一组数据，第一行输入两个正整数

N,M

，分别表示变量变化次数和该数据类型的范围。接下来

N

行，每一行的输入都形如如下三种格式之一：

$+$ x：表示该变量的值加上 $x$ ，即设变量的原值为 $A$ ，那么新值就是 $A+x$
$*$ x：表示该变量的值乘上 $x$ ，即设变量的原值为 $A$ ，那么新值就是 $A*x$
/ x：表示该变量的值除以 $x$ 并向下取整，即设变量的原值为 $A$ ，那么新值就是⌊ $A/x$ ⌋。其中⌊x⌋ 表示向下取整，例如 ⌊3.1⌋=3 ,⌊0.1⌋=0 ,⌊5⌋=5

注意：本题输入量较大，请使用速度较快的输入方式。

输出格式

对于每一组数据，输出一行一个正整数，表示其最早发生数据溢出的操作次数。如果没有发生数据溢出，则输出一行 Not Overflow。

样例输入

CPP

样例输出

CPP

4
Not Overflow

样例解释第一组数据的第四步是给变量乘以 1000，之后得到的变量的值是 10000，超过了 9999，故发生了数据溢出。数据范围

对于 30% 的数据， $1 \le N \le 10 , 1 \le M \le 2^{16}$
对于 60% 的数据， $1 \le N \le 1000 , 1 \le M\le 2^{32}$
对于 100% 的数据， $1 \le N \le 10^5 , 0\le M < 2^{63} , 1 \le T \le 5,1 \le x <M$

数据保证不会除以 0。

讨论操作