#include <iostream>
#include <vector>
#include <set>
#include <algorithm>
using namespace std;
typedef long long ll;
typedef pair<ll, ll> PLL;
vector<PLL> liczniki;
int n, m;
bool comp(PLL a, PLL b) {
if(a.first > b.first) {
return true;
}
if(a.first == b. first) {
if (a.second > b.second) {
return true;
}
return false;
}
return false;
}
int main() {
ios_base::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
multiset<ll> akt_m;
vector<ll> ost_m;
cin >> n >> m;
for(int i = 0; i < n; i++) {
int c;
cin >> c;
liczniki.push_back(make_pair(c, 0LL));
}
for(int i = 0; i < n; i++) {
cin >> liczniki[i].second;
}
sort(liczniki.begin(), liczniki.end(), comp);
/*cout << endl;
for(int i = 0; i < n; i++) {
cout << liczniki[i].first << " ";
}
cout<<endl;
for(int i = 0; i < n; i++) {
cout << liczniki[i].second << " ";
}
cout<<endl;*/
for(int i = 0; i < n; i++) {
ost_m.push_back(liczniki[i].second);
}
for(int i = 0; i < m; i++) {
for(int j = 0; j < n; j++) {
ll a;
cin >> a;
akt_m.insert(a);
}
for(int j = 0; j < n; j++) {
auto it = akt_m.lower_bound(ost_m[j]);
if(it == akt_m.end()) {
cout << "NIE";
return 0;
}
ost_m[j] = *it;
akt_m.erase(it);
}
/*for(int j = 0; j < n; j++) {
cout << ost_m[j] << " ";
}
cout << endl;*/
}
ll wynik = 0LL;
for(int i = 0; i < n; i++) {
wynik += (ost_m[i] - liczniki[i].second) * liczniki[i].first;
}
cout << wynik;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8c2V0PgojaW5jbHVkZSA8YWxnb3JpdGhtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKdHlwZWRlZiBsb25nIGxvbmcgbGw7CnR5cGVkZWYgcGFpcjxsbCwgbGw+IFBMTDsKCnZlY3RvcjxQTEw+IGxpY3puaWtpOwppbnQgbiwgbTsKCgpib29sIGNvbXAoUExMIGEsIFBMTCBiKSB7CgogICAgaWYoYS5maXJzdCA+IGIuZmlyc3QpIHsKICAgICAgICByZXR1cm4gdHJ1ZTsKICAgIH0KICAgIGlmKGEuZmlyc3QgPT0gYi4gZmlyc3QpIHsKICAgICAgICBpZiAoYS5zZWNvbmQgPiBiLnNlY29uZCkgewogICAgICAgICAgICByZXR1cm4gdHJ1ZTsKICAgICAgICB9CiAgICAgICAgcmV0dXJuIGZhbHNlOwogICAgfQogICAgcmV0dXJuIGZhbHNlOwp9CgppbnQgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7CiAgICBjaW4udGllKDApOwogICAgY291dC50aWUoMCk7CgogICAgbXVsdGlzZXQ8bGw+IGFrdF9tOwogICAgdmVjdG9yPGxsPiBvc3RfbTsKCiAgICBjaW4gPj4gbiA+PiBtOwogICAgZm9yKGludCBpID0gMDsgaSA8IG47IGkrKykgewogICAgICAgIGludCBjOwogICAgICAgIGNpbiA+PiBjOwogICAgICAgIGxpY3puaWtpLnB1c2hfYmFjayhtYWtlX3BhaXIoYywgMExMKSk7CiAgICB9CiAgICBmb3IoaW50IGkgPSAwOyBpIDwgbjsgaSsrKSB7CiAgICAgICAgY2luID4+IGxpY3puaWtpW2ldLnNlY29uZDsKICAgIH0KCiAgICBzb3J0KGxpY3puaWtpLmJlZ2luKCksIGxpY3puaWtpLmVuZCgpLCBjb21wKTsKCiAgICAvKmNvdXQgPDwgZW5kbDsKICAgIGZvcihpbnQgaSA9IDA7IGkgPCBuOyBpKyspIHsKICAgICAgICBjb3V0IDw8IGxpY3puaWtpW2ldLmZpcnN0IDw8ICIgIjsKICAgIH0KICAgIGNvdXQ8PGVuZGw7CiAgICBmb3IoaW50IGkgPSAwOyBpIDwgbjsgaSsrKSB7CiAgICAgICAgY291dCA8PCBsaWN6bmlraVtpXS5zZWNvbmQgPDwgIiAiOwogICAgfQogICAgY291dDw8ZW5kbDsqLwoKCiAgICBmb3IoaW50IGkgPSAwOyBpIDwgbjsgaSsrKSB7CiAgICAgICAgb3N0X20ucHVzaF9iYWNrKGxpY3puaWtpW2ldLnNlY29uZCk7CiAgICB9CgogICAgZm9yKGludCBpID0gMDsgaSA8IG07IGkrKykgewoKICAgICAgICBmb3IoaW50IGogPSAwOyBqIDwgbjsgaisrKSB7CiAgICAgICAgICAgIGxsIGE7CiAgICAgICAgICAgIGNpbiA+PiBhOwogICAgICAgICAgICBha3RfbS5pbnNlcnQoYSk7CiAgICAgICAgfQoKICAgICAgICBmb3IoaW50IGogPSAwOyBqIDwgbjsgaisrKSB7CiAgICAgICAgICAgIGF1dG8gaXQgPSBha3RfbS5sb3dlcl9ib3VuZChvc3RfbVtqXSk7CiAgICAgICAgICAgIGlmKGl0ID09IGFrdF9tLmVuZCgpKSB7CiAgICAgICAgICAgICAgICBjb3V0IDw8ICJOSUUiOwogICAgICAgICAgICAgICAgcmV0dXJuIDA7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgb3N0X21bal0gPSAqaXQ7CiAgICAgICAgICAgIGFrdF9tLmVyYXNlKGl0KTsKICAgICAgICB9CiAgICAgICAgLypmb3IoaW50IGogPSAwOyBqIDwgbjsgaisrKSB7CiAgICAgICAgICAgIGNvdXQgPDwgb3N0X21bal0gPDwgIiAiOwogICAgICAgIH0KICAgICAgICBjb3V0IDw8IGVuZGw7Ki8KICAgIH0KCiAgICBsbCB3eW5payA9IDBMTDsKICAgIGZvcihpbnQgaSA9IDA7IGkgPCBuOyBpKyspIHsKICAgICAgICB3eW5payArPSAob3N0X21baV0gLSBsaWN6bmlraVtpXS5zZWNvbmQpICogbGljem5pa2lbaV0uZmlyc3Q7CiAgICB9CiAgICBjb3V0IDw8IHd5bmlrOwoKCgogICAgcmV0dXJuIDA7Cn0K