import java.io.BufferedReader import java.io.InputStream import java.io.InputStreamReader import java.lang.AssertionError import java.util.* import kotlin.math.* val MOD = 1_000_000_007 data class Slime(val t: Int, val u: Int, val l: Int, val r: Int, val a: Int) class Solver(stream: InputStream, private val out: java.io.PrintWriter) { private val reader = BufferedReader(InputStreamReader(stream), 32768) fun solve() { val (H, W, N, M) = na(4) val S = Array(N) { val (t, u, l, r) = na(4, -1) val a = ni() Slime(t, u, l, r, a) } val g = Array(H + 1){LongArray(W + 1)} for (i in 0 until M) { val (x, y) = na(2, -1) val b = ni() val c = nl() val l = max(0, y - b) val r = min(W - 1, y + b) val top = max(0, x - b) val bot = min(H - 1, x + b) g[top][l] += c g[top][r + 1] -= c g[bot + 1][l] -= c g[bot + 1][r + 1] += c } for (i in 0 until H) { for (j in 0 until W) { g[i][j + 1] += g[i][j] } } for (j in 0 until W) { for (i in 0 until H) { g[i + 1][j] += g[i][j] } } debugDim(g) for (i in 0 until H) { for (j in 0 until W) { g[i][j + 1] += g[i][j] } } for (j in 0 until W) { for (i in 0 until H) { g[i + 1][j] += g[i][j] } } debugDim(g) var ans = 0 for (i in S) { val a = g[i.u][i.r] val b = if (i.t > 0 && i.l > 0) g[i.t - 1][i.l - 1] else 0 val c = if (i.l > 0) g[i.u][i.l - 1] else 0 val d = if (i.t > 0) g[i.t - 1][i.r] else 0 val cnt = a + b - c - d debug{"$a $b $c $d"} if (cnt < i.a) ans++ } out.println(ans) } private val isDebug = try { // なんか本番でエラーでる System.getenv("MY_DEBUG") != null } catch (t: Throwable) { false } private var tokenizer: StringTokenizer? = null private fun next(): String { while (tokenizer == null || !tokenizer!!.hasMoreTokens()) { tokenizer = StringTokenizer(reader.readLine()) } return tokenizer!!.nextToken() } private fun ni() = next().toInt() private fun nl() = next().toLong() private fun ns() = next() private fun na(n: Int, offset: Int = 0): IntArray { return IntArray(n) { ni() + offset } } private fun nal(n: Int, offset: Int = 0): LongArray { val res = LongArray(n) for (i in 0 until n) { res[i] = nl() + offset } return res } private fun na2(n: Int, offset: Int = 0): Array { val a = Array(2){IntArray(n)} for (i in 0 until n) { for (e in a) { e[i] = ni() + offset } } return a } private inline fun debug(msg: () -> String) { if (isDebug) System.err.println(msg()) } /** * コーナーケースでエラー出たりするので、debug(dp[1])のように添え字付きの場合はdebug{}をつかうこと */ private inline fun debug(a: LongArray) { debug { a.joinToString(" ") } } private inline fun debug(a: IntArray) { debug { a.joinToString(" ") } } private inline fun debug(a: BooleanArray) { debug { toString(a) } } private inline fun toString(a: BooleanArray) = run{a.map { if (it) 1 else 0 }.joinToString("")} private inline fun debugDim(A: Array) { if (isDebug) { for (a in A) { debug(a) } } } private inline fun debugDim(A: Array) { if (isDebug) { for (a in A) { debug(a) } } } private inline fun debugDim(A: Array) { if (isDebug) { for (a in A) { debug(a) } } } /** * 勝手にimport消されるのを防ぎたい */ private fun hoge() { min(1, 2) max(1, 2) abs(-10) } private inline fun assert(b: Boolean) = run{if (!b) throw AssertionError()} private inline fun assert(b: Boolean, f: () -> String) = run{if (!b) throw AssertionError(f())} } fun main() { val out = java.io.PrintWriter(System.out) Solver(System.`in`, out).solve() out.flush() }