#1595. 12月定时作业T4 双生数

    ID: 1595 传统题 1000ms 256MiB 尝试: 4 已通过: 1 难度: 7 上传者: 标签>组合数学数论欧几里得算法容斥原理

12月定时作业T4 双生数

题目描述

给一个正整数数列a长度为n,求所有正整数数对(x,y)的个数,其中任意一个数对(x,y)(其中0<x<y<k)都满足:

i(0n]mix+y\exist i \in \lparen0,n\rbrack,m_i|x+y

其中"|"为整除

输入格式

共三行

第一行,两个正整数n,k

第二行,n个正整数,其中第i个整数表示aia_i

输出格式

一个整数,表示满足条件的数对(x,y)的个数,答案对23^32^2取模

样例组

输入 #1

2 6

3 7

输出 #1

8

输入 #2

5 1000

2 3 4 5 6

输出 #2

366165

输入 #3

6 1000000000000000

2 3 5 8 13 21

输出 #3

145781088

提示说明

对于所有数据

1n221 \le n \le 22

2ai10162 \le a_i \le10^{16}

k1016k\le10^{16}

测试点编号 特殊性质
1 n=2 k1000k\le1000
2 aia_i为等比数列
3 n=1 k109k\le10^9
4 n=2
5 aia_i 为等比数列 k1012 k \le 10 ^{12}
6~10 k1012 k \le 10 ^{12}
11~12 ai>108_i>10^8 k1016 k\le10^{16}
13~20