Problem:
D : Chopsticks / 箸

Problem

お箸は 2 本 1 セット(1 膳)で用いるものである。しかしあるとき一人暮らしの大学生であるいあづ君は箸立てに入っているお箸が奇数本であることに気がついた。これは明らかにおかしい。いつの間にか何本か無くしてしまったのである。
困ったいあづ君は、今後このようなことが無いように箸の本数を毎日記録することにした。

ところが、いあづ君が決めた記録の方法は少し変わっている。 それは、まずM 個の自然数 A1, ... , AM を決めた後、 箸の本数をそれらで割った余りを毎日記録するというものである。 例えばある日に残っている箸の本数が T のとき、 その日の記録として T % A1 , ... , T % AM を付ける。 ただ、たまにいくつか記録し忘れたり、間違った記録を付けたりすることもあるようだ。 (x % y は x を y で割った余りである。)

ここでいあづ君は大事なことに気づいた。 これだと最終日に何本残っているか 1 つに決まらない！

ポジティブないあづ君は、 D 日分の記録をもとに、 D 日目の記録をつけた直後に残っている箸の本数の最大値を求めるプログラムを書くことにした。

Input

入力は次のような形式で与えられる．

N M D
A1 A2 ... AM
R11 R12 ... R1M
R21 R22 ... R2M
...
RD1 R12 ... RDM

N, M, D は、それぞれ記録を開始する直前にあったお箸の本数、余りを求めるのに使う整数の個数、記録をつけた日数である。A1 A2 ... AM は余りを求めるのに使う整数である。

2 + d 行目の Rd1, Rd2, ... ,RdM は、d 日目に残っているお箸の本数を A1, A2, ... ,AM のそれぞれで割った余りである。Rdi = -1 のときは、その記録を付け忘れたことを意味する。

Constraints

入力は全て整数である。

1 ≦ N ≦ 1,000,000,000

1 ≦ M ≦ 10

1 ≦ D ≦ 100

2 ≦ Ai ≦ 100

i ≠ j のとき Ai ≠ Aj

0 ≦ Rij < Ai

i 日目に存在する箸の数は、i - 1 日目に存在していた箸の数と同等か、それより少なくなる。

Output

D 日目に残っていると考えられる箸の数の最大値を 1 行で出力せよ。 記録に明らかに間違いがある場合は -1 を出力せよ。

Samples

Sample Input 1

3 3 2
2 3 4
1 0 3
0 2 2

Sample Output 1

2

0 日目に 3 本あった箸は、 1 日目に 3 本、 2 日目に 2 本になったと考えられる。

Sample Input 2

3 3 2
2 3 4
0 0 0
0 0 1

Sample Output 2

-1

0 日目に 3 本あった箸は、 1 日目に 0 本になったと考えられる。ところが 2 日目の 4 で割った余りが1になっている。

Sample Input 3

3 3 2
2 3 4
1 0 3
-1 -1 -1

Sample Output 3

3

0 日目に 3 本あった箸は、 1 日目も 3 本あったと考えられる。2 日目は記録し忘れてしまった。

Solution in C++11 (judge verdict: Wrong Answer)

#include <bits/stdc++.h>

using namespace std;

namespace {

    typedef double real;
    typedef long long ll;

    template<class T> ostream& operator<<(ostream& os, const vector<T>& vs) {
        if (vs.empty()) return os << "[]";
        os << "[" << vs[0];
        for (int i = 1; i < vs.size(); i++) os << " " << vs[i];
        return os << "]";
    }
    template<class T> istream& operator>>(istream& is, vector<T>& vs) {
        for (auto it = vs.begin(); it != vs.end(); it++) is >> *it;
        return is;
    }

    int N, M, D;
    vector<int> A;
    vector< vector<int> > R;
    void input() {
        cin >> N >> M >> D;
        A.resize(M); cin >> A;
        R.resize(D);
        for (int i = 0; i < D; i++) {
            R[i].resize(M); cin >> R[i];
        }
    }

    int lcm(int a, int b) {
        return a / __gcd(a, b) * b;
    }

    bool check(int n, int d) {
        for (int i = 0; i < M; i++) {
            if (n % A[i] != R[d][i]) return false;
        }
        return true;
    }

    void solve() {
        int L = 1;
        for (int i = 0; i < M; i++) L = lcm(L, A[i]);

        int m = 0;
        for (int i = 0; i < M; i++) {
            if (A[m] < A[i]) {
                m = i;
            }
        }

        int x = N;
        for (int d = 0; d < D; d++) {
            int n = R[d][m];
            if (n < 0) continue;
            for (; ; n += A[m]) {
                if (n > x) {
                    cout << -1 << endl;
                    return;
                }
                if (check(n, d)) {
                    break;
                }
            }
            x = (x - n) / L * L + n;
        }
        cout << x << endl;

    }
}

int main() {
    input(); solve();
    return 0;
}