우리 문제가 아니다

어떤 사람(내가 아님!)이 길이가 $n$이고 음이 아닌 정수로 이루어진 배열을 좋은 배열이라고 부른다. 배열이 좋은 배열이 되려면 모든 $1 \le i < n$에 대해 $a_i a_{i+1} \min(a_i, a_{i+1}) \le C$가 성립해야 한다.

다른 사람(우리와는 상관없다!)이 길이가 $n$이고 빈칸이 있는 배열을 준다. 빈칸을 채워서 배열이 좋은 배열이 되도록 하는 방법의 수를 구하라. 방법이 무한히 많으면 그 사실을 판단하라. 답이 유한하면 $998244353$으로 나눈 나머지를 구하라.

첫 줄에 두 정수 $n$과 $C$가 주어진다($1 \le n \le 10^6$, $0 \le C \le 10^{18}$). $n$은 배열의 길이이고, $C$는 곱에 대한 제약이다.

둘째 줄에는 배열 $a$가 주어진다. 각 원소는 빈칸을 뜻하는 $-1$이거나, $0$ 이상 $10^{18}$ 이하의 정수이다.

방법의 수가 무한하면 $-1$을 출력한다. 그렇지 않으면 방법의 수를 $998244353$으로 나눈 나머지를 출력한다.