Problem:
F: 赤黒そーるじぇむ / Red-Black Soul Gem

問題

ほむちゃんは、そーるじぇむを赤色や黒色に変化させたり、 異なる 2 つのそーるじぇむ間を魔法の糸で接続したりする不思議な力を持っています。
この力を使うことで、ほむちゃんは、そーるじぇむによる魔方陣を作ることができます。

ほむちゃんは、 1 から N で番号付けられた N 個のそーるじぇむがあるとき、以下の条件が成り立つ異なる魔方陣がいくつあるのか気になりました。

どの 2 つのそーるじぇむ間も、高々 1 回しか接続されない。

すべてのそーるじぇむの色が、赤色か黒色のいずれかになっている。

任意のそーるじぇむに対して、自身の色と異なる色のそーるじぇむのうち、少なくとも 1 つと接続されている。

このとき、魔方陣はそーるじぇむを頂点とし、魔法の糸を辺とするグラフとみなすことができます。
ここで、そのグラフは 連結でなくてもよい ことに注意してください。

ほむちゃんは計算が苦手なので、代わりにあなたが高速なプログラムを作って異なる魔方陣の数を計算してあげましょう。
しかし、その数は非常に多いことが予想されるので、ある素数 M で割った余りを求めることにします。

なお、ある魔方陣 G と H が異なるとは、あるそーるじぇむ v について G と H でその色が異なる、もしくはあるそーるじぇむの組 u, v が G と H の一方でのみ接続されていることを指します。

入力形式

N M

制約

2 \leq N \leq 2,000

10^8 \leq M \leq 10^9 + 7

M は素数であることが保証される

出力形式

条件を満たすグラフの個数を M で割った余りを整数で 1 行に出力してください。

入力例1

3 310779401

出力例1

12

例えば、以下のような魔方陣は条件を満たします。

入力例2

7 566666561

出力例2

98638848

例えば、以下のような魔方陣は条件を満たします。

入力例3

1010 1000000007

出力例3

862232855

M で割った余りを出力することに注意してください。

Solution in Rust (judge verdict: Accepted)

fn mod_pow(r: u64, mut n: u64, p: u64) -> u64 {
    let mut t = 1;
    let mut s = r;
    while n > 0 {
        if n & 1 == 1 {
            t = t * s % p;
        }
        s = s * s % p;
        n >>= 1;
    }
    t
}

fn inv(a: u64, p: u64) -> u64 {
    mod_pow(a, p - 2, p)
}

fn run() {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).unwrap();
    let mut it = s.trim().split_whitespace();
    let n: usize = it.next().unwrap().parse().unwrap();
    let p: u64 = it.next().unwrap().parse().unwrap();
    let mut fact = vec![1; n + 1];
    let mut ifact = vec![0; n + 1];
    for i in 1..(n + 1) {
        fact[i] = fact[i - 1] * i as u64 % p;
    }
    ifact[n] = inv(fact[n], p);
    for i in (0..n).rev() {
        ifact[i] = (i + 1) as u64 * ifact[i + 1] % p;
    }
    let mut ans = 0;
    for i in 1..n {
        let way = fact[n] * ifact[i] % p * ifact[n - i] % p * mod_pow(2, (i * (i - 1) / 2) as u64 + ((n - i) * (n - i - 1) / 2) as u64, p) % p;
        let mut sum = 0;
        for a in 0..(i + 1) {
            let x = mod_pow(p - 1, a as u64, p) * mod_pow(2, ((i - a) * (n - i)) as u64, p) % p * fact[i] % p * ifact[a] % p * ifact[i - a] % p;
            let r = (1 + mod_pow(inv(2, p), (i - a) as u64, p) * (p - 1)) % p;
            sum += x * mod_pow(r, (n - i) as u64, p) % p;
        }
        ans += sum % p * way % p;
    }
    ans %= p;
    println!("{}", ans);
}

fn main() {
    run();
}