题目背景

yltx 又双叒叕出自己不会做的题了……

题目描述

yltx 定义若一个素数数对 $(x,y)$ 满足 $x\times y-3\times (x-y)$ 是素数，则称其为一个 yltx 数对。

他给了你 $T$ 对 $(x,y)$，请你检查他们是否为 yltx 数对。

数据以种子$(x_0,y_0)$的形式给出。

执行 $T$ 次 $x_0\leftarrow (7x_0+13)\ \mathrm{xor}\ (x_0\div 13-7)$，第 $i$ 次执行得到的数先取模 $10^4$、加上 $10^4$、取模 $10^4$，再加 $1$，就得到了第 $i$ 组数据的 $x$。这里的除法就是整除，把 $x_0$ 视作 32 位有符号整数。

用同样的方法得到 $y$。

数据生成模板：

#include<bits/stdc++.h>
using namespace std;
int T,x_0,y_0;
int main() {
	scanf("%d%d%d",&T,&x_0,&y_0);
	while(T--){
		x_0=((7*x_0+13)^(x_0/13-7));
		y_0=((7*y_0+13)^(y_0/13-7));
		int x=(x_0%10000+10000)%10000+1,y=(y_0%10000+10000)%10000+1;
		//x,y即为一组(x,y)。
	}
	return 0;
}

输入格式

第一行三个整数 $T,x_0,y_0$。

输出格式

$1$行，输出有几对数是 yltx 数对。

100000 1 2

321

提示

各测试点数据范围如下：

各Subtask捆绑测试。

本题开放数据下载，但希望您能用数据做正确的事。