GCD 테이블과 연속 부분 수열

크기가 $n \times m$인 행렬 $G$가 있다. $G[i][j]$에는 $i$와 $j$의 최대공약수가 들어 있다 ($1 \le i \le n$, $1 \le j \le m$).

길이가 $k$인 수열 $a_1, a_2, \dots, a_k$가 주어졌을 때, 이 수열이 $G$의 한 행에 연속 부분 수열로 나타나는지 판정하는 프로그램을 작성하시오. 즉 모든 $1 \le l \le k$에 대해 $G[i][j+l-1] = a_l$을 만족하는 $i$와 $j$가 존재하는지 구해야 한다. 여기서 $1 \le i \le n$, $1 \le j \le m-k+1$이다.

첫째 줄에 $n$, $m$, $k$가 주어진다 ($1 \le n, m \le 10^{12}$, $1 \le k \le 10000$).

둘째 줄에 $a_1, a_2, \dots, a_k$가 주어진다 ($1 \le a_i \le 10^{12}$).

주어진 수열이 $G$에 연속 부분 수열로 나타나면 YES를, 나타나지 않으면 NO를 출력한다.

첫 번째 예제에서는 $G[10][5]$부터 $G[10][9]$까지가 주어진 수열과 일치한다.