//#pragma GCC target("avx2") //#pragma GCC optimize("O3") //#pragma GCC optimize("unroll-loops") #include using namespace std; using ll = long long; using pii = pair; using pll = pair; using pli = pair; #define MOD 998244353 //#define MOD 1000000007 #define el '\n' #define El '\n' #define YESNO(x) ((x) ? "Yes" : "No") #define YES YESNO(true) #define NO YESNO(false) #define EXIT_ANS(x) {cout << (x) << '\n'; return;} #define PA() {EXIT_ANS(ans);} template void inline SORT(vector &v){sort(v.begin(),v.end()); return;} template void inline REV(vector &v){reverse(v.begin(),v.end()); return;} template void inline VEC_UNIQ(vector &v){sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); return;} template T inline MAX(vector &v){return *max_element(v.begin(),v.end());} template T inline MIN(vector &v){return *min_element(v.begin(),v.end());} template T inline SUM(vector &v){T ans = 0; for(int i = 0; i < (int)v.size(); i++)ans += v[i]; return ans;} template void inline DEC(vector &v){for(int i = 0; i < (int)v.size(); i++)v[i]--; return;} template void inline INC(vector &v){for(int i = 0; i < (int)v.size(); i++)v[i]++; return;} void inline TEST(void){cerr << "TEST" << endl; return;} template bool inline chmin(T &x,T y){ if(x > y){ x = y; return true; } return false; } template bool inline chmax(T &x,T y){ if(x < y){ x = y; return true; } return false; } template vector inline get_vec(int n){ vector ans(n); for(int i = 0; i < n; i++)cin >> ans[i]; return ans; } template void inline print_vec(vector &vec,bool kaigyou = false){ int n = (int)vec.size(); for(int i = 0; i < n; i++){ cout << vec[i]; if(kaigyou || i == n - 1)cout << '\n'; else cout << ' '; } if(!n)cout << '\n'; return; } template void inline debug_vec(vector &vec,bool kaigyou = false){ int n = (int)vec.size(); for(int i = 0; i < n; i++){ cerr << vec[i]; if(kaigyou || i == n - 1)cerr << '\n'; else cerr << ' '; } if(!n)cerr << '\n'; return; } vector> inline get_graph(int n,int m = -1,bool direct = false){ if(m == -1)m = n - 1; vector> g(n); while(m--){ int u,v; cin >> u >> v; u--; v--; g[u].push_back(v); if(!direct)g[v].push_back(u); } return g; } template vector>> inline get_weighted_graph(int n,int m = -1,bool direct = false){ if(m == -1)m = n - 1; vector>> g(n); while(m--){ int u,v; cin >> u >> v; u--; v--; ll w; cin >> w; g[u].push_back(pair(w,v)); if(!direct)g[v].push_back(pair(w,u)); } return g; } //自作 modint //雑に色んな operator でディープコピーしまくる実装にしたらベタ書きに比べて相当遅くなったため、 ACL をかなり参考にしている。 //割り算について、 mod が素数かどうかを確かめずにフェルマーの小定理を使うあれをやっているので、 mod が素数でない時はかなり注意。 template class ococo_static_modint{ private: using mint = ococo_static_modint; mint pow(long long b)const{ assert(b >= 0); mint ans = 1,temp = *this; while(b){ if(b & 1)ans *= temp; temp *= temp; b >>= 1; } return ans; } mint inv(void)const{ return pow(m - 2); } public: //これを書くことで初期値を決めてくれるらしい ococo_static_modint() : val(0){} //long long への変換 //operator long long(){return val;} template ococo_static_modint(T x){ long long xv = (long long)(x) % m; if(xv < 0)xv += m; val = xv; } long long val = 0; void operator++(int){ val++; if(val == m)val = 0; return; } void operator--(int){ if(val == 0)val = m; val--; return; } mint& operator+=(const mint& r){ val += r.val; if(val >= m)val -= m; return *this; } mint& operator-=(const mint& r){ val -= r.val; if(val < 0)val += m; return *this; } mint& operator*=(const mint &r){ val *= r.val; val %= m; return *this; } mint& operator/=(const mint &r){ assert(r != 0); return *this = *this * r.inv(); } friend mint operator+(const mint& l,const mint& r){ mint ans = l; ans += r; return ans; } friend mint operator-(const mint& l,const mint& r){ mint ans = l; ans -= r; return ans; } friend mint operator*(const mint& l,const mint& r){ mint ans = l; ans *= r; return ans; } friend mint operator/(const mint& l,const mint& r){ mint ans = l; ans /= r; return ans; } friend bool operator==(const mint& l,const mint& r){ return (l.val == r.val); } friend bool operator!=(const mint& l,const mint& r){ return (l.val != r.val); } int get_int(void){ return val; } friend ostream& operator<<(ostream& tp,const ococo_static_modint& x){ return tp << x.val; } friend istream& operator>>(istream& tp, ococo_static_modint &x){ ll v; tp >> v; x = v; return tp; } }; using mint = ococo_static_modint; vector is_prime; vector futago; vector pv; //x 以下の XOR 双子素数がいくつあるか? //(5,7) はそういう組の一つだが、 x が 6 以下なら、このペアはカウントされず、7以上の時、一気に2つ分カウントする int func(int x){ vector::iterator it = upper_bound(futago.begin(),futago.end(),pair(x,INT_MAX / 2)); int ans = distance(futago.begin(),it); ans *= 2; return ans; } // n*nの正方行列。 ococo_gyouretu<型の名前> (変数名)(n);で宣言 // 足し算・掛け算・べき乗(O(logN)のやつ)しかない。 template class ococo_gyouretu { public: int sz; // ここに扱うデータが入ってる vector> a; ococo_gyouretu(void){ sz = n; a.resize(n); for(int i = 0; i < n; i++) a[i].resize(n); } ococo_gyouretu get_taxnigyouretu(void){ ococo_gyouretu ans; for(int i = 0; i < n; i++){ for(int j = 0; j < n; j++){ ans.a[i][j] = (i == j ? 1 : 0); } } return ans; } ococo_gyouretu operator+(ococo_gyouretu const &r) const { ococo_gyouretu ans; for(int i = 0; i < n; i++) { for(int j = 0; j < n; j++) { ans[i][j] += a[i][j] + r.a[i][j]; } } return ans; } ococo_gyouretu operator*(ococo_gyouretu const &r) const { ococo_gyouretu ans; for(int i = 0; i < n; i++) { for(int j = 0; j < n; j++) { for(int k = 0; k < n; k++) { ans.a[i][j] += a[i][k] * r.a[k][j]; } } } return ans; } ococo_gyouretu bekizyou(long long b) { ococo_gyouretu temp, ans; for(int i = 0; i < n; i++) { for(int j = 0; j < n; j++) { temp.a[i][j] = a[i][j]; ans.a[i][j] = (i == j ? 1 : 0); } } while(b) { if(b % 2) { ans = ans * temp; } temp = temp * temp; b /= 2; } return ans; } //なぜか friend を外すとコンパイルできなくなる。言語仕様覚えるのしんどすぎ! friend bool operator==(const ococo_gyouretu& l,const ococo_gyouretu& r){ if(l.sz != r.sz)return false; for(int i = 0; i < l.sz; i++){ for(int j = 0; j < l.sz; j++){ if(l.a[i][j] != r.a[i][j])return false; } } return true; } }; #define MULTI_TEST_CASE true void solve(void){ //問題を見たらまず「この問題設定から言えること」をいっぱい言う //よりシンプルな問題に言い換えられたら、言い換えた先の問題を自然言語ではっきりと書く //複数の解法のアイデアを思いついた時は全部メモしておく //g++ -D_GLIBCXX_DEBUG -Wall -O2 f.cpp -o o ll n,m; cin >> n >> m; if(n == 1){ cout << upper_bound(pv.begin(),pv.end(),m) - pv.begin() << el; return; } ococo_gyouretu g; int valid_prime_cnt = func(m); //0 2 //1 not 2 g.a[0][0] = 0; g.a[0][1] = valid_prime_cnt; g.a[1][0] = 1; g.a[1][1] = 1; auto h = g.bekizyou(n - 1); mint ans = 0; for(int i = 0; i < 2; i++){ for(int j = 0; j < 2; j++){ if(i == 0)ans += h.a[i][j]; if(i == 1)ans += (mint)valid_prime_cnt * h.a[i][j]; } } cout << ans << el; return; } void calc(void){ is_prime.resize(10000001,true); is_prime[0] = is_prime[1] = false; for(int i = 2; i < is_prime.size(); i++){ if(!is_prime[i])continue; pv.push_back(i); for(int j = i + i; j < is_prime.size(); j += i){ is_prime[j] = false; } } for(int i = 3; i < is_prime.size(); i++){ int j = i ^ 2; if(j != i + 2)continue; if(is_prime[i] && is_prime[j]){ //if(i < 20)cerr << j << ' ' << i << el; futago.push_back(pair(j,i)); } } return; } signed main(void){ cin.tie(nullptr); ios::sync_with_stdio(false); calc(); int t = 1; if(MULTI_TEST_CASE)cin >> t; while(t--){ solve(); } return 0; }