111 lines
3.3 KiB
C++
111 lines
3.3 KiB
C++
#include <cstdio>
|
|
#include <cstring>
|
|
#include <cmath>
|
|
#include <vector>
|
|
#include <algorithm>
|
|
using namespace std;
|
|
typedef long long ll;
|
|
const int maxn = 1024 + 5;
|
|
const int mod = 1e9 + 7;
|
|
struct Rectangle {
|
|
int x1, y1, x2, y2, c;
|
|
Rectangle (int x1 = 0, int y1 = 0, int x2 = 0, int y2 = 0, int c = 0): x1(x1), y1(y1), x2(x2), y2(y2), c(c) {}
|
|
void read() { scanf("%d%d%d%d%d", &x1, &y1, &x2, &y2, &c); }
|
|
int size() { return (x2-x1+1)*(y2-y1+1); }
|
|
bool in(const Rectangle& u) const {
|
|
return x1 <= u.x1 && u.x2 <= x2 && y1 <= u.y1 && u.y2 <= y2;
|
|
}
|
|
}R[15];
|
|
int N, M, H, W, cc, all, ct[15][maxn], sz[15][maxn];
|
|
vector<int> X, Y, C, G[15];
|
|
int bitcount(int x) { return x == 0 ? 0 : bitcount(x>>1) + (x&1); }
|
|
void init () {
|
|
scanf("%d%d%d%d", &H, &W, &M, &N);
|
|
X.clear(), Y.clear(), C.clear();
|
|
for (int i = 0; i < N; i++) {
|
|
R[i].read();
|
|
X.push_back(R[i].x1-1);
|
|
X.push_back(R[i].x2);
|
|
Y.push_back(R[i].y1-1);
|
|
Y.push_back(R[i].y2);
|
|
C.push_back(R[i].c);
|
|
}
|
|
X.push_back(0);
|
|
X.push_back(H);
|
|
Y.push_back(0);
|
|
Y.push_back(W);
|
|
sort(X.begin(), X.end());
|
|
sort(Y.begin(), Y.end());
|
|
sort(C.begin(), C.end());
|
|
int cx = unique(X.begin(), X.end()) - X.begin();
|
|
int cy = unique(Y.begin(), Y.end()) - Y.begin();
|
|
cc = unique(C.begin(), C.end()) - C.begin();
|
|
int id[15], rk[15];
|
|
for (int i = 0; i < cc; i++) G[i].clear();
|
|
for (int i = 0; i < N; i++) {
|
|
id[i] = lower_bound(C.begin(), C.begin()+cc, R[i].c) - C.begin();
|
|
rk[i] = G[id[i]].size();
|
|
G[id[i]].push_back(i);
|
|
}
|
|
all = 0;
|
|
memset(ct, 0, sizeof(ct));
|
|
memset(sz, 0, sizeof(sz));
|
|
for (int x = 1; x < cx; x++) {
|
|
for (int y = 1; y < cy; y++) {
|
|
int t = cc, s = 0;
|
|
Rectangle tmp = Rectangle(X[x-1]+1, Y[y-1]+1, X[x], Y[y]);
|
|
for (int i = 0; i < N; i++) {
|
|
if (R[i].in(tmp)) {
|
|
if (id[i] < t)
|
|
s = 0, t = id[i];
|
|
if (t == id[i])
|
|
s |= (1<<rk[i]);
|
|
}
|
|
}
|
|
if (t == cc) all += tmp.size();
|
|
else {
|
|
int add = tmp.size();
|
|
for (int j = s; j; j = (j-1)&s)
|
|
ct[t][j] += add;
|
|
}
|
|
}
|
|
}
|
|
for (int c = 0; c < cc; c++) {
|
|
int s = (1<<G[c].size());
|
|
for (int i = 0; i < s; i++) {
|
|
for (int j = i; j; j = (j-1)&i)
|
|
sz[c][i] += ct[c][j] * (bitcount(j)&1 ? 1 : -1);
|
|
}
|
|
}
|
|
}
|
|
ll pow_mod(ll x, ll n) {
|
|
ll ret = 1;
|
|
while (n) {
|
|
if (n&1) ret = ret * x % mod;
|
|
x = x * x % mod;
|
|
n >>= 1;
|
|
}
|
|
return ret;
|
|
}
|
|
int solve () {
|
|
ll ret = pow_mod(M, all);
|
|
for (int i = 0; i < cc; i++) {
|
|
int t = 0, n = (1<<G[i].size());
|
|
for (int s = 0; s < n; s++) {
|
|
int si = bitcount(s)&1 ? -1 : 1;
|
|
t = ((t + si * pow_mod(C[i]-1, sz[i][s]) * pow_mod(C[i], sz[i][n-1]-sz[i][s])) % mod + mod) % mod;
|
|
}
|
|
ret = ret * t % mod;
|
|
}
|
|
return ret;
|
|
}
|
|
int main () {
|
|
int cas;
|
|
scanf("%d", &cas);
|
|
for (int kcas = 1; kcas <= cas; kcas++) {
|
|
init();
|
|
printf("Case #%d: %d\n", kcas, solve());
|
|
}
|
|
return 0;
|
|
}
|